23.504 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.040 * * [simplify]: iteration  0 :  15  enodes  (cost  5 )
0.041 * * [simplify]: iteration  1 :  22  enodes  (cost  5 )
0.043 * * [simplify]: iteration  2 :  31  enodes  (cost  5 )
0.044 * * [simplify]: iteration  3 :  54  enodes  (cost  5 )
0.046 * * [simplify]: iteration  4 :  119  enodes  (cost  5 )
0.049 * * [simplify]: iteration  5 :  333  enodes  (cost  5 )
0.056 * * [simplify]: iteration  6 :  1646  enodes  (cost  5 )
0.099 * * [simplify]: iteration  7 :  5001  enodes  (cost  5 )
0.099 * [simplify]: Simplified to:
   (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
0.099 * * [progress]: iteration 1 / 4
0.099 * * * [progress]: picking best candidate
0.101 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))>
0.101 * * * [progress]: localizing error
0.108 * * * [progress]: generating rewritten candidates
0.108 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.120 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.132 * * * [progress]: generating series expansions
0.132 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.132 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in (x) around 0
0.132 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.132 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.132 * [taylor]: Taking taylor expansion of 2.0 in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.132 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.132 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.132 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.132 * [taylor]: Taking taylor expansion of -2.0 in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.137 * [taylor]: Taking taylor expansion of 1.0 in x
0.138 * [taylor]: Taking taylor expansion of 1.0 in x
0.138 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.138 * [taylor]: Taking taylor expansion of 2.0 in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.138 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.138 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.138 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.138 * [taylor]: Taking taylor expansion of -2.0 in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of 1.0 in x
0.140 * [taylor]: Taking taylor expansion of 1.0 in x
0.184 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in (x) around 0
0.184 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.184 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.184 * [taylor]: Taking taylor expansion of 2.0 in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.184 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.184 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.184 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.184 * [taylor]: Taking taylor expansion of -2.0 in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of 1.0 in x
0.185 * [taylor]: Taking taylor expansion of 1.0 in x
0.185 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.185 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.185 * [taylor]: Taking taylor expansion of 2.0 in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.185 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.185 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.185 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.185 * [taylor]: Taking taylor expansion of -2.0 in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of 1.0 in x
0.185 * [taylor]: Taking taylor expansion of 1.0 in x
0.197 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in (x) around 0
0.197 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.197 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.197 * [taylor]: Taking taylor expansion of 2.0 in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.197 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.197 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.197 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.197 * [taylor]: Taking taylor expansion of 2.0 in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [taylor]: Taking taylor expansion of 1.0 in x
0.198 * [taylor]: Taking taylor expansion of 1.0 in x
0.198 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.198 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.198 * [taylor]: Taking taylor expansion of 2.0 in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.198 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.198 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.198 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.198 * [taylor]: Taking taylor expansion of 2.0 in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of 1.0 in x
0.198 * [taylor]: Taking taylor expansion of 1.0 in x
0.210 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.210 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in (x) around 0
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.212 * [taylor]: Taking taylor expansion of 1.0 in x
0.212 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in x
0.212 * [taylor]: Taking taylor expansion of 2.0 in x
0.212 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.212 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.212 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.212 * [taylor]: Taking taylor expansion of -2.0 in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of 1.0 in x
0.239 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in (x) around 0
0.239 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.239 * [taylor]: Taking taylor expansion of 2.0 in x
0.239 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.239 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.239 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.239 * [taylor]: Taking taylor expansion of -2.0 in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [taylor]: Taking taylor expansion of 1.0 in x
0.239 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.239 * [taylor]: Taking taylor expansion of 2.0 in x
0.239 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.239 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.239 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.239 * [taylor]: Taking taylor expansion of -2.0 in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.240 * [taylor]: Taking taylor expansion of 1.0 in x
0.243 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in (x) around 0
0.243 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.243 * [taylor]: Taking taylor expansion of 2.0 in x
0.243 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.243 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.243 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.243 * [taylor]: Taking taylor expansion of 2.0 in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.244 * [taylor]: Taking taylor expansion of 1.0 in x
0.244 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.244 * [taylor]: Taking taylor expansion of 2.0 in x
0.244 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.244 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.244 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.244 * [taylor]: Taking taylor expansion of 2.0 in x
0.244 * [taylor]: Taking taylor expansion of x in x
0.244 * [taylor]: Taking taylor expansion of 1.0 in x
0.248 * * * [progress]: simplifying candidates
0.250 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 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))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 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))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 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)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log1p (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (exp 1.0))
  (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 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))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 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)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- 1.0)
  (expm1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log1p (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- (log 2.0) (log (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x)))))
  (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
  (cbrt (/ 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)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- 2.0)
  (- (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 1)
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (/ 1 1)
  (/ 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 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ 1.0 (exp (* -2.0 x))) (cbrt 2.0))
  (/ (+ 1.0 (exp (* -2.0 x))) (sqrt 2.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 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 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.258 * * [simplify]: iteration  0 :  376  enodes  (cost  1556 )
0.265 * * [simplify]: iteration  1 :  1170  enodes  (cost  1155 )
0.289 * * [simplify]: iteration  2 :  5001  enodes  (cost  1121 )
0.295 * [simplify]: Simplified to:
   (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (expm1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log1p (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ (/ 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)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- 1.0)
  (expm1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log1p (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (exp (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))
  (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
  (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
  (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- 2.0)
  (- (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  1
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  1
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  (/ 1 (+ (exp (* -2.0 x)) 1.0))
  (/ (+ 1.0 (exp (* -2.0 x))) 2.0)
  (/ 2.0 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  2.0
  2.0
  (/ (+ 1.0 (exp (* -2.0 x))) (cbrt 2.0))
  (/ (+ 1.0 (exp (* -2.0 x))) (sqrt 2.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)))))
  (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma x 1.0 (- 1.0 (* 0.33333333333333337 (pow x 3))))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
0.296 * * * [progress]: adding candidates to table
0.465 * * [progress]: iteration 2 / 4
0.465 * * * [progress]: picking best candidate
0.472 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))>
0.472 * * * [progress]: localizing error
0.482 * * * [progress]: generating rewritten candidates
0.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.495 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.533 * * * [progress]: generating series expansions
0.533 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.534 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in (x) around 0
0.534 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.534 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.534 * [taylor]: Taking taylor expansion of 2.0 in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.534 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.534 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.534 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.534 * [taylor]: Taking taylor expansion of -2.0 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of 1.0 in x
0.536 * [taylor]: Taking taylor expansion of 1.0 in x
0.536 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.536 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.536 * [taylor]: Taking taylor expansion of 2.0 in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.536 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.536 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.536 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.536 * [taylor]: Taking taylor expansion of -2.0 in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.537 * [taylor]: Taking taylor expansion of 1.0 in x
0.538 * [taylor]: Taking taylor expansion of 1.0 in x
0.581 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in (x) around 0
0.581 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.581 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.581 * [taylor]: Taking taylor expansion of 2.0 in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.581 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.581 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.581 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.581 * [taylor]: Taking taylor expansion of -2.0 in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.582 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.582 * [taylor]: Taking taylor expansion of 2.0 in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.582 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.582 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.582 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.582 * [taylor]: Taking taylor expansion of -2.0 in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.600 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in (x) around 0
0.600 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.600 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.600 * [taylor]: Taking taylor expansion of 2.0 in x
0.600 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.600 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.600 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.600 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.600 * [taylor]: Taking taylor expansion of 2.0 in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of 1.0 in x
0.601 * [taylor]: Taking taylor expansion of 1.0 in x
0.601 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.601 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.601 * [taylor]: Taking taylor expansion of 2.0 in x
0.601 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.601 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.601 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.601 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.601 * [taylor]: Taking taylor expansion of 2.0 in x
0.601 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of 1.0 in x
0.601 * [taylor]: Taking taylor expansion of 1.0 in x
0.613 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.614 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in (x) around 0
0.614 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.614 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.614 * [taylor]: Taking taylor expansion of 2.0 in x
0.614 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.614 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.614 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.614 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.614 * [taylor]: Taking taylor expansion of -2.0 in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of 1.0 in x
0.615 * [taylor]: Taking taylor expansion of 1.0 in x
0.616 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.616 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.616 * [taylor]: Taking taylor expansion of 2.0 in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.616 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.616 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.616 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.616 * [taylor]: Taking taylor expansion of -2.0 in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of 1.0 in x
0.617 * [taylor]: Taking taylor expansion of 1.0 in x
0.660 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in (x) around 0
0.661 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.661 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.661 * [taylor]: Taking taylor expansion of 2.0 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.661 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.661 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.661 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.661 * [taylor]: Taking taylor expansion of -2.0 in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of 1.0 in x
0.661 * [taylor]: Taking taylor expansion of 1.0 in x
0.661 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.661 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.661 * [taylor]: Taking taylor expansion of 2.0 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.661 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.661 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.661 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.661 * [taylor]: Taking taylor expansion of -2.0 in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of 1.0 in x
0.662 * [taylor]: Taking taylor expansion of 1.0 in x
0.674 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.674 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.674 * [taylor]: Taking taylor expansion of 2.0 in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.674 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.674 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.674 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.674 * [taylor]: Taking taylor expansion of 2.0 in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of 1.0 in x
0.675 * [taylor]: Taking taylor expansion of 1.0 in x
0.675 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.675 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.675 * [taylor]: Taking taylor expansion of 2.0 in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.675 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.675 * [taylor]: Taking taylor expansion of 2.0 in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of 1.0 in x
0.676 * [taylor]: Taking taylor expansion of 1.0 in x
0.692 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.693 * [approximate]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) 3) in (x) around 0
0.693 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) 3) in x
0.693 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.693 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.693 * [taylor]: Taking taylor expansion of 2.0 in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.693 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.693 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.693 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.693 * [taylor]: Taking taylor expansion of -2.0 in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of 1.0 in x
0.694 * [taylor]: Taking taylor expansion of 1.0 in x
0.701 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) 3) in x
0.701 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) in x
0.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) in x
0.701 * [taylor]: Taking taylor expansion of 2.0 in x
0.701 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* -2.0 x)) 1.0)) in x
0.701 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.702 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.702 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.702 * [taylor]: Taking taylor expansion of -2.0 in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of 1.0 in x
0.703 * [taylor]: Taking taylor expansion of 1.0 in x
0.767 * [approximate]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) 3) in (x) around 0
0.767 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) 3) in x
0.767 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.767 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.767 * [taylor]: Taking taylor expansion of 2.0 in x
0.767 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.768 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.768 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.768 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.768 * [taylor]: Taking taylor expansion of -2.0 in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of 1.0 in x
0.768 * [taylor]: Taking taylor expansion of 1.0 in x
0.769 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) 3) in x
0.769 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) 1.0) in x
0.769 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ -2.0 x)) 1.0))) in x
0.769 * [taylor]: Taking taylor expansion of 2.0 in x
0.769 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2.0 x)) 1.0)) in x
0.769 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.769 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.769 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.769 * [taylor]: Taking taylor expansion of -2.0 in x
0.769 * [taylor]: Taking taylor expansion of x in x
0.769 * [taylor]: Taking taylor expansion of 1.0 in x
0.769 * [taylor]: Taking taylor expansion of 1.0 in x
0.792 * [approximate]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) 3) in (x) around 0
0.792 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) 3) in x
0.792 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.792 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.792 * [taylor]: Taking taylor expansion of 2.0 in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.792 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.792 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.792 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.792 * [taylor]: Taking taylor expansion of 2.0 in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.793 * [taylor]: Taking taylor expansion of 1.0 in x
0.793 * [taylor]: Taking taylor expansion of 1.0 in x
0.793 * [taylor]: Taking taylor expansion of (pow (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) 3) in x
0.793 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) 1.0) in x
0.794 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (exp (/ 2.0 x)) 1.0))) in x
0.794 * [taylor]: Taking taylor expansion of 2.0 in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2.0 x)) 1.0)) in x
0.794 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.794 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.794 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.794 * [taylor]: Taking taylor expansion of 2.0 in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of 1.0 in x
0.794 * [taylor]: Taking taylor expansion of 1.0 in x
0.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.817 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in (x) around 0
0.817 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in x
0.817 * [taylor]: Taking taylor expansion of 2.0 in x
0.817 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.817 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.817 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.817 * [taylor]: Taking taylor expansion of -2.0 in x
0.817 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of 1.0 in x
0.819 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) in x
0.819 * [taylor]: Taking taylor expansion of 2.0 in x
0.819 * [taylor]: Taking taylor expansion of (+ (exp (* -2.0 x)) 1.0) in x
0.819 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
0.819 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
0.819 * [taylor]: Taking taylor expansion of -2.0 in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.820 * [taylor]: Taking taylor expansion of 1.0 in x
0.843 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in (x) around 0
0.843 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.843 * [taylor]: Taking taylor expansion of 2.0 in x
0.843 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.843 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.843 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.843 * [taylor]: Taking taylor expansion of -2.0 in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of 1.0 in x
0.844 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ -2.0 x)) 1.0)) in x
0.844 * [taylor]: Taking taylor expansion of 2.0 in x
0.844 * [taylor]: Taking taylor expansion of (+ (exp (/ -2.0 x)) 1.0) in x
0.844 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
0.844 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
0.844 * [taylor]: Taking taylor expansion of -2.0 in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of 1.0 in x
0.854 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in (x) around 0
0.854 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.854 * [taylor]: Taking taylor expansion of 2.0 in x
0.854 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.854 * [taylor]: Taking taylor expansion of 2.0 in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of 1.0 in x
0.854 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 2.0 x)) 1.0)) in x
0.854 * [taylor]: Taking taylor expansion of 2.0 in x
0.854 * [taylor]: Taking taylor expansion of (+ (exp (/ 2.0 x)) 1.0) in x
0.854 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
0.854 * [taylor]: Taking taylor expansion of 2.0 in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of 1.0 in x
0.859 * * * [progress]: simplifying candidates
0.862 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 1 1) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 2.0 (/ 1 (+ 1.0 (exp (* -2.0 x)))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 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))))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 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))))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 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)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log1p (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (exp 1.0))
  (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 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))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (+ (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (+ (* 1.0 1.0) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 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)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (- 1.0)
  (expm1 (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (log1p (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (log (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (exp (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt (pow (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))) 3))
  (cbrt (pow (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (cbrt (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))))
  (cbrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt (pow (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))) 3))
  (cbrt (pow (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (cbrt (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt 1)
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (/ 3 2)))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (/ 3 2)))
  (cbrt (pow (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) 3))
  (cbrt (pow (+ (* (/ 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))
  (cbrt (pow (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) 3))
  (cbrt (pow (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (* (cbrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))) (cbrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))))
  (cbrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (* (* (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (sqrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (sqrt (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (expm1 (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (log1p (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (* (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (* (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (* 1 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (sqrt 3))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 1)
  (pow (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))) 3)
  (pow (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow 1 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow 1 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (exp (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (* (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (* (* (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3) (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)) (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (pow (* (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))) 3)
  (pow (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) 3)
  (pow 1 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow 1 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) 3)
  (pow (+ (* (/ 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)
  (pow (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) 3)
  (pow (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (/ 3 2))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (/ 3 2))
  (expm1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log1p (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- (log 2.0) (log (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ 1.0 (exp (* -2.0 x))) (+ 1.0 (exp (* -2.0 x)))) (+ 1.0 (exp (* -2.0 x)))))
  (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
  (cbrt (/ 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)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- 2.0)
  (- (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 1)
  (/ 2.0 (+ 1.0 (exp (* -2.0 x))))
  (/ 1 1)
  (/ 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 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ 1.0 (exp (* -2.0 x))) (cbrt 2.0))
  (/ (+ 1.0 (exp (* -2.0 x))) (sqrt 2.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 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 1.0 x) (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3))))
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0)
  (- (* 1.0 (pow x 3)) (+ (* 1.6653345369377348e-16 (pow x 6)) (* 1.0 (pow x 5))))
  (pow (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) 3)
  (pow (- (* 2.0 (/ 1 (+ (exp (* -2.0 x)) 1.0))) 1.0) 3)
  (- (+ 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.874 * * [simplify]: iteration  0 :  544  enodes  (cost  2246 )
0.885 * * [simplify]: iteration  1 :  2041  enodes  (cost  1819 )
0.924 * * [simplify]: iteration  2 :  5001  enodes  (cost  1794 )
0.935 * [simplify]: Simplified to:
   (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (cbrt 2.0) (* (cbrt 2.0) (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x)))))) (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x))))) (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (/ (* 2.0 (fma 1.0 1.0 (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))) (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (/ 2.0 (- (* 1.0 1.0) (* (exp (* -2.0 x)) (exp (* -2.0 x))))) (- 1.0 (exp (* -2.0 x)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (expm1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log1p (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (fma (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (fma 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)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- 1.0)
  (expm1 (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log1p (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (log (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (exp (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  1
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  1
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  1
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))
  1
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  (cbrt (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))
  1
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
  (fma (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (fma 1.0 1.0 (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
  (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
  (cbrt (* (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)))
  (cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (sqrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
  (expm1 (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (log1p (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (log (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (log (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  3
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) (sqrt 3))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 2)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  1
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  1
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 2)
  (log (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (exp (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 2)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (pow (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3) 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 2)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  1
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  (pow (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3)
  1
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) 3)
  (pow (fma (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (fma 1.0 1.0 (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))) 3)
  (pow (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) 3)
  (pow (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 2)
  (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (sqrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  (pow (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0) 3/2)
  (expm1 (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log1p (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (log (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (exp (/ 2.0 (+ (exp (* -2.0 x)) 1.0)))
  (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
  (* (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))))
  (cbrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3)
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
  (- 2.0)
  (- (+ 1.0 (exp (* -2.0 x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (exp (* -2.0 x))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (cbrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 1 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  1
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  1
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  (/ 1 (+ (exp (* -2.0 x)) 1.0))
  (/ (+ 1.0 (exp (* -2.0 x))) 2.0)
  (/ 2.0 (* (cbrt (+ 1.0 (exp (* -2.0 x)))) (cbrt (+ 1.0 (exp (* -2.0 x))))))
  (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x)))))
  2.0
  2.0
  (/ (+ 1.0 (exp (* -2.0 x))) (cbrt 2.0))
  (/ (+ 1.0 (exp (* -2.0 x))) (sqrt 2.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)))))
  (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))))
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (- (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) 1.0)
  (fma 1.0 (pow x 3) (- (fma 1.6653345369377348e-16 (pow x 6) (* 1.0 (pow x 5)))))
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)
  (fma x 1.0 (- 1.0 (* 0.33333333333333337 (pow x 3))))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
  (/ 2.0 (+ (exp (* -2.0 x)) 1.0))
0.936 * * * [progress]: adding candidates to table
1.241 * * [progress]: iteration 3 / 4
1.241 * * * [progress]: picking best candidate
1.246 * * * * [pick]: Picked  #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>
1.246 * * * [progress]: localizing error
1.257 * * * [progress]: generating rewritten candidates
1.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 1)
1.257 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 1 3)
1.265 * * * [progress]: generating series expansions
1.265 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 1)
1.265 * [approximate]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))) in (x) around 0
1.265 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))) in x
1.265 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))
1.265 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
1.265 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.265 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
1.265 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.265 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))) in x
1.265 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))
1.265 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow x 4)) in x
1.265 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.265 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
1.265 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.265 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.292 * [approximate]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ 1 x) 4) (/ 0.33333333333333337 (pow x 3))) in (x) around 0
1.292 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ 1 x) 4) (/ 0.33333333333333337 (pow x 3))) in x
1.292 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow (/ 1 x) 4)) (/ 0.33333333333333337 (pow x 3)))
1.292 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow (/ 1 x) 4)) in x
1.292 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.292 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
1.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.292 * [taylor]: Taking taylor expansion of x in x
1.293 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
1.293 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.293 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ 1 x) 4) (/ 0.33333333333333337 (pow x 3))) in x
1.294 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow (/ 1 x) 4)) (/ 0.33333333333333337 (pow x 3)))
1.294 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow (/ 1 x) 4)) in x
1.294 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.294 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
1.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.294 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
1.294 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.294 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.294 * [taylor]: Taking taylor expansion of x in x
1.328 * [approximate]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ -1 x) 4) (/ -0.33333333333333337 (pow x 3))) in (x) around 0
1.328 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ -1 x) 4) (/ -0.33333333333333337 (pow x 3))) in x
1.328 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow (/ -1 x) 4)) (/ -0.33333333333333337 (pow x 3)))
1.328 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow (/ -1 x) 4)) in x
1.329 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.329 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
1.329 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.329 * [taylor]: Taking taylor expansion of -1 in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
1.329 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
1.329 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of (fma 5.551115123125783e-17 (pow (/ -1 x) 4) (/ -0.33333333333333337 (pow x 3))) in x
1.330 * [taylor]: Rewrote expression to (+ (* 5.551115123125783e-17 (pow (/ -1 x) 4)) (/ -0.33333333333333337 (pow x 3)))
1.330 * [taylor]: Taking taylor expansion of (* 5.551115123125783e-17 (pow (/ -1 x) 4)) in x
1.330 * [taylor]: Taking taylor expansion of 5.551115123125783e-17 in x
1.330 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
1.330 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.330 * [taylor]: Taking taylor expansion of -1 in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
1.330 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
1.330 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.360 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 1 3)
1.360 * [approximate]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in (x) around 0
1.360 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
1.360 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.360 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.360 * [taylor]: Taking taylor expansion of x in x
1.360 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (pow x 3)) in x
1.360 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.360 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.360 * [taylor]: Taking taylor expansion of x in x
1.371 * [approximate]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in (x) around 0
1.372 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
1.372 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.372 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.372 * [taylor]: Taking taylor expansion of (/ 0.33333333333333337 (pow x 3)) in x
1.372 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x
1.372 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.383 * [approximate]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in (x) around 0
1.383 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
1.383 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
1.383 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.383 * [taylor]: Taking taylor expansion of x in x
1.384 * [taylor]: Taking taylor expansion of (/ -0.33333333333333337 (pow x 3)) in x
1.384 * [taylor]: Taking taylor expansion of -0.33333333333333337 in x
1.384 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.384 * [taylor]: Taking taylor expansion of x in x
1.400 * * * [progress]: simplifying candidates
1.400 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (log1p (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (* 5.551115123125783e-17 (pow x 4))
  (log (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (exp (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (* (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))) (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))))
  (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (* (* (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))) (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))) (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (sqrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (sqrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (expm1 (* 0.33333333333333337 (pow x 3)))
  (log1p (* 0.33333333333333337 (pow x 3)))
  (+ (log 0.33333333333333337) (* (log x) 3))
  (+ (log 0.33333333333333337) (* (log x) 3))
  (+ (log 0.33333333333333337) (log (pow x 3)))
  (log (* 0.33333333333333337 (pow x 3)))
  (exp (* 0.33333333333333337 (pow x 3)))
  (* (* (* 0.33333333333333337 0.33333333333333337) 0.33333333333333337) (* (* (pow x 3) (pow x 3)) (pow x 3)))
  (* (cbrt (* 0.33333333333333337 (pow x 3))) (cbrt (* 0.33333333333333337 (pow x 3))))
  (cbrt (* 0.33333333333333337 (pow x 3)))
  (* (* (* 0.33333333333333337 (pow x 3)) (* 0.33333333333333337 (pow x 3))) (* 0.33333333333333337 (pow x 3)))
  (sqrt (* 0.33333333333333337 (pow x 3)))
  (sqrt (* 0.33333333333333337 (pow x 3)))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (sqrt (pow x 3)))
  (* (sqrt 0.33333333333333337) (sqrt (pow x 3)))
  (* (sqrt 0.33333333333333337) (pow x (/ 3 2)))
  (* (sqrt 0.33333333333333337) (pow x (/ 3 2)))
  (* 0.33333333333333337 (pow (* (cbrt x) (cbrt x)) 3))
  (* 0.33333333333333337 (pow (sqrt x) 3))
  (* 0.33333333333333337 (pow 1 3))
  (* 0.33333333333333337 (* x x))
  (* 0.33333333333333337 (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (* 0.33333333333333337 (pow (* (cbrt x) (cbrt x)) 3))
  (* 0.33333333333333337 (pow (sqrt x) 3))
  (* 0.33333333333333337 (pow 1 3))
  (* 0.33333333333333337 x)
  (* 0.33333333333333337 (sqrt (pow x 3)))
  (* 0.33333333333333337 1)
  (* 0.33333333333333337 (pow x (/ 3 2)))
  (* (cbrt 0.33333333333333337) (pow x 3))
  (* (sqrt 0.33333333333333337) (pow x 3))
  (* 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)))
  (+ (* 0.33333333333333337 (pow x 3)) (* 5.551115123125783e-17 (pow x 4)))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
1.404 * * [simplify]: iteration  0 :  142  enodes  (cost  198 )
1.408 * * [simplify]: iteration  1 :  582  enodes  (cost  175 )
1.423 * * [simplify]: iteration  2 :  3723  enodes  (cost  174 )
1.609 * * [simplify]: iteration  3 :  5001  enodes  (cost  174 )
1.610 * [simplify]: Simplified to:
   (expm1 (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (log1p (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (* 5.551115123125783e-17 (pow x 4))
  (log (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (exp (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (* (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))) (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3)))))
  (cbrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (pow (fma 0.33333333333333337 (pow x 3) (* 5.551115123125783e-17 (pow x 4))) 3)
  (sqrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (sqrt (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))
  (expm1 (* 0.33333333333333337 (pow x 3)))
  (log1p (* 0.33333333333333337 (pow x 3)))
  (log (* 0.33333333333333337 (pow x 3)))
  (log (* 0.33333333333333337 (pow x 3)))
  (log (* 0.33333333333333337 (pow x 3)))
  (log (* 0.33333333333333337 (pow x 3)))
  (exp (* 0.33333333333333337 (pow x 3)))
  (pow (* 0.33333333333333337 (pow x 3)) 3)
  (* (cbrt (* 0.33333333333333337 (pow x 3))) (cbrt (* 0.33333333333333337 (pow x 3))))
  (cbrt (* 0.33333333333333337 (pow x 3)))
  (pow (* 0.33333333333333337 (pow x 3)) 3)
  (sqrt (* 0.33333333333333337 (pow x 3)))
  (sqrt (* 0.33333333333333337 (pow x 3)))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (pow (sqrt x) 3))
  (* (sqrt 0.33333333333333337) (sqrt (pow x 3)))
  (* (sqrt 0.33333333333333337) (sqrt (pow x 3)))
  (* (sqrt 0.33333333333333337) (pow x (/ 3 2)))
  (* (sqrt 0.33333333333333337) (pow x (/ 3 2)))
  (* (* 0.33333333333333337 x) x)
  (* 0.33333333333333337 (pow (sqrt x) 3))
  0.33333333333333337
  (* (* 0.33333333333333337 x) x)
  (* (* 0.33333333333333337 x) x)
  (* (* 0.33333333333333337 x) x)
  (* 0.33333333333333337 (pow (sqrt x) 3))
  0.33333333333333337
  (* 0.33333333333333337 x)
  (* 0.33333333333333337 (sqrt (pow x 3)))
  0.33333333333333337
  (* 0.33333333333333337 (pow x 3/2))
  (* (cbrt 0.33333333333333337) (pow x 3))
  (* (sqrt 0.33333333333333337) (pow x 3))
  (* 0.33333333333333337 (pow x 3))
  (fma 0.33333333333333337 (pow x 3) (* 5.551115123125783e-17 (pow x 4)))
  (fma 0.33333333333333337 (pow x 3) (* 5.551115123125783e-17 (pow x 4)))
  (fma 0.33333333333333337 (pow x 3) (* 5.551115123125783e-17 (pow x 4)))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
  (* 0.33333333333333337 (pow x 3))
1.611 * * * [progress]: adding candidates to table
1.707 * * [progress]: iteration 4 / 4
1.707 * * * [progress]: picking best candidate
1.710 * * * * [pick]: Picked  #<alt (λ (x y) (fma (/ 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.710 * * * [progress]: localizing error
1.726 * * * [progress]: generating rewritten candidates
1.726 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.735 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.736 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.739 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1.748 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.748 * [approximate]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in (x) around 0
1.748 * [taylor]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in x
1.748 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.748 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.748 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.748 * [taylor]: Taking taylor expansion of -2.0 in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.750 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.750 * [taylor]: Taking taylor expansion of 1.0 in x
1.750 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.750 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.750 * [taylor]: Taking taylor expansion of -2.0 in x
1.750 * [taylor]: Taking taylor expansion of x in x
1.751 * [taylor]: Taking taylor expansion of (- (pow (exp (* -2.0 x)) 2) (* 1.0 (exp (* -2.0 x)))) in x
1.751 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.751 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.751 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.751 * [taylor]: Taking taylor expansion of -2.0 in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.752 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.752 * [taylor]: Taking taylor expansion of 1.0 in x
1.752 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.752 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.752 * [taylor]: Taking taylor expansion of -2.0 in x
1.752 * [taylor]: Taking taylor expansion of x in x
1.791 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in (x) around 0
1.791 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in x
1.791 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.791 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.791 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.791 * [taylor]: Taking taylor expansion of -2.0 in x
1.791 * [taylor]: Taking taylor expansion of x in x
1.791 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.791 * [taylor]: Taking taylor expansion of 1.0 in x
1.791 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.791 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.791 * [taylor]: Taking taylor expansion of -2.0 in x
1.791 * [taylor]: Taking taylor expansion of x in x
1.792 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -2.0 x)) 2) (* 1.0 (exp (/ -2.0 x)))) in x
1.792 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.792 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.792 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.792 * [taylor]: Taking taylor expansion of -2.0 in x
1.792 * [taylor]: Taking taylor expansion of x in x
1.792 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.792 * [taylor]: Taking taylor expansion of 1.0 in x
1.792 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.792 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.792 * [taylor]: Taking taylor expansion of -2.0 in x
1.792 * [taylor]: Taking taylor expansion of x in x
1.805 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in (x) around 0
1.805 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in x
1.805 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.805 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.805 * [taylor]: Taking taylor expansion of 2.0 in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.805 * [taylor]: Taking taylor expansion of 1.0 in x
1.805 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.805 * [taylor]: Taking taylor expansion of 2.0 in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 2.0 x)) 2) (* 1.0 (exp (/ 2.0 x)))) in x
1.806 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
1.806 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.806 * [taylor]: Taking taylor expansion of 2.0 in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
1.806 * [taylor]: Taking taylor expansion of 1.0 in x
1.806 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
1.806 * [taylor]: Taking taylor expansion of 2.0 in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.824 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.825 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (- 1.0)) in (x) around 0
1.825 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (- 1.0)) in x
1.826 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x))))) (- 1.0))
1.826 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x))))) in x
1.826 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.826 * [taylor]: Taking taylor expansion of 2.0 in x
1.826 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.826 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.826 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.826 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.826 * [taylor]: Taking taylor expansion of -2.0 in x
1.826 * [taylor]: Taking taylor expansion of x in x
1.827 * [taylor]: Taking taylor expansion of 1.0 in x
1.828 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) in x
1.828 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 2) 1.0) in x
1.828 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.828 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.828 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.828 * [taylor]: Taking taylor expansion of -2.0 in x
1.828 * [taylor]: Taking taylor expansion of x in x
1.829 * [taylor]: Taking taylor expansion of 1.0 in x
1.829 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.830 * [taylor]: Taking taylor expansion of 1.0 in x
1.830 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.830 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.830 * [taylor]: Taking taylor expansion of -2.0 in x
1.830 * [taylor]: Taking taylor expansion of x in x
1.831 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.831 * [taylor]: Taking taylor expansion of 1.0 in x
1.831 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) (- 1.0)) in x
1.831 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x))))) (- 1.0))
1.831 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x))))) in x
1.831 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (* -2.0 x)) 3) 1.0)) in x
1.831 * [taylor]: Taking taylor expansion of 2.0 in x
1.831 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 3) 1.0) in x
1.831 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
1.831 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.831 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.831 * [taylor]: Taking taylor expansion of -2.0 in x
1.831 * [taylor]: Taking taylor expansion of x in x
1.832 * [taylor]: Taking taylor expansion of 1.0 in x
1.833 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (* -2.0 x)) 2) 1.0) (* 1.0 (exp (* -2.0 x)))) in x
1.833 * [taylor]: Taking taylor expansion of (+ (pow (exp (* -2.0 x)) 2) 1.0) in x
1.833 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
1.833 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.833 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.833 * [taylor]: Taking taylor expansion of -2.0 in x
1.833 * [taylor]: Taking taylor expansion of x in x
1.834 * [taylor]: Taking taylor expansion of 1.0 in x
1.834 * [taylor]: Taking taylor expansion of (* 1.0 (exp (* -2.0 x))) in x
1.834 * [taylor]: Taking taylor expansion of 1.0 in x
1.834 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
1.834 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
1.834 * [taylor]: Taking taylor expansion of -2.0 in x
1.835 * [taylor]: Taking taylor expansion of x in x
1.836 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.836 * [taylor]: Taking taylor expansion of 1.0 in x
1.981 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (- 1.0)) in (x) around 0
1.981 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (- 1.0)) in x
1.982 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x))))) (- 1.0))
1.982 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x))))) in x
1.982 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.982 * [taylor]: Taking taylor expansion of 2.0 in x
1.982 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.982 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.982 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.982 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.982 * [taylor]: Taking taylor expansion of -2.0 in x
1.982 * [taylor]: Taking taylor expansion of x in x
1.982 * [taylor]: Taking taylor expansion of 1.0 in x
1.982 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) in x
1.983 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 2) 1.0) in x
1.983 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.983 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.983 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.983 * [taylor]: Taking taylor expansion of -2.0 in x
1.983 * [taylor]: Taking taylor expansion of x in x
1.983 * [taylor]: Taking taylor expansion of 1.0 in x
1.983 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.983 * [taylor]: Taking taylor expansion of 1.0 in x
1.983 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.983 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.983 * [taylor]: Taking taylor expansion of -2.0 in x
1.983 * [taylor]: Taking taylor expansion of x in x
1.983 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.983 * [taylor]: Taking taylor expansion of 1.0 in x
1.983 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) (- 1.0)) in x
1.984 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x))))) (- 1.0))
1.984 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x))))) in x
1.984 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ -2.0 x)) 3) 1.0)) in x
1.984 * [taylor]: Taking taylor expansion of 2.0 in x
1.984 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 3) 1.0) in x
1.984 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
1.984 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.984 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.984 * [taylor]: Taking taylor expansion of -2.0 in x
1.984 * [taylor]: Taking taylor expansion of x in x
1.984 * [taylor]: Taking taylor expansion of 1.0 in x
1.984 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -2.0 x)) 2) 1.0) (* 1.0 (exp (/ -2.0 x)))) in x
1.984 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -2.0 x)) 2) 1.0) in x
1.984 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
1.985 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.985 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.985 * [taylor]: Taking taylor expansion of -2.0 in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [taylor]: Taking taylor expansion of 1.0 in x
1.985 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -2.0 x))) in x
1.985 * [taylor]: Taking taylor expansion of 1.0 in x
1.985 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
1.985 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
1.985 * [taylor]: Taking taylor expansion of -2.0 in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [taylor]: Taking taylor expansion of (- 1.0) in x
1.985 * [taylor]: Taking taylor expansion of 1.0 in x
2.024 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (- 1.0)) in (x) around 0
2.024 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (- 1.0)) in x
2.024 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x))))) (- 1.0))
2.024 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x))))) in x
2.024 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
2.024 * [taylor]: Taking taylor expansion of 2.0 in x
2.024 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
2.024 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
2.024 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.024 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.024 * [taylor]: Taking taylor expansion of 2.0 in x
2.024 * [taylor]: Taking taylor expansion of x in x
2.025 * [taylor]: Taking taylor expansion of 1.0 in x
2.025 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) in x
2.025 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 2) 1.0) in x
2.025 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
2.025 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.025 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.025 * [taylor]: Taking taylor expansion of 2.0 in x
2.025 * [taylor]: Taking taylor expansion of x in x
2.025 * [taylor]: Taking taylor expansion of 1.0 in x
2.026 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
2.026 * [taylor]: Taking taylor expansion of 1.0 in x
2.026 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.026 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.026 * [taylor]: Taking taylor expansion of 2.0 in x
2.026 * [taylor]: Taking taylor expansion of x in x
2.026 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.026 * [taylor]: Taking taylor expansion of 1.0 in x
2.026 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) (- 1.0)) in x
2.026 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x))))) (- 1.0))
2.026 * [taylor]: Taking taylor expansion of (* (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x))))) in x
2.026 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ 2.0 x)) 3) 1.0)) in x
2.026 * [taylor]: Taking taylor expansion of 2.0 in x
2.026 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 3) 1.0) in x
2.026 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
2.026 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.026 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.026 * [taylor]: Taking taylor expansion of 2.0 in x
2.026 * [taylor]: Taking taylor expansion of x in x
2.027 * [taylor]: Taking taylor expansion of 1.0 in x
2.027 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 2.0 x)) 2) 1.0) (* 1.0 (exp (/ 2.0 x)))) in x
2.027 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 2.0 x)) 2) 1.0) in x
2.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
2.027 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.027 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.027 * [taylor]: Taking taylor expansion of 2.0 in x
2.027 * [taylor]: Taking taylor expansion of x in x
2.027 * [taylor]: Taking taylor expansion of 1.0 in x
2.027 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 2.0 x))) in x
2.027 * [taylor]: Taking taylor expansion of 1.0 in x
2.027 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.028 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.028 * [taylor]: Taking taylor expansion of 2.0 in x
2.028 * [taylor]: Taking taylor expansion of x in x
2.028 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.028 * [taylor]: Taking taylor expansion of 1.0 in x
2.070 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
2.070 * [approximate]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in (x) around 0
2.070 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
2.070 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
2.070 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
2.070 * [taylor]: Taking taylor expansion of -2.0 in x
2.070 * [taylor]: Taking taylor expansion of x in x
2.071 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 3) in x
2.071 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
2.071 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
2.071 * [taylor]: Taking taylor expansion of -2.0 in x
2.071 * [taylor]: Taking taylor expansion of x in x
2.086 * [approximate]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in (x) around 0
2.086 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
2.086 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
2.086 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
2.086 * [taylor]: Taking taylor expansion of -2.0 in x
2.086 * [taylor]: Taking taylor expansion of x in x
2.087 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 3) in x
2.087 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
2.087 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
2.087 * [taylor]: Taking taylor expansion of -2.0 in x
2.087 * [taylor]: Taking taylor expansion of x in x
2.096 * [approximate]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in (x) around 0
2.096 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
2.096 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.096 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.096 * [taylor]: Taking taylor expansion of 2.0 in x
2.096 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 3) in x
2.097 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.097 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.097 * [taylor]: Taking taylor expansion of 2.0 in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.106 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.106 * [approximate]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in (x) around 0
2.106 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
2.106 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
2.106 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
2.106 * [taylor]: Taking taylor expansion of -2.0 in x
2.106 * [taylor]: Taking taylor expansion of x in x
2.107 * [taylor]: Taking taylor expansion of (pow (exp (* -2.0 x)) 2) in x
2.107 * [taylor]: Taking taylor expansion of (exp (* -2.0 x)) in x
2.107 * [taylor]: Taking taylor expansion of (* -2.0 x) in x
2.107 * [taylor]: Taking taylor expansion of -2.0 in x
2.107 * [taylor]: Taking taylor expansion of x in x
2.119 * [approximate]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in (x) around 0
2.119 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
2.119 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
2.119 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
2.119 * [taylor]: Taking taylor expansion of -2.0 in x
2.119 * [taylor]: Taking taylor expansion of x in x
2.120 * [taylor]: Taking taylor expansion of (pow (exp (/ -2.0 x)) 2) in x
2.120 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x
2.120 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x
2.120 * [taylor]: Taking taylor expansion of -2.0 in x
2.120 * [taylor]: Taking taylor expansion of x in x
2.125 * [approximate]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in (x) around 0
2.125 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
2.125 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.125 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.125 * [taylor]: Taking taylor expansion of 2.0 in x
2.125 * [taylor]: Taking taylor expansion of x in x
2.126 * [taylor]: Taking taylor expansion of (pow (exp (/ 2.0 x)) 2) in x
2.126 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x
2.126 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x
2.126 * [taylor]: Taking taylor expansion of 2.0 in x
2.126 * [taylor]: Taking taylor expansion of x in x
2.130 * * * [progress]: simplifying candidates
2.132 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (exp (* -2.0 x)) (exp (* -2.0 x)) (- (* (exp (* -2.0 x)) 1.0)))
  (fma (- (exp (* -2.0 x))) 1.0 (* (exp (* -2.0 x)) 1.0))
  (expm1 (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (log1p (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (- (* 1.0 (exp (* -2.0 x))))
  (/ (exp (* (exp (* -2.0 x)) (exp (* -2.0 x)))) (exp (* 1.0 (exp (* -2.0 x)))))
  (log (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (exp (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (* (cbrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (cbrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (cbrt (- (* (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)))) (- (* (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)))))
  (sqrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (sqrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (- (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)
  (- (* 1.0 (exp (* -2.0 x))))
  (expm1 (fma (/ 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)))
  (log1p (fma (/ 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))) (+ (* 1.0 1.0) (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (log (fma (/ 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)))
  (exp (fma (/ 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)))
  (* (cbrt (fma (/ 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))) (cbrt (fma (/ 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))))
  (cbrt (fma (/ 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)))
  (* (* (fma (/ 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)) (fma (/ 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))) (fma (/ 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)))
  (sqrt (fma (/ 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)))
  (sqrt (fma (/ 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)))
  (expm1 (pow (exp (* -2.0 x)) 3))
  (log1p (pow (exp (* -2.0 x)) 3))
  (* (* -2.0 x) 3)
  (* (log (exp (* -2.0 x))) 3)
  (* x 3)
  (* 1 3)
  (* x 3)
  (pow (exp (* -2.0 x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (* -2.0 x)) (sqrt 3))
  (pow (exp (* -2.0 x)) 1)
  (pow (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x)))) 3)
  (pow (cbrt (exp (* -2.0 x))) 3)
  (pow (sqrt (exp (* -2.0 x))) 3)
  (pow (sqrt (exp (* -2.0 x))) 3)
  (pow 1 3)
  (pow (exp (* -2.0 x)) 3)
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (log (pow (exp (* -2.0 x)) 3))
  (exp (pow (exp (* -2.0 x)) 3))
  (* (cbrt (pow (exp (* -2.0 x)) 3)) (cbrt (pow (exp (* -2.0 x)) 3)))
  (cbrt (pow (exp (* -2.0 x)) 3))
  (* (* (pow (exp (* -2.0 x)) 3) (pow (exp (* -2.0 x)) 3)) (pow (exp (* -2.0 x)) 3))
  (pow (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x)))) 3)
  (pow (cbrt (exp (* -2.0 x))) 3)
  (pow (sqrt (exp (* -2.0 x))) 3)
  (pow (sqrt (exp (* -2.0 x))) 3)
  (pow 1 3)
  (pow (exp (* -2.0 x)) 3)
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (sqrt (pow (exp (* -2.0 x)) 3))
  (sqrt (pow (exp (* -2.0 x)) 3))
  (pow (exp (* -2.0 x)) (/ 3 2))
  (pow (exp (* -2.0 x)) (/ 3 2))
  (expm1 (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (log1p (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (+ x x)
  (+ x x)
  (+ 1 1)
  (+ x x)
  (+ x x)
  (* (exp -2.0) (exp -2.0))
  (* (exp -2.0) (exp -2.0))
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (* (exp -2.0) (exp -2.0))
  (* (exp -2.0) (exp -2.0))
  (+ 1 1)
  (+ (* -2.0 x) (* -2.0 x))
  (log (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (exp (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (* (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (exp (* -2.0 x))) (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (exp (* -2.0 x))))
  (* (cbrt (* (exp (* -2.0 x)) (exp (* -2.0 x)))) (cbrt (* (exp (* -2.0 x)) (exp (* -2.0 x)))))
  (cbrt (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (* (* (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* (exp (* -2.0 x)) (exp (* -2.0 x)))) (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (sqrt (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (sqrt (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (* (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x)))) (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x)))))
  (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x))))
  (* (sqrt (exp (* -2.0 x))) (sqrt (exp (* -2.0 x))))
  (* (sqrt (exp (* -2.0 x))) (sqrt (exp (* -2.0 x))))
  (* 1 1)
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (* (sqrt (exp (* -2.0 x))) (sqrt (exp (* -2.0 x))))
  (* (sqrt (exp (* -2.0 x))) (sqrt (exp (* -2.0 x))))
  (* 2 x)
  (* 2 x)
  (* 2 1)
  (* 2 x)
  (* 2 x)
  (* (exp (* -2.0 x)) (* (cbrt (exp (* -2.0 x))) (cbrt (exp (* -2.0 x)))))
  (* (exp (* -2.0 x)) (sqrt (exp (* -2.0 x))))
  (* (exp (* -2.0 x)) 1)
  (* (cbrt (exp (* -2.0 x))) (exp (* -2.0 x)))
  (* (sqrt (exp (* -2.0 x))) (exp (* -2.0 x)))
  (* (exp (* -2.0 x)) (exp (* -2.0 x)))
  (- (* 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) (* 7.105427357601002e-15 (pow x 4))) (* 0.33333333333333215 (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))
  (- (+ (* 18.0 (pow x 2)) 1) (* 6.0 x))
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 3)
  (- (+ (* 8.0 (pow x 2)) 1) (* 4.0 x))
  (pow (exp (* -2.0 x)) 2)
  (pow (exp (* -2.0 x)) 2)
2.139 * * [simplify]: iteration  0 :  370  enodes  (cost  778 )
2.148 * * [simplify]: iteration  1 :  1892  enodes  (cost  666 )
2.206 * * [simplify]: iteration  2 :  5001  enodes  (cost  648 )
2.210 * [simplify]: Simplified to:
   (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))
  (* (exp (* -2.0 x)) (+ (- 1.0) 1.0))
  (expm1 (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (log1p (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (- (* 1.0 (exp (* -2.0 x))))
  (pow (exp (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (fma -2.0 x (log (- (exp (* -2.0 x)) 1.0)))
  (pow (exp (exp (* -2.0 x))) (- (exp (* -2.0 x)) 1.0))
  (* (cbrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))) (cbrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x))))))
  (cbrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (pow (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)) 3)
  (sqrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (sqrt (- (* (exp (* -2.0 x)) (exp (* -2.0 x))) (* 1.0 (exp (* -2.0 x)))))
  (+ (pow (exp (* -2.0 x)) 6) (- (pow (* 1.0 (exp (* -2.0 x))) 3)))
  (fma (* (pow (exp (* -2.0 x)) 2) 1.0) (+ (exp (* -2.0 x)) 1.0) (pow (exp (* -2.0 x)) 4))
  (- (* 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)
  (- (* 1.0 (exp (* -2.0 x))))
  (expm1 (fma (/ 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)))
  (log1p (fma (/ 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)))
  (/ (* (fma (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)))
  (log (fma (/ 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)))
  (/ (pow (exp (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (fma (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0) (* 1.0 1.0))) (exp 1.0))
  (* (cbrt (fma (/ 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))) (cbrt (fma (/ 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))))
  (cbrt (fma (/ 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)))
  (pow (fma (fma (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)) 3)
  (sqrt (fma (/ 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)))
  (sqrt (fma (/ 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)))
  (expm1 (pow (exp (* -2.0 x)) 3))
  (log1p (pow (exp (* -2.0 x)) 3))
  (* (* -2.0 x) 3)
  (* (* -2.0 x) 3)
  (* x 3)
  3
  (* x 3)
  (pow (exp (* -2.0 x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (* -2.0 x)) (sqrt 3))
  (exp (* -2.0 x))
  (pow (exp (* -2.0 x)) 2)
  (exp (* -2.0 x))
  (pow (exp (* -2.0 x)) 3/2)
  (pow (exp (* -2.0 x)) 3/2)
  1
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 2)
  (* (* -2.0 x) 3)
  (exp (pow (exp (* -2.0 x)) 3))
  (pow (exp (* -2.0 x)) 2)
  (exp (* -2.0 x))
  (pow (pow (exp (* -2.0 x)) 3) 3)
  (pow (exp (* -2.0 x)) 2)
  (exp (* -2.0 x))
  (pow (exp (* -2.0 x)) 3/2)
  (pow (exp (* -2.0 x)) 3/2)
  1
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 2)
  (sqrt (pow (exp (* -2.0 x)) 3))
  (sqrt (pow (exp (* -2.0 x)) 3))
  (pow (exp (* -2.0 x)) 3/2)
  (pow (exp (* -2.0 x)) 3/2)
  (expm1 (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (log1p (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (* 2 x)
  (* 2 x)
  2
  (* 2 x)
  (* 2 x)
  (exp (+ -2.0 -2.0))
  (exp (+ -2.0 -2.0))
  (pow (exp (* -2.0 x)) 2)
  (exp (+ -2.0 -2.0))
  (exp (+ -2.0 -2.0))
  2
  (fma -2.0 x (* -2.0 x))
  (fma -2.0 x (* -2.0 x))
  (exp (pow (exp (* -2.0 x)) 2))
  (pow (exp (* -2.0 x)) 6)
  (pow (cbrt (exp (* -2.0 x))) 4)
  (cbrt (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (pow (exp (* -2.0 x)) 6)
  (fabs (exp (* -2.0 x)))
  (fabs (exp (* -2.0 x)))
  (pow (cbrt (exp (* -2.0 x))) 4)
  (cbrt (* (exp (* -2.0 x)) (exp (* -2.0 x))))
  (exp (* -2.0 x))
  (exp (* -2.0 x))
  1
  (pow (exp (* -2.0 x)) 2)
  (exp (* -2.0 x))
  (exp (* -2.0 x))
  (* 2 x)
  (* 2 x)
  2
  (* 2 x)
  (* 2 x)
  (pow (cbrt (exp (* -2.0 x))) 5)
  (pow (exp (* -2.0 x)) 3/2)
  (exp (* -2.0 x))
  (pow (cbrt (exp (* -2.0 x))) 4)
  (pow (exp (* -2.0 x)) 3/2)
  (pow (exp (* -2.0 x)) 2)
  (fma 6.0 (pow x 2) (- (fma 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))
  (fma x 1.0 (- (* 7.105427357601002e-15 (pow x 4)) (* 0.33333333333333215 (pow x 3))))
  (fma 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)))) (fma 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3))) 1.0)))
  (fma 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)))) (fma 2.0 (/ (exp (* -2.0 x)) (+ 1.0 (pow (exp (* -2.0 x)) 3))) 1.0)))
  (fma (pow x 2) 18.0 (- 1 (* 6.0 x)))
  (pow (exp (* -2.0 x)) 3)
  (pow (exp (* -2.0 x)) 3)
  (fma (pow x 2) 8.0 (- 1 (* 4.0 x)))
  (pow (exp (* -2.0 x)) 2)
  (pow (exp (* -2.0 x)) 2)
2.211 * * * [progress]: adding candidates to table
2.452 * [progress]: [Phase 3 of 3] Extracting.
2.452 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.452 * * * [regime-changes]: Trying 7 branch expressions: ((* -2.0 x) (exp (* -2.0 x)) (+ 1.0 (exp (* -2.0 x))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) y x)
2.452 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.481 * * * * [regimes]: Trying to branch on (* -2.0 x) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))>)
2.495 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.520 * * * * [regimes]: Trying to branch on (exp (* -2.0 x)) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))>)
2.535 * * * * [regimes]: Trying to branch on (+ 1.0 (exp (* -2.0 x))) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.557 * * * * [regimes]: Trying to branch on (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.583 * * * * [regimes]: Trying to branch on (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.609 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.665 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.691 * * * [regime]: Found split indices: #<option (#s(si 0 66) #s(si 2 191) #s(si 1 255))>
2.692 * [binary-search]: Only using regimes for bounds on (* -2.0 x) and (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.692 * [regimes]: Found splitpoints: (#s(sp 0 (* -2.0 x) -0.03841085747037655) #s(sp 2 (* -2.0 x) 3.943493209207646e-16) #s(sp 1 (* -2.0 x) +nan.0)) , with alts (#<alt (λ (x y) (exp (log (fma (/ 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)))))> #<alt (λ (x y) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3)))> #<alt (λ (x y) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))))>)
2.693 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* -2.0 x) -0.03841085747037655) (exp (log (fma (/ 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)))) (if (<= (* -2.0 x) 3.943493209207646e-16) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))))
2.694 * * [simplify]: iteration  0 :  46  enodes  (cost  36 )
2.694 * * [simplify]: iteration  1 :  46  enodes  (cost  36 )
2.694 * [simplify]: Simplified to:
   (if (<= (* -2.0 x) -0.03841085747037655) (exp (log (fma (/ 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)))) (if (<= (* -2.0 x) 3.943493209207646e-16) (fma 1.0 x (- (fma 5.551115123125783e-17 (pow x 4) (* 0.33333333333333337 (pow x 3))))) (cbrt (pow (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0) 3))))
3.958 * [regime-testing]: Baseline error score: 29.405050700637428
3.959 * [regime-testing]: Oracle error score: 0.021727769630097094
3.960 * [regime-testing]: End program error score: 0.2957040279724772