5.006 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.087 * * * [progress]: [2/2] Setting up program.
0.089 * [progress]: [Phase 2 of 3] Improving.
0.089 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (exp x) 2.0) (exp (neg x)))
0.092 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.093 * * [simplify]: iteration  1 :  26  enodes  (cost  5 )
0.094 * * [simplify]: iteration  2 :  41  enodes  (cost  5 )
0.095 * * [simplify]: iteration  3 :  55  enodes  (cost  5 )
0.097 * * [simplify]: iteration  4 :  65  enodes  (cost  5 )
0.098 * * [simplify]: iteration  5 :  96  enodes  (cost  5 )
0.100 * * [simplify]: iteration  6 :  140  enodes  (cost  5 )
0.103 * * [simplify]: iteration  7 :  285  enodes  (cost  5 )
0.116 * * [simplify]: iteration  8 :  1642  enodes  (cost  5 )
0.230 * * [simplify]: iteration  9 :  5001  enodes  (cost  5 )
0.231 * [simplify]: Simplified to:
   (+ (- (exp x) 2.0) (exp (neg x)))
0.231 * * [progress]: iteration 1 / 4
0.231 * * * [progress]: picking best candidate
0.233 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))>
0.233 * * * [progress]: localizing error
0.239 * * * [progress]: generating rewritten candidates
0.239 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.246 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.251 * * * [progress]: generating series expansions
0.251 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.251 * [approximate]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in (x) around 0
0.251 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in x
0.251 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.251 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.251 * [taylor]: Taking taylor expansion of (neg x) in x
0.251 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (exp x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of 2.0 in x
0.252 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in x
0.252 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.252 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.252 * [taylor]: Taking taylor expansion of (neg x) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (exp x) in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of 2.0 in x
0.292 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0
0.292 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
0.296 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.296 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.296 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.297 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [taylor]: Taking taylor expansion of 2.0 in x
0.297 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
0.297 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.297 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.298 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of 2.0 in x
0.303 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0
0.304 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.304 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.304 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.304 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.304 * [taylor]: Taking taylor expansion of -1 in x
0.304 * [taylor]: Taking taylor expansion of x in x
0.304 * [taylor]: Taking taylor expansion of 2.0 in x
0.304 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.304 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.304 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.304 * [taylor]: Taking taylor expansion of x in x
0.305 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.305 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.305 * [taylor]: Taking taylor expansion of -1 in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.305 * [taylor]: Taking taylor expansion of 2.0 in x
0.310 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.310 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0
0.310 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.310 * [taylor]: Taking taylor expansion of (exp x) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of 2.0 in x
0.310 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.310 * [taylor]: Taking taylor expansion of (exp x) in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of 2.0 in x
0.314 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0
0.314 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.314 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of 2.0 in x
0.314 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.314 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of 2.0 in x
0.318 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0
0.318 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.318 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.318 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.318 * [taylor]: Taking taylor expansion of -1 in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of 2.0 in x
0.318 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.318 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.318 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.318 * [taylor]: Taking taylor expansion of -1 in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.319 * [taylor]: Taking taylor expansion of 2.0 in x
0.322 * * * [progress]: simplifying candidates
0.323 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (neg x))))
  (* (exp (- (exp x) 2.0)) (exp (exp (neg x))))
  (log (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (neg x))))
  (* (* (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x)))) (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0)))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1))
  (* (+ (exp x) 2.0) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0)))
  (* (+ (exp x) 2.0) (exp x))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (neg x)) (exp (neg x))) (* (- (exp x) 2.0) (exp (neg x)))))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))
  (- (- (exp x) 2.0) (exp (neg x)))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (neg 2.0) (exp (neg x)))
  (+ (neg 2.0) (exp (neg x)))
  (- 2.0 (exp (neg x)))
  (/ (exp (exp x)) (exp 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
  (neg 2.0)
  (- (* (exp x) (exp x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (neg 2.0)
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (* -1 x)) (exp x)) 2.0)
  (- (+ (* 1/2 (pow x 2)) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
0.327 * * [simplify]: iteration  0 :  209  enodes  (cost  282 )
0.331 * * [simplify]: iteration  1 :  694  enodes  (cost  269 )
0.344 * * [simplify]: iteration  2 :  3196  enodes  (cost  260 )
0.409 * * [simplify]: iteration  3 :  5001  enodes  (cost  260 )
0.411 * [simplify]: Simplified to:
   (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (log (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (neg x))))
  (pow (- (+ (exp (neg x)) (exp x)) 2.0) 3)
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3))))))
  (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))
  (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3))))))
  (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))
  (- (- (exp x) 2.0) (exp (neg x)))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (exp (* -1 x)) 2.0)
  (- (exp (* -1 x)) 2.0)
  (- 2.0 (exp (neg x)))
  (exp (- (exp x) 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (pow (- (exp x) 2.0) 3)
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))
  (neg 2.0)
  (- (* (exp x) (exp x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (neg 2.0)
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (* 1/2 (pow x 2)) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
0.411 * * * [progress]: adding candidates to table
0.492 * * [progress]: iteration 2 / 4
0.492 * * * [progress]: picking best candidate
0.498 * * * * [pick]: Picked  #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))>
0.498 * * * [progress]: localizing error
0.512 * * * [progress]: generating rewritten candidates
0.512 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.517 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.523 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.527 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.535 * * * [progress]: generating series expansions
0.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.536 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.536 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.536 * [taylor]: Taking taylor expansion of 1/12 in x
0.536 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.536 * [taylor]: Taking taylor expansion of 1/12 in x
0.536 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.547 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.547 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.547 * [taylor]: Taking taylor expansion of 1/12 in x
0.547 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.548 * [taylor]: Taking taylor expansion of 1/12 in x
0.548 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.558 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.558 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.558 * [taylor]: Taking taylor expansion of 1/12 in x
0.558 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.558 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.559 * [taylor]: Taking taylor expansion of 1/12 in x
0.559 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.570 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.570 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0
0.570 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.570 * [taylor]: Taking taylor expansion of 1/360 in x
0.570 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.570 * [taylor]: Taking taylor expansion of 1/360 in x
0.570 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.585 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.585 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.585 * [taylor]: Taking taylor expansion of 1/360 in x
0.585 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.586 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.586 * [taylor]: Taking taylor expansion of 1/360 in x
0.586 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.586 * [taylor]: Taking taylor expansion of x in x
0.606 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.606 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.606 * [taylor]: Taking taylor expansion of 1/360 in x
0.606 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.607 * [taylor]: Taking taylor expansion of 1/360 in x
0.607 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.621 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.621 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0
0.621 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.621 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.621 * [taylor]: Taking taylor expansion of 1/360 in x
0.621 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.621 * [taylor]: Taking taylor expansion of 1/12 in x
0.621 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.621 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.621 * [taylor]: Taking taylor expansion of 1/360 in x
0.621 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.621 * [taylor]: Taking taylor expansion of 1/12 in x
0.621 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.654 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.654 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.654 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.654 * [taylor]: Taking taylor expansion of 1/360 in x
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.654 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.655 * [taylor]: Taking taylor expansion of 1/12 in x
0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.655 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.656 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.656 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.656 * [taylor]: Taking taylor expansion of 1/360 in x
0.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.656 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.656 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.657 * [taylor]: Taking taylor expansion of 1/12 in x
0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.657 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.704 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.704 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.704 * [taylor]: Taking taylor expansion of 1/360 in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.704 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.705 * [taylor]: Taking taylor expansion of 1/12 in x
0.705 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.705 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.706 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.706 * [taylor]: Taking taylor expansion of 1/360 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.706 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.707 * [taylor]: Taking taylor expansion of 1/12 in x
0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.707 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.753 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.754 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in (x) around 0
0.754 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.754 * [taylor]: Taking taylor expansion of 1/360 in x
0.754 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.754 * [taylor]: Taking taylor expansion of 1/12 in x
0.754 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.754 * [taylor]: Taking taylor expansion of 1/360 in x
0.754 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.754 * [taylor]: Taking taylor expansion of 1/12 in x
0.754 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.763 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0
0.763 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.763 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.763 * [taylor]: Taking taylor expansion of 1/360 in x
0.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.763 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.764 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.764 * [taylor]: Taking taylor expansion of 1/12 in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.764 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.765 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.765 * [taylor]: Taking taylor expansion of 1/360 in x
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.765 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.766 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.766 * [taylor]: Taking taylor expansion of 1/12 in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.767 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.783 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0
0.783 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.783 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.783 * [taylor]: Taking taylor expansion of 1/360 in x
0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.784 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.784 * [taylor]: Taking taylor expansion of x in x
0.784 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.785 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.785 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.785 * [taylor]: Taking taylor expansion of 1/12 in x
0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.785 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.786 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.786 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.786 * [taylor]: Taking taylor expansion of 1/360 in x
0.786 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.786 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.786 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.787 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.787 * [taylor]: Taking taylor expansion of 1/12 in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.787 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.804 * * * [progress]: simplifying candidates
0.805 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (log (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow (sqrt x) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  (* 1/12 1)
  (* 1/12 (pow x (/ 4 2)))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (+ (log 1/360) (* (log x) 6))
  (+ (log 1/360) (* (log x) 6))
  (+ (log 1/360) (log (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (exp (* 1/360 (pow x 6)))
  (* (* (* 1/360 1/360) 1/360) (* (* (pow x 6) (pow x 6)) (pow x 6)))
  (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6))))
  (cbrt (* 1/360 (pow x 6)))
  (* (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (* (sqrt 1/360) (pow (sqrt x) 6))
  (* (sqrt 1/360) (pow (sqrt x) 6))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (pow x (/ 6 2)))
  (* (sqrt 1/360) (pow x (/ 6 2)))
  (* 1/360 (pow (* (cbrt x) (cbrt x)) 6))
  (* 1/360 (pow (sqrt x) 6))
  (* 1/360 (pow 1 6))
  (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6))))
  (* 1/360 (sqrt (pow x 6)))
  (* 1/360 1)
  (* 1/360 (pow x (/ 6 2)))
  (* (cbrt 1/360) (pow x 6))
  (* (sqrt 1/360) (pow x 6))
  (* 1/360 (pow x 6))
  (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4))))
  (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3))
  (+ (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (- (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (- (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))))
  (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (* (exp (pow x 2)) (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4)))))
  (* (exp (pow x 2)) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (log (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))
  (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (* (* (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))
  (+ (* (pow x 2) (pow x 2)) (- (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))
  (- (* (pow x 2) (pow x 2)) (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (* 1/360 (pow x 6)))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
0.810 * * [simplify]: iteration  0 :  327  enodes  (cost  476 )
0.818 * * [simplify]: iteration  1 :  1399  enodes  (cost  443 )
0.850 * * [simplify]: iteration  2 :  5001  enodes  (cost  425 )
0.853 * [simplify]: Simplified to:
   (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* 1/1728 (pow x 12))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* 1/1728 (pow x 12))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow x 2))
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* 1/12 (pow x 2))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (exp (* 1/360 (pow x 6)))
  (pow (* 1/360 (pow x 6)) 3)
  (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6))))
  (cbrt (* 1/360 (pow x 6)))
  (pow (* 1/360 (pow x 6)) 3)
  (sqrt (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (* (pow x 3) (sqrt 1/360))
  (* (pow x 3) (sqrt 1/360))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (pow x 3) (sqrt 1/360))
  (* (pow x 3) (sqrt 1/360))
  (* 1/360 (pow (* (cbrt x) (cbrt x)) 6))
  (* (pow x 3) 1/360)
  1/360
  (* (pow x 4) 1/360)
  (* 1/360 (sqrt (pow x 6)))
  1/360
  (* (pow x 3) 1/360)
  (* (cbrt 1/360) (pow x 6))
  (* (sqrt 1/360) (pow x 6))
  (* 1/360 (pow x 6))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (pow x 12) (+ 1/1728 (* (pow x 6) 1/46656000)))
  (+ (* (pow x 8) 1/144) (- (* (pow x 12) 1/129600) (* (pow x 4) (* (pow x 6) 1/4320))))
  (+ (* -1/144 (pow x 8)) (* (pow x 12) 1/129600))
  (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (log (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (exp (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (* (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))
  (cbrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (pow (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) 3)
  (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (+ (pow (pow x 2) 3) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3))
  (+ (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (- (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 2))) (pow x 4))
  (+ (pow x 4) (neg (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))))
  (- (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (* 1/360 (pow x 6)))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
0.854 * * * [progress]: adding candidates to table
1.007 * * [progress]: iteration 3 / 4
1.007 * * * [progress]: picking best candidate
1.011 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x))))>
1.011 * * * [progress]: localizing error
1.021 * * * [progress]: generating rewritten candidates
1.021 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.024 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.032 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.039 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1.049 * * * [progress]: generating series expansions
1.049 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.050 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in (x) around 0
1.050 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x
1.050 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1.050 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.050 * [taylor]: Taking taylor expansion of (exp x) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.050 * [taylor]: Taking taylor expansion of 1 in x
1.050 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.050 * [taylor]: Taking taylor expansion of 2.0 in x
1.050 * [taylor]: Taking taylor expansion of (exp x) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.050 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x
1.050 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1.050 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.050 * [taylor]: Taking taylor expansion of (exp x) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.050 * [taylor]: Taking taylor expansion of 1 in x
1.050 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.050 * [taylor]: Taking taylor expansion of 2.0 in x
1.050 * [taylor]: Taking taylor expansion of (exp x) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.073 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in (x) around 0
1.073 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x
1.073 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1.073 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.073 * [taylor]: Taking taylor expansion of 1 in x
1.073 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.073 * [taylor]: Taking taylor expansion of 2.0 in x
1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x
1.074 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1.074 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of 1 in x
1.074 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.074 * [taylor]: Taking taylor expansion of 2.0 in x
1.074 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.093 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in (x) around 0
1.093 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x
1.093 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x
1.093 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.093 * [taylor]: Taking taylor expansion of -1 in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of 1 in x
1.093 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.093 * [taylor]: Taking taylor expansion of 2.0 in x
1.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.093 * [taylor]: Taking taylor expansion of -1 in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.094 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x
1.094 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x
1.094 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.094 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.094 * [taylor]: Taking taylor expansion of -1 in x
1.094 * [taylor]: Taking taylor expansion of x in x
1.094 * [taylor]: Taking taylor expansion of 1 in x
1.094 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.094 * [taylor]: Taking taylor expansion of 2.0 in x
1.094 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.094 * [taylor]: Taking taylor expansion of -1 in x
1.094 * [taylor]: Taking taylor expansion of x in x
1.109 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.109 * [approximate]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in (x) around 0
1.109 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x
1.109 * [taylor]: Taking taylor expansion of (exp x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.109 * [taylor]: Taking taylor expansion of (exp x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of 2.0 in x
1.109 * [taylor]: Taking taylor expansion of (* (exp x) (+ (exp x) 2.0)) in x
1.109 * [taylor]: Taking taylor expansion of (exp x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.109 * [taylor]: Taking taylor expansion of (exp x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of 2.0 in x
1.115 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0
1.115 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x
1.115 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.116 * [taylor]: Taking taylor expansion of 2.0 in x
1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.116 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x
1.116 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.117 * [taylor]: Taking taylor expansion of 2.0 in x
1.117 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.117 * [taylor]: Taking taylor expansion of x in x
1.123 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in (x) around 0
1.123 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x
1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.123 * [taylor]: Taking taylor expansion of -1 in x
1.123 * [taylor]: Taking taylor expansion of x in x
1.123 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.123 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.123 * [taylor]: Taking taylor expansion of -1 in x
1.123 * [taylor]: Taking taylor expansion of x in x
1.123 * [taylor]: Taking taylor expansion of 2.0 in x
1.123 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (exp (/ -1 x)) 2.0)) in x
1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.124 * [taylor]: Taking taylor expansion of -1 in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.124 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.124 * [taylor]: Taking taylor expansion of -1 in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.124 * [taylor]: Taking taylor expansion of 2.0 in x
1.130 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.130 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (exp x) 2.0)) in (x) around 0
1.130 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (exp x) 2.0)) in x
1.130 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x
1.130 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1.130 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.130 * [taylor]: Taking taylor expansion of (exp x) in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.130 * [taylor]: Taking taylor expansion of 1 in x
1.130 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.130 * [taylor]: Taking taylor expansion of 2.0 in x
1.130 * [taylor]: Taking taylor expansion of (exp x) in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.130 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.130 * [taylor]: Taking taylor expansion of (exp x) in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.130 * [taylor]: Taking taylor expansion of 2.0 in x
1.130 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (exp x) 2.0)) in x
1.130 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) in x
1.130 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
1.131 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.131 * [taylor]: Taking taylor expansion of (exp x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of 1 in x
1.131 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.131 * [taylor]: Taking taylor expansion of 2.0 in x
1.131 * [taylor]: Taking taylor expansion of (exp x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.131 * [taylor]: Taking taylor expansion of (exp x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of 2.0 in x
1.173 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in (x) around 0
1.173 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x
1.173 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x
1.173 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1.173 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.173 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of 1 in x
1.173 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.173 * [taylor]: Taking taylor expansion of 2.0 in x
1.173 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.174 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.174 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.174 * [taylor]: Taking taylor expansion of 2.0 in x
1.174 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) (+ (exp (/ 1 x)) 2.0)) in x
1.174 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (* 2.0 (exp (/ 1 x)))) in x
1.174 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
1.174 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.174 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of 1 in x
1.175 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.175 * [taylor]: Taking taylor expansion of 2.0 in x
1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.175 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of 2.0 in x
1.196 * [approximate]: Taking taylor expansion of (* (+ (exp (/ -1 x)) 2.0) (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x))))) in (x) around 0
1.196 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 x)) 2.0) (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x))))) in x
1.196 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.196 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.196 * [taylor]: Taking taylor expansion of -1 in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.196 * [taylor]: Taking taylor expansion of 2.0 in x
1.196 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x
1.196 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x
1.196 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.196 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.196 * [taylor]: Taking taylor expansion of -1 in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of 1 in x
1.197 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.197 * [taylor]: Taking taylor expansion of 2.0 in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 x)) 2.0) (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x))))) in x
1.197 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of 2.0 in x
1.197 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 2) 1) (* 2.0 (exp (/ -1 x)))) in x
1.197 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 1) in x
1.197 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of 1 in x
1.198 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.198 * [taylor]: Taking taylor expansion of 2.0 in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.198 * [taylor]: Taking taylor expansion of -1 in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.218 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1.219 * [approximate]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in (x) around 0
1.219 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x
1.219 * [taylor]: Taking taylor expansion of (exp x) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.219 * [taylor]: Taking taylor expansion of (exp x) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of 2.0 in x
1.219 * [taylor]: Taking taylor expansion of (* (exp x) (- (exp x) 2.0)) in x
1.219 * [taylor]: Taking taylor expansion of (exp x) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.219 * [taylor]: Taking taylor expansion of (exp x) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of 2.0 in x
1.235 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in (x) around 0
1.235 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x
1.235 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of 2.0 in x
1.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 x)) 2.0) (exp (/ 1 x))) in x
1.236 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.236 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.236 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of 2.0 in x
1.236 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.236 * [taylor]: Taking taylor expansion of x in x
1.244 * [approximate]: Taking taylor expansion of (* (- (exp (/ -1 x)) 2.0) (exp (/ -1 x))) in (x) around 0
1.244 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) 2.0) (exp (/ -1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of 2.0 in x
1.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) 2.0) (exp (/ -1 x))) in x
1.245 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.245 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.245 * [taylor]: Taking taylor expansion of -1 in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of 2.0 in x
1.245 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.245 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.245 * [taylor]: Taking taylor expansion of -1 in x
1.245 * [taylor]: Taking taylor expansion of x in x
1.259 * * * [progress]: simplifying candidates
1.260 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp 1) (exp (* (exp x) (- (exp x) 2.0))))
  (log (+ 1 (* (exp x) (- (exp x) 2.0))))
  (exp (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (cbrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (* (+ 1 (* (exp x) (- (exp x) 2.0))) (+ 1 (* (exp x) (- (exp x) 2.0)))) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (sqrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (sqrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (+ (pow 1 3) (pow (* (exp x) (- (exp x) 2.0)) 3))
  (+ (* 1 1) (- (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))) (* 1 (* (exp x) (- (exp x) 2.0)))))
  (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))))
  (- 1 (* (exp x) (- (exp x) 2.0)))
  (+ 1 (* (exp x) (exp x)))
  (+ 1 (* (exp x) (exp x)))
  (+ 1 (* (exp x) (exp x)))
  (+ 1 (* (exp x) (exp x)))
  (* (+ (exp x) 2.0) (exp x))
  (+ (log (+ (exp x) 2.0)) x)
  (log (* (+ (exp x) 2.0) (exp x)))
  (exp (* (+ (exp x) 2.0) (exp x)))
  (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (* (+ (exp x) 2.0) (exp x))) (cbrt (* (+ (exp x) 2.0) (exp x))))
  (cbrt (* (+ (exp x) 2.0) (exp x)))
  (* (* (* (+ (exp x) 2.0) (exp x)) (* (+ (exp x) 2.0) (exp x))) (* (+ (exp x) 2.0) (exp x)))
  (sqrt (* (+ (exp x) 2.0) (exp x)))
  (sqrt (* (+ (exp x) 2.0) (exp x)))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x)))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x)))
  (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (+ (exp x) 2.0) (sqrt (exp x)))
  (* (+ (exp x) 2.0) 1)
  (* (cbrt (+ (exp x) 2.0)) (exp x))
  (* (sqrt (+ (exp x) 2.0)) (exp x))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (+ (log (+ (exp x) 2.0)) (log (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (log (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (exp (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (+ 1 (* (exp x) (- (exp x) 2.0))) (+ 1 (* (exp x) (- (exp x) 2.0)))) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))) (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))))
  (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (* (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (sqrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (sqrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (+ (pow 1 3) (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (+ (* (exp x) (exp x)) (- (* 2.0 2.0) (* (exp x) 2.0))) (+ (* 1 1) (- (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))) (* 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (+ (* (exp x) (exp x)) (- (* 2.0 2.0) (* (exp x) 2.0))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (pow 1 3) (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (- (exp x) 2.0) (+ (* 1 1) (- (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))) (* 1 (* (exp x) (- (exp x) 2.0))))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (- (exp x) 2.0) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) 1)
  (* (+ (exp x) 2.0) (* (exp x) (- (exp x) 2.0)))
  (* 1 (+ (exp x) 2.0))
  (* (* (exp x) (- (exp x) 2.0)) (+ (exp x) 2.0))
  (* (+ (exp x) 2.0) (* (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (+ 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) 1)
  (* (cbrt (+ (exp x) 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ (pow 1 3) (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (+ (exp x) 2.0) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (exp x) (- (exp x) 2.0))
  (+ x (log (- (exp x) 2.0)))
  (log (* (exp x) (- (exp x) 2.0)))
  (exp (* (exp x) (- (exp x) 2.0)))
  (* (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)))
  (* (cbrt (* (exp x) (- (exp x) 2.0))) (cbrt (* (exp x) (- (exp x) 2.0))))
  (cbrt (* (exp x) (- (exp x) 2.0)))
  (* (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))) (* (exp x) (- (exp x) 2.0)))
  (sqrt (* (exp x) (- (exp x) 2.0)))
  (sqrt (* (exp x) (- (exp x) 2.0)))
  (* (sqrt (exp x)) (sqrt (- (exp x) 2.0)))
  (* (sqrt (exp x)) (sqrt (- (exp x) 2.0)))
  (* (exp x) (exp x))
  (* (exp x) (neg 2.0))
  (* (exp x) (exp x))
  (* (exp x) (neg 2.0))
  (* (exp x) (exp x))
  (* (neg 2.0) (exp x))
  (* (exp x) (exp x))
  (* (neg 2.0) (exp x))
  (* (exp x) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))))
  (* (exp x) (sqrt (- (exp x) 2.0)))
  (* (exp x) 1)
  (* (exp x) (+ (sqrt (exp x)) (sqrt 2.0)))
  (* (exp x) 1)
  (* (cbrt (exp x)) (- (exp x) 2.0))
  (* (sqrt (exp x)) (- (exp x) 2.0))
  (* (exp x) (- (exp x) 2.0))
  (* (exp x) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (exp x) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (+ (* 1.0 (pow x 2)) (+ (* 1.0 (pow x 3)) (* 0.5833333333333333 (pow x 4))))
  (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x)))
  (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x)))
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0))
  (* (exp x) (+ (exp x) 2.0))
  (* (exp x) (+ (exp x) 2.0))
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (* 3.25 (pow x 4))))
  (* (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (exp x) 2.0))
  (* (- (+ (pow (exp x) 2) 1) (* 2.0 (exp x))) (+ (exp x) 2.0))
  (- (+ (* 1.0 (pow x 2)) (* 1.0 (pow x 3))) 1.0)
  (* (exp x) (- (exp x) 2.0))
  (* (exp x) (- (exp x) 2.0))
1.266 * * [simplify]: iteration  0 :  452  enodes  (cost  830 )
1.277 * * [simplify]: iteration  1 :  2562  enodes  (cost  758 )
1.322 * * [simplify]: iteration  2 :  5001  enodes  (cost  758 )
1.326 * [simplify]: Simplified to:
   (exp (+ 1 (* (exp x) (- (exp x) 2.0))))
  (log (+ 1 (* (exp x) (- (exp x) 2.0))))
  (exp (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (cbrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (pow (+ 1 (* (exp x) (- (exp x) 2.0))) 3)
  (sqrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (sqrt (+ 1 (* (exp x) (- (exp x) 2.0))))
  (+ 1 (pow (* (exp x) (- (exp x) 2.0)) 3))
  (+ (* (* (exp x) (- (exp x) 2.0)) (- (* (exp x) (- (exp x) 2.0)) 1)) 1)
  (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (- 1 (* (exp x) (- (exp x) 2.0)))
  (+ (pow (exp x) 2) 1)
  (+ (pow (exp x) 2) 1)
  (+ (pow (exp x) 2) 1)
  (+ (pow (exp x) 2) 1)
  (* (exp x) (+ (exp x) 2.0))
  (+ x (log (+ (exp x) 2.0)))
  (+ x (log (+ (exp x) 2.0)))
  (exp (* (+ (exp x) 2.0) (exp x)))
  (pow (* (exp x) (+ (exp x) 2.0)) 3)
  (* (cbrt (* (+ (exp x) 2.0) (exp x))) (cbrt (* (+ (exp x) 2.0) (exp x))))
  (cbrt (* (+ (exp x) 2.0) (exp x)))
  (pow (* (exp x) (+ (exp x) 2.0)) 3)
  (sqrt (* (+ (exp x) 2.0) (exp x)))
  (sqrt (* (+ (exp x) 2.0) (exp x)))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x)))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (exp x)))
  (* (+ (exp x) 2.0) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (+ (exp x) 2.0) (sqrt (exp x)))
  (+ (exp x) 2.0)
  (* (cbrt (+ (exp x) 2.0)) (exp x))
  (* (sqrt (+ (exp x) 2.0)) (exp x))
  (* (exp x) (+ (exp x) 2.0))
  (* (exp x) (+ (exp x) 2.0))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (exp x))
  (* (* (exp x) (- (exp x) 2.0)) (+ (exp x) 2.0))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (log (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (log (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (exp (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (pow (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) 3)
  (* (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))) (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))))
  (cbrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (pow (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) 3)
  (sqrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (sqrt (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (+ 1 (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (+ (* (* (exp x) (- (exp x) 2.0)) (- (* (exp x) (- (exp x) 2.0)) 1)) 1) (+ (* 2.0 (- 2.0 (exp x))) (pow (exp x) 2)))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (- 1 (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (- 1 (* (exp x) (- (exp x) 2.0))) (+ (* 2.0 (- 2.0 (exp x))) (pow (exp x) 2)))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ 1 (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (+ (* (* (exp x) (- (exp x) 2.0)) (- (* (exp x) (- (exp x) 2.0)) 1)) 1) (- (exp x) 2.0))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- 1 (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (- (exp x) 2.0) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (+ (exp x) 2.0)
  (* (* (exp x) (- (exp x) 2.0)) (+ (exp x) 2.0))
  (+ (exp x) 2.0)
  (* (* (exp x) (- (exp x) 2.0)) (+ (exp x) 2.0))
  (* (+ (exp x) 2.0) (* (cbrt (+ 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (+ 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (sqrt (+ 1 (* (exp x) (- (exp x) 2.0)))))
  (+ (exp x) 2.0)
  (* (cbrt (+ (exp x) 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (* (+ (exp x) 2.0) (- 1 (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (exp x) (- (exp x) 2.0))
  (+ (log (- (exp x) 2.0)) x)
  (+ (log (- (exp x) 2.0)) x)
  (exp (* (exp x) (- (exp x) 2.0)))
  (pow (* (exp x) (- (exp x) 2.0)) 3)
  (* (cbrt (* (exp x) (- (exp x) 2.0))) (cbrt (* (exp x) (- (exp x) 2.0))))
  (cbrt (* (exp x) (- (exp x) 2.0)))
  (pow (* (exp x) (- (exp x) 2.0)) 3)
  (sqrt (* (exp x) (- (exp x) 2.0)))
  (sqrt (* (exp x) (- (exp x) 2.0)))
  (* (sqrt (exp x)) (sqrt (- (exp x) 2.0)))
  (* (sqrt (exp x)) (sqrt (- (exp x) 2.0)))
  (pow (exp x) 2)
  (* (exp x) (neg 2.0))
  (pow (exp x) 2)
  (* (exp x) (neg 2.0))
  (pow (exp x) 2)
  (* (exp x) (neg 2.0))
  (pow (exp x) 2)
  (* (exp x) (neg 2.0))
  (* (exp x) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))))
  (* (exp x) (sqrt (- (exp x) 2.0)))
  (exp x)
  (* (exp x) (+ (sqrt (exp x)) (sqrt 2.0)))
  (exp x)
  (* (cbrt (exp x)) (- (exp x) 2.0))
  (* (sqrt (exp x)) (- (exp x) 2.0))
  (* (exp x) (- (exp x) 2.0))
  (* (exp x) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (* (exp x) (- (exp x) 2.0)) (+ (exp x) 2.0))
  (+ (* 1.0 (+ (pow x 2) (pow x 3))) (* 0.5833333333333333 (pow x 4)))
  (+ 1 (* (exp x) (- (exp x) 2.0)))
  (+ 1 (* (exp x) (- (exp x) 2.0)))
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 x) 3.0))
  (* (exp x) (+ (exp x) 2.0))
  (* (exp x) (+ (exp x) 2.0))
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (* 3.25 (pow x 4))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (- (+ (* 1.0 (pow x 2)) (* 1.0 (pow x 3))) 1.0)
  (* (exp x) (- (exp x) 2.0))
  (* (exp x) (- (exp x) 2.0))
1.327 * * * [progress]: adding candidates to table
1.489 * * [progress]: iteration 4 / 4
1.489 * * * [progress]: picking best candidate
1.493 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (exp x))))>
1.493 * * * [progress]: localizing error
1.509 * * * [progress]: generating rewritten candidates
1.509 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.514 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1)
1.521 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.533 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2)
1.548 * * * [progress]: generating series expansions
1.548 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.548 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) in (x) around 0
1.548 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) in x
1.548 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp x) 3)) 1) in x
1.548 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 3)) in x
1.548 * [taylor]: Taking taylor expansion of 4.0 in x
1.548 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.548 * [taylor]: Taking taylor expansion of (exp x) in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.548 * [taylor]: Taking taylor expansion of 1 in x
1.548 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))) in x
1.548 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.548 * [taylor]: Taking taylor expansion of (exp x) in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.548 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 2)) in x
1.548 * [taylor]: Taking taylor expansion of 4.0 in x
1.548 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.548 * [taylor]: Taking taylor expansion of (exp x) in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) in x
1.549 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp x) 3)) 1) in x
1.549 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 3)) in x
1.549 * [taylor]: Taking taylor expansion of 4.0 in x
1.549 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.549 * [taylor]: Taking taylor expansion of (exp x) in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of 1 in x
1.549 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))) in x
1.549 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.549 * [taylor]: Taking taylor expansion of (exp x) in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 2)) in x
1.549 * [taylor]: Taking taylor expansion of 4.0 in x
1.549 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.549 * [taylor]: Taking taylor expansion of (exp x) in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.593 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2)))) in (x) around 0
1.594 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2)))) in x
1.594 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) in x
1.594 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 3)) in x
1.594 * [taylor]: Taking taylor expansion of 4.0 in x
1.594 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of 1 in x
1.594 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))) in x
1.594 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 2)) in x
1.594 * [taylor]: Taking taylor expansion of 4.0 in x
1.594 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.595 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2)))) in x
1.595 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) in x
1.595 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 3)) in x
1.595 * [taylor]: Taking taylor expansion of 4.0 in x
1.595 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.595 * [taylor]: Taking taylor expansion of x in x
1.595 * [taylor]: Taking taylor expansion of 1 in x
1.595 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))) in x
1.595 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.595 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.595 * [taylor]: Taking taylor expansion of x in x
1.596 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 2)) in x
1.596 * [taylor]: Taking taylor expansion of 4.0 in x
1.596 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.641 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) in (x) around 0
1.642 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) in x
1.642 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) in x
1.642 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 3)) in x
1.642 * [taylor]: Taking taylor expansion of 4.0 in x
1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of 1 in x
1.642 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4)) in x
1.642 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 2)) in x
1.642 * [taylor]: Taking taylor expansion of 4.0 in x
1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.642 * [taylor]: Taking taylor expansion of -1 in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.643 * [taylor]: Taking taylor expansion of -1 in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) in x
1.643 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) in x
1.643 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 3)) in x
1.643 * [taylor]: Taking taylor expansion of 4.0 in x
1.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.643 * [taylor]: Taking taylor expansion of -1 in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of 1 in x
1.643 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4)) in x
1.643 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 2)) in x
1.643 * [taylor]: Taking taylor expansion of 4.0 in x
1.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.643 * [taylor]: Taking taylor expansion of -1 in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.644 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.644 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.644 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.644 * [taylor]: Taking taylor expansion of -1 in x
1.644 * [taylor]: Taking taylor expansion of x in x
1.683 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1)
1.683 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
1.683 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.683 * [taylor]: Taking taylor expansion of (exp x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.683 * [taylor]: Taking taylor expansion of (exp x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.691 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
1.691 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.691 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.692 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.692 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.696 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
1.696 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.696 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.696 * [taylor]: Taking taylor expansion of -1 in x
1.696 * [taylor]: Taking taylor expansion of x in x
1.697 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.697 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.697 * [taylor]: Taking taylor expansion of -1 in x
1.697 * [taylor]: Taking taylor expansion of x in x
1.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.702 * [approximate]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2))) in (x) around 0
1.702 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2))) in x
1.702 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) in x
1.702 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) in x
1.702 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp x) 3)) 1) in x
1.702 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 3)) in x
1.702 * [taylor]: Taking taylor expansion of 4.0 in x
1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of 1 in x
1.702 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))) in x
1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 2)) in x
1.702 * [taylor]: Taking taylor expansion of 4.0 in x
1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of 2.0 in x
1.702 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)) in x
1.702 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) 1) in x
1.702 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.702 * [taylor]: Taking taylor expansion of 2.0 in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of 1 in x
1.702 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.702 * [taylor]: Taking taylor expansion of (exp x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2))) in x
1.726 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) in x
1.726 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) in x
1.726 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp x) 3)) 1) in x
1.726 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 3)) in x
1.726 * [taylor]: Taking taylor expansion of 4.0 in x
1.726 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of 1 in x
1.726 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))) in x
1.726 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp x) 2)) in x
1.726 * [taylor]: Taking taylor expansion of 4.0 in x
1.726 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of (+ (exp x) 2.0) in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of 2.0 in x
1.726 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)) in x
1.726 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) 1) in x
1.726 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
1.726 * [taylor]: Taking taylor expansion of 2.0 in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [taylor]: Taking taylor expansion of 1 in x
1.726 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.726 * [taylor]: Taking taylor expansion of (exp x) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.804 * [approximate]: Taking taylor expansion of (/ (* (+ (exp (/ 1 x)) 2.0) (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))))) (- (+ (* 2.0 (exp (/ 1 x))) 1) (pow (exp (/ 1 x)) 2))) in (x) around 0
1.804 * [taylor]: Taking taylor expansion of (/ (* (+ (exp (/ 1 x)) 2.0) (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))))) (- (+ (* 2.0 (exp (/ 1 x))) 1) (pow (exp (/ 1 x)) 2))) in x
1.804 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))))) in x
1.804 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.804 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.804 * [taylor]: Taking taylor expansion of x in x
1.804 * [taylor]: Taking taylor expansion of 2.0 in x
1.804 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2)))) in x
1.804 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) in x
1.804 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 3)) in x
1.804 * [taylor]: Taking taylor expansion of 4.0 in x
1.804 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.804 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.804 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of 1 in x
1.805 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))) in x
1.805 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.805 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 2)) in x
1.805 * [taylor]: Taking taylor expansion of 4.0 in x
1.805 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.805 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp (/ 1 x))) 1) (pow (exp (/ 1 x)) 2)) in x
1.806 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 1) in x
1.806 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.806 * [taylor]: Taking taylor expansion of 2.0 in x
1.806 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of 1 in x
1.806 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.806 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of (/ (* (+ (exp (/ 1 x)) 2.0) (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))))) (- (+ (* 2.0 (exp (/ 1 x))) 1) (pow (exp (/ 1 x)) 2))) in x
1.809 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) 2.0) (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))))) in x
1.809 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 2.0) in x
1.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of 2.0 in x
1.809 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2)))) in x
1.809 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ 1 x)) 3)) 1) in x
1.809 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 3)) in x
1.809 * [taylor]: Taking taylor expansion of 4.0 in x
1.809 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of 1 in x
1.810 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (* 4.0 (pow (exp (/ 1 x)) 2))) in x
1.810 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ 1 x)) 2)) in x
1.810 * [taylor]: Taking taylor expansion of 4.0 in x
1.810 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp (/ 1 x))) 1) (pow (exp (/ 1 x)) 2)) in x
1.810 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 1) in x
1.810 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
1.810 * [taylor]: Taking taylor expansion of 2.0 in x
1.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of 1 in x
1.811 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.886 * [approximate]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) (+ (exp (/ -1 x)) 2.0)) (- (+ (* 2.0 (exp (/ -1 x))) 1) (pow (exp (/ -1 x)) 2))) in (x) around 0
1.886 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) (+ (exp (/ -1 x)) 2.0)) (- (+ (* 2.0 (exp (/ -1 x))) 1) (pow (exp (/ -1 x)) 2))) in x
1.886 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) (+ (exp (/ -1 x)) 2.0)) in x
1.886 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) in x
1.887 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) in x
1.887 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 3)) in x
1.887 * [taylor]: Taking taylor expansion of 4.0 in x
1.887 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.887 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.887 * [taylor]: Taking taylor expansion of -1 in x
1.887 * [taylor]: Taking taylor expansion of x in x
1.887 * [taylor]: Taking taylor expansion of 1 in x
1.887 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4)) in x
1.887 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 2)) in x
1.887 * [taylor]: Taking taylor expansion of 4.0 in x
1.887 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.887 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.887 * [taylor]: Taking taylor expansion of -1 in x
1.887 * [taylor]: Taking taylor expansion of x in x
1.887 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.887 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.887 * [taylor]: Taking taylor expansion of -1 in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.888 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.888 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.888 * [taylor]: Taking taylor expansion of -1 in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.888 * [taylor]: Taking taylor expansion of 2.0 in x
1.888 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp (/ -1 x))) 1) (pow (exp (/ -1 x)) 2)) in x
1.888 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 1) in x
1.888 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.888 * [taylor]: Taking taylor expansion of 2.0 in x
1.888 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.888 * [taylor]: Taking taylor expansion of -1 in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.889 * [taylor]: Taking taylor expansion of 1 in x
1.889 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.889 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.889 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.889 * [taylor]: Taking taylor expansion of -1 in x
1.889 * [taylor]: Taking taylor expansion of x in x
1.892 * [taylor]: Taking taylor expansion of (/ (* (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) (+ (exp (/ -1 x)) 2.0)) (- (+ (* 2.0 (exp (/ -1 x))) 1) (pow (exp (/ -1 x)) 2))) in x
1.892 * [taylor]: Taking taylor expansion of (* (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) (+ (exp (/ -1 x)) 2.0)) in x
1.892 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4))) in x
1.892 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 3)) 1) in x
1.892 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 3)) in x
1.892 * [taylor]: Taking taylor expansion of 4.0 in x
1.892 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.892 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.892 * [taylor]: Taking taylor expansion of -1 in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.892 * [taylor]: Taking taylor expansion of 1 in x
1.892 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow (exp (/ -1 x)) 2)) (pow (exp (/ -1 x)) 4)) in x
1.892 * [taylor]: Taking taylor expansion of (* 4.0 (pow (exp (/ -1 x)) 2)) in x
1.892 * [taylor]: Taking taylor expansion of 4.0 in x
1.892 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.892 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.892 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.892 * [taylor]: Taking taylor expansion of -1 in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.893 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.893 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.893 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.893 * [taylor]: Taking taylor expansion of -1 in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 2.0) in x
1.893 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.893 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.893 * [taylor]: Taking taylor expansion of -1 in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [taylor]: Taking taylor expansion of 2.0 in x
1.893 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (exp (/ -1 x))) 1) (pow (exp (/ -1 x)) 2)) in x
1.893 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 1) in x
1.893 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
1.893 * [taylor]: Taking taylor expansion of 2.0 in x
1.893 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.893 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.894 * [taylor]: Taking taylor expansion of -1 in x
1.894 * [taylor]: Taking taylor expansion of x in x
1.894 * [taylor]: Taking taylor expansion of 1 in x
1.894 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.894 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.894 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.894 * [taylor]: Taking taylor expansion of -1 in x
1.894 * [taylor]: Taking taylor expansion of x in x
1.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2)
1.968 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2.0) 2) in (x) around 0
1.968 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 2) in x
1.968 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.968 * [taylor]: Taking taylor expansion of (exp x) in x
1.968 * [taylor]: Taking taylor expansion of x in x
1.968 * [taylor]: Taking taylor expansion of 2.0 in x
1.969 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 2) in x
1.969 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.969 * [taylor]: Taking taylor expansion of (exp x) in x
1.969 * [taylor]: Taking taylor expansion of x in x
1.969 * [taylor]: Taking taylor expansion of 2.0 in x
1.983 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in (x) around 0
1.983 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in x
1.983 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.983 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.983 * [taylor]: Taking taylor expansion of x in x
1.983 * [taylor]: Taking taylor expansion of 2.0 in x
1.984 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 2) in x
1.984 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.984 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.984 * [taylor]: Taking taylor expansion of x in x
1.984 * [taylor]: Taking taylor expansion of 2.0 in x
1.992 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in (x) around 0
1.992 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in x
1.992 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.992 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.992 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.992 * [taylor]: Taking taylor expansion of -1 in x
1.992 * [taylor]: Taking taylor expansion of x in x
1.993 * [taylor]: Taking taylor expansion of 2.0 in x
1.993 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 2) in x
1.993 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.993 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.993 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.993 * [taylor]: Taking taylor expansion of -1 in x
1.993 * [taylor]: Taking taylor expansion of x in x
1.994 * [taylor]: Taking taylor expansion of 2.0 in x
2.001 * * * [progress]: simplifying candidates
2.003 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp 1) (exp (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (log (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (exp (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))))
  (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (* (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (- (pow 1 3) (pow (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) 3))
  (+ (* 1 1) (+ (* (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (* 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))))
  (neg (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (- (* 1 1) (* (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (+ 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (exp x))))
  (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (exp x))))
  (- 1 (* (pow (exp x) 2) (* (exp x) (- (exp x) 2.0))))
  (- 1 (* (pow (exp x) 2) (* (exp x) (- (exp x) 2.0))))
  (- 1 (* (* (- (exp x) 2.0) (exp x)) (pow (exp x) 2)))
  (- 1 (* (* (- (exp x) 2.0) (exp x)) (pow (exp x) 2)))
  (- 1 (* (* (exp x) (- (exp x) 2.0)) (pow (exp x) 2)))
  (- 1 (* (* (exp x) (- (exp x) 2.0)) (pow (exp x) 2)))
  (neg (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (* x 2)
  (* (log (exp x)) 2)
  (* 1 2)
  (* (cbrt x) 2)
  (* (sqrt x) 2)
  (* x 2)
  (pow (exp x) (* (cbrt 2) (cbrt 2)))
  (pow (exp x) (sqrt 2))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 2)
  (pow (cbrt (exp x)) 2)
  (pow (sqrt (exp x)) 2)
  (pow (sqrt (exp x)) 2)
  (pow 1 2)
  (pow (exp x) 2)
  (log (pow (exp x) 2))
  (exp (pow (exp x) 2))
  (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2)))
  (cbrt (pow (exp x) 2))
  (* (* (pow (exp x) 2) (pow (exp x) 2)) (pow (exp x) 2))
  (sqrt (pow (exp x) 2))
  (sqrt (pow (exp x) 2))
  (pow (exp x) (/ 2 2))
  (pow (exp x) (/ 2 2))
  (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (+ (log (+ (exp x) 2.0)) (- (log (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (log (- 1 (* (exp x) (- (exp x) 2.0))))))
  (+ (log (+ (exp x) 2.0)) (log (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (log (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (exp (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (/ (* (* (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (* (* (- 1 (* (exp x) (- (exp x) 2.0))) (- 1 (* (exp x) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (+ (exp x) 2.0)) (* (* (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))) (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (* (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))) (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (sqrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (sqrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (+ (* (exp x) (exp x)) (- (* 2.0 2.0) (* (exp x) 2.0))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (- (exp x) 2.0) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (* (cbrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (cbrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (/ (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (/ (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (/ (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) 1))
  (* (+ (exp x) 2.0) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) 1))
  (* (+ (exp x) 2.0) (/ 1 (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (/ 1 (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (/ 1 1))
  (* (+ (exp x) 2.0) 1)
  (* (+ (exp x) 2.0) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- (pow 1 3) (pow (* (exp x) (- (exp x) 2.0)) 3))))
  (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))))))
  (* (cbrt (+ (exp x) 2.0)) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (* (sqrt (+ (exp x) 2.0)) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (* (+ (exp x) 2.0) (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (* (+ (pow (exp x) 3) (pow 2.0 3)) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (+ 1 1)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (+ 1 1)
  (+ (log (- (exp x) 2.0)) (log (- (exp x) 2.0)))
  (log (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (exp (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (* (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)))
  (* (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0))) (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (* (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (- (exp x) 2.0) (- (exp x) 2.0))) (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (sqrt (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (sqrt (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (+ (exp x) 2.0))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (+ (exp x) 2.0) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (+ (exp x) 2.0) (+ (exp x) 2.0))
  (* (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (* (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)))
  (* (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)))
  (* 1 1)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* 1 1)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0)))
  (* (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)))
  (* 1 1)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* 1 1)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)))
  (* (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)))
  (* 2 1)
  (* (- (exp x) 2.0) (exp x))
  (* (- (exp x) 2.0) (neg 2.0))
  (* (- (exp x) 2.0) (exp x))
  (* (- (exp x) 2.0) (neg 2.0))
  (* (exp x) (- (exp x) 2.0))
  (* (neg 2.0) (- (exp x) 2.0))
  (* (exp x) (- (exp x) 2.0))
  (* (neg 2.0) (- (exp x) 2.0))
  (* (- (exp x) 2.0) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))))
  (* (- (exp x) 2.0) (sqrt (- (exp x) 2.0)))
  (* (- (exp x) 2.0) 1)
  (* (- (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)))
  (* (- (exp x) 2.0) 1)
  (* (cbrt (- (exp x) 2.0)) (- (exp x) 2.0))
  (* (sqrt (- (exp x) 2.0)) (- (exp x) 2.0))
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0))
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (* (- (exp x) 2.0) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (- (exp x) 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (exp x) 2.0))
  (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (- (exp x) 2.0))
  (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 3)) (* 0.16666666666666785 (pow x 4))))
  (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))))
  (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))))
  (+ (* 2 (pow x 2)) (+ (* 2 x) 1))
  (pow (exp x) 2)
  (pow (exp x) 2)
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (* 3.2500000000000018 (pow x 4))))
  (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)))
  (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)))
  (- (+ (* 0.6666666666666667 (pow x 3)) 1.0) (* 2.0 x))
  (pow (- (exp x) 2.0) 2)
  (pow (- (exp x) 2.0) 2)
2.013 * * [simplify]: iteration  0 :  632  enodes  (cost  1619 )
2.028 * * [simplify]: iteration  1 :  3694  enodes  (cost  1378 )
2.104 * * [simplify]: iteration  2 :  5002  enodes  (cost  1363 )
2.110 * [simplify]: Simplified to:
   (exp (- 1 (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2))))
  (log (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2)))))
  (exp (- 1 (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2))))
  (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))))
  (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (pow (- 1 (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2))) 3)
  (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))
  (- 1 (pow (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) 3))
  (+ 1 (* (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) (+ (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) 1)))
  (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))
  (+ 1 (* (neg (pow (exp x) 4)) (pow (- (exp x) 2.0) 4)))
  (+ 1 (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (- 1 (* (pow (exp x) 3) (- (exp x) 2.0)))
  (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))
  (* x 2)
  (* x 2)
  2
  (* (cbrt x) 2)
  (* (sqrt x) 2)
  (* x 2)
  (pow (exp x) (* (cbrt 2) (cbrt 2)))
  (pow (exp x) (sqrt 2))
  (exp x)
  (pow (cbrt (exp x)) 4)
  (pow (cbrt (exp x)) 2)
  (exp x)
  (exp x)
  1
  (pow (exp x) 2)
  (* x 2)
  (exp (pow (exp x) 2))
  (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2)))
  (cbrt (pow (exp x) 2))
  (pow (pow (exp x) 2) 3)
  (fabs (exp x))
  (fabs (exp x))
  (exp x)
  (exp x)
  (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (log (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (log (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (log (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (pow E (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0)))))
  (pow (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0)))) 3)
  (pow (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0)))) 3)
  (* (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))) (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (cbrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (pow (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0)))) 3)
  (sqrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (sqrt (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ 1 (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))) (+ (pow (exp x) 3) (pow 2.0 3)))
  (* (- 1 (* (exp x) (- (exp x) 2.0))) (+ (* 2.0 (- 2.0 (exp x))) (pow (exp x) 2)))
  (* (+ 1 (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (- (exp x) 2.0) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (+ (exp x) 2.0)) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (* (cbrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (cbrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (sqrt (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (+ (exp x) 2.0) (/ (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (/ (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (* (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (cbrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))))) (+ (exp x) 2.0))
  (* (+ (exp x) 2.0) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))))))
  (* (+ (exp x) 2.0) (/ (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (sqrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (* (sqrt (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))) (+ (exp x) 2.0))
  (/ (+ (exp x) 2.0) (* (cbrt (- 1 (* (exp x) (- (exp x) 2.0)))) (cbrt (- 1 (* (exp x) (- (exp x) 2.0))))))
  (/ (+ (exp x) 2.0) (sqrt (- 1 (* (exp x) (- (exp x) 2.0)))))
  (+ (exp x) 2.0)
  (+ (exp x) 2.0)
  (* (+ 1 (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))) (+ (exp x) 2.0))
  (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (pow (* (exp x) (- (exp x) 2.0)) 3)))
  (+ (exp x) 2.0)
  (/ (* (cbrt (+ (exp x) 2.0)) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (/ (* (sqrt (+ (exp x) 2.0)) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (/ (* (+ (exp x) 2.0) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ 1 (* (neg (pow (exp x) 2)) (pow (- (exp x) 2.0) 2))) (+ (exp x) 2.0))
  (/ (* (+ (pow (exp x) 3) (pow 2.0 3)) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  (/ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ 1 (neg (* (pow (exp x) 2) (pow (- (exp x) 2.0) 2))))) (- 1 (* (exp x) (- (exp x) 2.0))))
  2
  (pow (- (exp x) 2.0) 2)
  2
  (* 2 (log (- (exp x) 2.0)))
  (* 2 (log (- (exp x) 2.0)))
  (exp (pow (- (exp x) 2.0) 2))
  (pow (pow (- (exp x) 2.0) 2) 3)
  (* (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0))) (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0))))
  (cbrt (* (- (exp x) 2.0) (- (exp x) 2.0)))
  (pow (pow (- (exp x) 2.0) 2) 3)
  (fabs (- (exp x) 2.0))
  (fabs (- (exp x) 2.0))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) (+ (pow (exp x) 2) (* 2.0 (+ 2.0 (exp x)))))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (+ (exp x) 2.0) (+ (pow (exp x) 2) (* 2.0 (+ 2.0 (exp x)))))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (- (* (exp x) (exp x)) (* 2.0 2.0)))
  (* (+ (exp x) 2.0) (+ (pow (exp x) 2) (* 2.0 (+ 2.0 (exp x)))))
  (* (* (+ (exp x) 2.0) (+ (exp x) 2.0)) (pow (- (exp x) 2.0) 2))
  (* (+ (exp x) 2.0) (+ (exp x) 2.0))
  (pow (cbrt (- (exp x) 2.0)) 4)
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (- (exp x) 2.0)
  (- (exp x) 2.0)
  1
  (pow (- (exp x) 2.0) 2)
  1
  (pow (- (exp x) 2.0) 2)
  (* (+ (sqrt (exp x)) (sqrt 2.0)) (+ (sqrt (exp x)) (sqrt 2.0)))
  (* (- (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)))
  1
  (pow (- (exp x) 2.0) 2)
  1
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
  2
  (* (- (exp x) 2.0) (exp x))
  (* 2.0 (- 2.0 (exp x)))
  (* (- (exp x) 2.0) (exp x))
  (* 2.0 (- 2.0 (exp x)))
  (* (- (exp x) 2.0) (exp x))
  (* 2.0 (- 2.0 (exp x)))
  (* (- (exp x) 2.0) (exp x))
  (* 2.0 (- 2.0 (exp x)))
  (* (- (exp x) 2.0) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))))
  (pow (sqrt (- (exp x) 2.0)) 3)
  (- (exp x) 2.0)
  (* (- (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)))
  (- (exp x) 2.0)
  (pow (cbrt (- (exp x) 2.0)) 4)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow (- (exp x) 2.0) 2)
  (* (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0))
  (pow (- (exp x) 2.0) 2)
  (* (- (exp x) 2.0) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (+ (exp x) 2.0) (pow (- (exp x) 2.0) 2))
  (* (- (exp x) 2.0) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (+ (exp x) 2.0) (pow (- (exp x) 2.0) 2))
  (+ (* 0.16666666666666785 (pow x 4)) (* 2.0 (+ (pow x 2) (pow x 3))))
  (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))))
  (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2))))
  (+ 1 (* 2 (+ (pow x 2) x)))
  (pow (exp x) 2)
  (pow (exp x) 2)
  (+ (* 3.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (* 3.2500000000000018 (pow x 4))))
  (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)))
  (/ (* (- (+ (* 4.0 (pow (exp x) 3)) 1) (+ (pow (exp x) 4) (* 4.0 (pow (exp x) 2)))) (+ (exp x) 2.0)) (- (+ (* 2.0 (exp x)) 1) (pow (exp x) 2)))
  (- (+ (* 0.6666666666666667 (pow x 3)) 1.0) (* 2.0 x))
  (pow (- (exp x) 2.0) 2)
  (pow (- (exp x) 2.0) 2)
2.111 * * * [progress]: adding candidates to table
2.397 * [progress]: [Phase 3 of 3] Extracting.
2.397 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (exp x))))> #<alt (λ (x) (/ (* (+ (exp x) 2.0) (exp (log (+ 1 (* (exp x) (- (exp x) 2.0)))))) (* (+ (exp x) 2.0) (exp x))))> #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (* (+ (exp x) 2.0) (/ (/ (- 1 (pow (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) 3)) (+ 1 (* (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) (+ (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) 1)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (exp x))))>)
2.399 * * * [regime-changes]: Trying 1 branch expressions: (x)
2.399 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (exp x))))> #<alt (λ (x) (/ (* (+ (exp x) 2.0) (exp (log (+ 1 (* (exp x) (- (exp x) 2.0)))))) (* (+ (exp x) 2.0) (exp x))))> #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (* (+ (exp x) 2.0) (/ (/ (- 1 (pow (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))) 3)) (+ 1 (* (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) (+ (* (pow (- (exp x) 2.0) 2) (pow (exp x) 2)) 1)))) (- 1 (* (exp x) (- (exp x) 2.0))))) (* (+ (exp x) 2.0) (exp x))))>)
2.416 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
2.417 * * [simplify]: iteration  0 :  17  enodes  (cost  7 )
2.418 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
2.418 * [simplify]: Simplified to:
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
5.226 * [regime-testing]: Baseline error score: 0.6781412152931873
5.226 * [regime-testing]: Oracle error score: 0.049301986474132704
5.227 * [regime-testing]: End program error score: 0.6781412152931873
5.257 * [regime-testing]: Target error score: 0.04600857138978307