2.448 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.022 * * [simplify]: iteration  0 :  40  enodes  (cost  17 )
0.022 * * [simplify]: iteration  1 :  40  enodes  (cost  17 )
0.022 * [simplify]: Simplified to:
   (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.022 * * [progress]: iteration 1 / 4
0.022 * * * [progress]: picking best candidate
0.024 * * * * [pick]: Picked  #<alt (λ (x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))>
0.024 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.042 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.048 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.059 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2)
0.064 * * * [progress]: generating series expansions
0.064 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.064 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.064 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.064 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.065 * [taylor]: Taking taylor expansion of 0.27061 in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 2.30753 in x
0.065 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.065 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.065 * [taylor]: Taking taylor expansion of 0.99229 in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.065 * [taylor]: Taking taylor expansion of 0.04481 in x
0.065 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.065 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.065 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.065 * [taylor]: Taking taylor expansion of 0.27061 in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 2.30753 in x
0.065 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.065 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.065 * [taylor]: Taking taylor expansion of 0.99229 in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.065 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.065 * [taylor]: Taking taylor expansion of 0.04481 in x
0.065 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.066 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in (x) around 0
0.066 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.066 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.066 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of 0.27061 in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of 2.30753 in x
0.066 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.066 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.066 * [taylor]: Taking taylor expansion of 0.04481 in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.067 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.067 * [taylor]: Taking taylor expansion of 0.99229 in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of 1.0 in x
0.067 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.067 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.067 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.067 * [taylor]: Taking taylor expansion of 0.27061 in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of 2.30753 in x
0.067 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.067 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.067 * [taylor]: Taking taylor expansion of 0.04481 in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.067 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.067 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.067 * [taylor]: Taking taylor expansion of 0.99229 in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of 1.0 in x
0.068 * [approximate]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in (x) around 0
0.068 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.068 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.068 * [taylor]: Taking taylor expansion of 2.30753 in x
0.068 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.068 * [taylor]: Taking taylor expansion of 0.27061 in x
0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.068 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.068 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.068 * [taylor]: Taking taylor expansion of 0.04481 in x
0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.068 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 1.0 in x
0.068 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.068 * [taylor]: Taking taylor expansion of 0.99229 in x
0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.069 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.069 * [taylor]: Taking taylor expansion of 2.30753 in x
0.069 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.069 * [taylor]: Taking taylor expansion of 0.27061 in x
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.069 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.069 * [taylor]: Taking taylor expansion of 0.04481 in x
0.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.069 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.069 * [taylor]: Taking taylor expansion of 0.99229 in x
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.070 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.070 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.070 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.070 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.070 * [taylor]: Taking taylor expansion of 0.04481 in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of 0.99229 in x
0.070 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.070 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.070 * [taylor]: Taking taylor expansion of 0.04481 in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of 0.99229 in x
0.072 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.072 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.072 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.072 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.072 * [taylor]: Taking taylor expansion of 0.04481 in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of 0.99229 in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.072 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.072 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.072 * [taylor]: Taking taylor expansion of 0.04481 in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of 0.99229 in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.074 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.074 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.074 * [taylor]: Taking taylor expansion of -1 in x
0.074 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.074 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.074 * [taylor]: Taking taylor expansion of 0.99229 in x
0.074 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.074 * [taylor]: Taking taylor expansion of 0.04481 in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.074 * [taylor]: Taking taylor expansion of -1 in x
0.074 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.074 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.074 * [taylor]: Taking taylor expansion of 0.99229 in x
0.074 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.074 * [taylor]: Taking taylor expansion of 0.04481 in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.076 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.077 * [approximate]: Taking taylor expansion of (- (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))))) x) in (x) around 0
0.077 * [taylor]: Taking taylor expansion of (- (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))))) x) in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))))) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) in x
0.077 * [taylor]: Taking taylor expansion of 0.27061 in x
0.077 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.077 * [taylor]: Taking taylor expansion of 0.99229 in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.077 * [taylor]: Taking taylor expansion of 0.04481 in x
0.077 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of 1.0 in x
0.077 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) in x
0.077 * [taylor]: Taking taylor expansion of 2.30753 in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.077 * [taylor]: Taking taylor expansion of 0.99229 in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.077 * [taylor]: Taking taylor expansion of 0.04481 in x
0.077 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of 1.0 in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (- (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))))) x) in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))))) in x
0.077 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) in x
0.077 * [taylor]: Taking taylor expansion of 0.27061 in x
0.077 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.078 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.078 * [taylor]: Taking taylor expansion of 0.99229 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.078 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.078 * [taylor]: Taking taylor expansion of 0.04481 in x
0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 1.0 in x
0.078 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) in x
0.078 * [taylor]: Taking taylor expansion of 2.30753 in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0))) in x
0.078 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.078 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.078 * [taylor]: Taking taylor expansion of 0.99229 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.078 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.078 * [taylor]: Taking taylor expansion of 0.04481 in x
0.078 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 1.0 in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.079 * [approximate]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))))) (/ 1 x)) in (x) around 0
0.079 * [taylor]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))))) (/ 1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))))) in x
0.079 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x
0.079 * [taylor]: Taking taylor expansion of 2.30753 in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.079 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.079 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.079 * [taylor]: Taking taylor expansion of 0.04481 in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.079 * [taylor]: Taking taylor expansion of 0.99229 in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of 1.0 in x
0.079 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x
0.079 * [taylor]: Taking taylor expansion of 0.27061 in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x
0.079 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.079 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.079 * [taylor]: Taking taylor expansion of 0.04481 in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.080 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.080 * [taylor]: Taking taylor expansion of 0.99229 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))))) (/ 1 x)) in x
0.080 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))))) in x
0.080 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x
0.080 * [taylor]: Taking taylor expansion of 2.30753 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.080 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.080 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.080 * [taylor]: Taking taylor expansion of 0.04481 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.080 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.080 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.080 * [taylor]: Taking taylor expansion of 0.99229 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x
0.080 * [taylor]: Taking taylor expansion of 0.27061 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x
0.080 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.080 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.080 * [taylor]: Taking taylor expansion of 0.04481 in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.080 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.081 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.081 * [taylor]: Taking taylor expansion of 0.99229 in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of 1.0 in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.082 * [approximate]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) (* 0.27061 (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))))) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) (* 0.27061 (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))))) in x
0.082 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x
0.082 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.082 * [taylor]: Taking taylor expansion of 2.30753 in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.082 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.082 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.082 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.082 * [taylor]: Taking taylor expansion of 0.04481 in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of 1.0 in x
0.082 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.082 * [taylor]: Taking taylor expansion of 0.99229 in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x
0.082 * [taylor]: Taking taylor expansion of 0.27061 in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.082 * [taylor]: Taking taylor expansion of (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.082 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.082 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.082 * [taylor]: Taking taylor expansion of 0.04481 in x
0.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.083 * [taylor]: Taking taylor expansion of 0.99229 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (- (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) (* 0.27061 (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))))) in x
0.083 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x
0.083 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.083 * [taylor]: Taking taylor expansion of 2.30753 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.083 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.083 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.083 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.083 * [taylor]: Taking taylor expansion of 0.04481 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.083 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.083 * [taylor]: Taking taylor expansion of 0.99229 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x
0.083 * [taylor]: Taking taylor expansion of 0.27061 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.083 * [taylor]: Taking taylor expansion of (* x (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.083 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.083 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.083 * [taylor]: Taking taylor expansion of 0.04481 in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.084 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of 1.0 in x
0.084 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.084 * [taylor]: Taking taylor expansion of 0.99229 in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.085 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2)
0.085 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0
0.085 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.085 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.085 * [taylor]: Taking taylor expansion of 0.04481 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of 0.99229 in x
0.085 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.085 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.085 * [taylor]: Taking taylor expansion of 0.04481 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of 0.99229 in x
0.085 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0
0.085 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.085 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.085 * [taylor]: Taking taylor expansion of 0.04481 in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 0.99229 in x
0.086 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.086 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.086 * [taylor]: Taking taylor expansion of 0.04481 in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 0.99229 in x
0.087 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0
0.087 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.087 * [taylor]: Taking taylor expansion of 0.99229 in x
0.087 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.087 * [taylor]: Taking taylor expansion of 0.04481 in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.087 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.087 * [taylor]: Taking taylor expansion of 0.99229 in x
0.087 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.087 * [taylor]: Taking taylor expansion of 0.04481 in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.088 * * * [progress]: simplifying candidates
0.092 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg (+ 2.30753 (* x 0.27061)))
  (neg (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061)))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ (log x) (log (+ 0.99229 (* x 0.04481))))
  (log (* x (+ 0.99229 (* x 0.04481))))
  (exp (* x (+ 0.99229 (* x 0.04481))))
  (* (* (* x x) x) (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))))
  (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481)))))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (* (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481))))
  (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481))))
  (* x 0.99229)
  (* x (* x 0.04481))
  (* 0.99229 x)
  (* (* x 0.04481) x)
  (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))))
  (* x (sqrt (+ 0.99229 (* x 0.04481))))
  (* x 1)
  (* (cbrt x) (+ 0.99229 (* x 0.04481)))
  (* (sqrt x) (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3)))
  (* x (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))))
  (/ (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp x))
  (log (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (* (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
  (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (* (* (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (- (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (pow x 3))
  (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
  (neg x)
  (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* x x))
  (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
  (+ (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (+ (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
  (neg x)
  (* (exp 0.99229) (exp (* x 0.04481)))
  (log (+ 0.99229 (* x 0.04481)))
  (exp (+ 0.99229 (* x 0.04481)))
  (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))
  (cbrt (+ 0.99229 (* x 0.04481)))
  (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (+ (pow 0.99229 3) (pow (* x 0.04481) 3))
  (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481))))
  (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481)))
  (- 0.99229 (* x 0.04481))
  (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x))
  (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2))))
  (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2))))
  (+ (* 0.99229 x) (* 0.04481 (pow x 2)))
  (+ (* 0.99229 x) (* 0.04481 (pow x 2)))
  (+ (* 0.99229 x) (* 0.04481 (pow x 2)))
  (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 3.0191289436999997 x))
  (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x))
  (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x))
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
0.120 * * [simplify]: iteration  0 :  5550  enodes  (cost  1456 )
0.125 * [simplify]: Simplified to:
   (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (- (neg 2.30753) (* x 0.27061))
  (- (neg 1.0) (* x (+ 0.99229 (* x 0.04481))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (+ 2.30753 (* x 0.27061))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* x (* x (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)))))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061)))
  (* x (+ 0.99229 (* x 0.04481)))
  (log (* x (+ 0.99229 (* x 0.04481))))
  (log (* x (+ 0.99229 (* x 0.04481))))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (pow (* x (+ 0.99229 (* x 0.04481))) 3)
  (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481)))))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (pow (* x (+ 0.99229 (* x 0.04481))) 3)
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481))))
  (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481))))
  (* x 0.99229)
  (* x (* x 0.04481))
  (* x 0.99229)
  (* x (* x 0.04481))
  (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))))
  (* x (sqrt (+ 0.99229 (* x 0.04481))))
  x
  (* (+ 0.99229 (* x 0.04481)) (cbrt x))
  (* (+ 0.99229 (* x 0.04481)) (sqrt x))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3)))
  (* x (- (* 0.99229 0.99229) (* x (* x (* 0.04481 0.04481)))))
  (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (log (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (* (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
  (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (pow (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) 3)
  (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
  (- (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (pow x 3))
  (+ (* x x) (* (+ 2.30753 (* x 0.27061)) (/ (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (neg x)
  (- (* (+ 2.30753 (* x 0.27061)) (/ (+ 2.30753 (* x 0.27061)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* x x))
  (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (+ (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (+ (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x))
  (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
  (neg x)
  (exp (+ 0.99229 (* x 0.04481)))
  (log (+ 0.99229 (* x 0.04481)))
  (exp (+ 0.99229 (* x 0.04481)))
  (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))
  (cbrt (+ 0.99229 (* x 0.04481)))
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (sqrt (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (+ (pow 0.99229 3) (pow (* x 0.04481) 3))
  (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229))))
  (- (* 0.99229 0.99229) (* x (* x (* 0.04481 0.04481))))
  (- 0.99229 (* x 0.04481))
  (+ 2.30753 (* x (- (* x 1.900161040244073) 2.0191289436999997)))
  (+ (/ 6.039053782637804 x) (- (/ 1686.279566230464 (pow x 3)) (/ 82.23527511657369 (* x x))))
  (+ (/ 6.039053782637804 x) (- (/ 1686.279566230464 (pow x 3)) (/ 82.23527511657369 (* x x))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ 2.30753 (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (- (/ 6.039053782637804 x) (+ x (/ 82.23527511657369 (* x x))))
  (- (/ 6.039053782637804 x) (+ x (/ 82.23527511657369 (* x x))))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
0.126 * * * [progress]: adding candidates to table
0.267 * * [progress]: iteration 2 / 4
0.267 * * * [progress]: picking best candidate
0.275 * * * * [pick]: Picked  #<alt (λ (x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) x))>
0.275 * * * [progress]: localizing error
0.291 * * * [progress]: generating rewritten candidates
0.291 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
0.295 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
0.300 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2)
0.314 * * * [progress]: generating series expansions
0.314 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
0.314 * [approximate]: Taking taylor expansion of (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) in (x) around 0
0.314 * [taylor]: Taking taylor expansion of (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) in x
0.314 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.314 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.314 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.314 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.314 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.314 * [taylor]: Taking taylor expansion of 0.04481 in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of 0.99229 in x
0.314 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.314 * [taylor]: Taking taylor expansion of (exp x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) in x
0.314 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.314 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.314 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.314 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.314 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.314 * [taylor]: Taking taylor expansion of 0.04481 in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of 0.99229 in x
0.315 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.315 * [taylor]: Taking taylor expansion of (exp x) in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.317 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) in (x) around 0
0.317 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) in x
0.317 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.317 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.317 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.317 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.317 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.317 * [taylor]: Taking taylor expansion of 0.04481 in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [taylor]: Taking taylor expansion of 0.99229 in x
0.317 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.317 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) in x
0.318 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.318 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.318 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.318 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.318 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.318 * [taylor]: Taking taylor expansion of 0.04481 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of 0.99229 in x
0.318 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) 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 x in x
0.324 * [approximate]: Taking taylor expansion of (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) in (x) around 0
0.324 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) in x
0.324 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.324 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.324 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.324 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.324 * [taylor]: Taking taylor expansion of 0.99229 in x
0.324 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.324 * [taylor]: Taking taylor expansion of 0.04481 in x
0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.324 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.325 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.325 * [taylor]: Taking taylor expansion of -1 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) in x
0.325 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.325 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.325 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.325 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.325 * [taylor]: Taking taylor expansion of 0.99229 in x
0.325 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.325 * [taylor]: Taking taylor expansion of 0.04481 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.325 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.325 * [taylor]: Taking taylor expansion of -1 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.332 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
0.332 * [approximate]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.332 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.332 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.332 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.332 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.332 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.332 * [taylor]: Taking taylor expansion of 0.04481 in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of 0.99229 in x
0.332 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.332 * [taylor]: Taking taylor expansion of (exp x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.332 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.332 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.332 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.332 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.332 * [taylor]: Taking taylor expansion of 0.04481 in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of 0.99229 in x
0.332 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.332 * [taylor]: Taking taylor expansion of (exp x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.334 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in (x) around 0
0.334 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.334 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.334 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.334 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.334 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.334 * [taylor]: Taking taylor expansion of 0.04481 in x
0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of 0.99229 in x
0.334 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.334 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.335 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.335 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.335 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.335 * [taylor]: Taking taylor expansion of 0.04481 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of 0.99229 in x
0.335 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.335 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in (x) around 0
0.335 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.335 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.336 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.336 * [taylor]: Taking taylor expansion of 0.99229 in x
0.336 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.336 * [taylor]: Taking taylor expansion of 0.04481 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.336 * [taylor]: Taking taylor expansion of -1 in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.336 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.336 * [taylor]: Taking taylor expansion of 0.99229 in x
0.336 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.336 * [taylor]: Taking taylor expansion of 0.04481 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.336 * [taylor]: Taking taylor expansion of -1 in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.337 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.337 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) 1.0)) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) 1.0)) in x
0.337 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.337 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.337 * [taylor]: Taking taylor expansion of 0.27061 in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of 2.30753 in x
0.337 * [taylor]: Taking taylor expansion of (+ (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) 1.0) in x
0.337 * [taylor]: Taking taylor expansion of (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) in x
0.337 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.337 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.337 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.337 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.337 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.337 * [taylor]: Taking taylor expansion of 0.04481 in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of 0.99229 in x
0.337 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.337 * [taylor]: Taking taylor expansion of (exp x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 1.0 in x
0.338 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) 1.0)) in x
0.338 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.338 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.338 * [taylor]: Taking taylor expansion of 0.27061 in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 2.30753 in x
0.338 * [taylor]: Taking taylor expansion of (+ (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) 1.0) in x
0.338 * [taylor]: Taking taylor expansion of (log (pow (exp x) (+ (* 0.04481 x) 0.99229))) in x
0.338 * [taylor]: Taking taylor expansion of (pow (exp x) (+ (* 0.04481 x) 0.99229)) in x
0.338 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 x) 0.99229) (log (exp x)))) in x
0.338 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 x) 0.99229) (log (exp x))) in x
0.338 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.338 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.338 * [taylor]: Taking taylor expansion of 0.04481 in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 0.99229 in x
0.338 * [taylor]: Taking taylor expansion of (log (exp x)) in x
0.338 * [taylor]: Taking taylor expansion of (exp x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 1.0 in x
0.346 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) 1.0)) in (x) around 0
0.346 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) 1.0)) in x
0.346 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.346 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of 0.27061 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of 2.30753 in x
0.346 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) 1.0) in x
0.346 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) in x
0.346 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.346 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.346 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.346 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.346 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of 0.04481 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of 0.99229 in x
0.346 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of 1.0 in x
0.347 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) 1.0)) in x
0.347 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.347 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of 0.27061 in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of 2.30753 in x
0.347 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) 1.0) in x
0.347 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229))) in x
0.347 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) (+ (* 0.04481 (/ 1 x)) 0.99229)) in x
0.347 * [taylor]: Taking taylor expansion of (exp (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x))))) in x
0.347 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 x)) 0.99229) (log (exp (/ 1 x)))) in x
0.347 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.347 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of 0.04481 in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of 0.99229 in x
0.347 * [taylor]: Taking taylor expansion of (log (exp (/ 1 x))) in x
0.347 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.348 * [taylor]: Taking taylor expansion of 1.0 in x
0.365 * [approximate]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (+ (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) 1.0)) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (+ (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) 1.0)) in x
0.365 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.365 * [taylor]: Taking taylor expansion of 2.30753 in x
0.365 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.365 * [taylor]: Taking taylor expansion of 0.27061 in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) in x
0.365 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.365 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.365 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.365 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.365 * [taylor]: Taking taylor expansion of 0.99229 in x
0.365 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.365 * [taylor]: Taking taylor expansion of 0.04481 in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.365 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.365 * [taylor]: Taking taylor expansion of -1 in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 1.0 in x
0.366 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (+ (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) 1.0)) in x
0.366 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.366 * [taylor]: Taking taylor expansion of 2.30753 in x
0.366 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of 0.27061 in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) 1.0) in x
0.366 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x))))) in x
0.366 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.366 * [taylor]: Taking taylor expansion of (exp (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x))))) in x
0.366 * [taylor]: Taking taylor expansion of (* (- 0.99229 (* 0.04481 (/ 1 x))) (log (exp (/ -1 x)))) in x
0.366 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.366 * [taylor]: Taking taylor expansion of 0.99229 in x
0.367 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.367 * [taylor]: Taking taylor expansion of 0.04481 in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (log (exp (/ -1 x))) in x
0.367 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.367 * [taylor]: Taking taylor expansion of -1 in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of 1.0 in x
0.389 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2)
0.389 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0
0.394 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.394 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.394 * [taylor]: Taking taylor expansion of 0.04481 in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of 0.99229 in x
0.395 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.395 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.395 * [taylor]: Taking taylor expansion of 0.04481 in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 0.99229 in x
0.395 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0
0.395 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.395 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.395 * [taylor]: Taking taylor expansion of 0.04481 in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 0.99229 in x
0.395 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.395 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.395 * [taylor]: Taking taylor expansion of 0.04481 in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 0.99229 in x
0.397 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0
0.397 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.397 * [taylor]: Taking taylor expansion of 0.99229 in x
0.397 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.397 * [taylor]: Taking taylor expansion of 0.04481 in x
0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.397 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.397 * [taylor]: Taking taylor expansion of 0.99229 in x
0.397 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.397 * [taylor]: Taking taylor expansion of 0.04481 in x
0.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.398 * * * [progress]: simplifying candidates
0.400 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (pow (exp x) 0.99229))
  (log (pow (exp x) (* x 0.04481)))
  (log (pow (* (cbrt (exp x)) (cbrt (exp x))) (+ 0.99229 (* x 0.04481))))
  (log (pow (cbrt (exp x)) (+ 0.99229 (* x 0.04481))))
  (log (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481))))
  (log (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481))))
  (log (pow 1 (+ 0.99229 (* x 0.04481))))
  (log (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (log (* (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))) (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (log (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log 1)
  (log (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (log (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2)))
  (log (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2)))
  (log (exp x))
  (log (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (exp (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (* (cbrt (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (cbrt (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (cbrt (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (* (* (log (pow (exp x) (+ 0.99229 (* x 0.04481)))) (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (sqrt (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (sqrt (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* (log (exp x)) (+ 0.99229 (* x 0.04481)))
  (* 1 (+ 0.99229 (* x 0.04481)))
  (* (cbrt x) (+ 0.99229 (* x 0.04481)))
  (* (sqrt x) (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (pow (exp x) (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))))
  (pow (exp x) (sqrt (+ 0.99229 (* x 0.04481))))
  (pow (exp x) 1)
  (pow (exp x) 0.99229)
  (pow (exp x) (* x 0.04481))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) (+ 0.99229 (* x 0.04481)))
  (pow (cbrt (exp x)) (+ 0.99229 (* x 0.04481)))
  (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481)))
  (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481)))
  (pow 1 (+ 0.99229 (* x 0.04481)))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (log (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (exp (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (* (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))) (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (* (* (pow (exp x) (+ 0.99229 (* x 0.04481))) (pow (exp x) (+ 0.99229 (* x 0.04481)))) (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2))
  (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2))
  (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (neg (+ 2.30753 (* x 0.27061)))
  (neg (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ 1 (* (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ 1 (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ 1 (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (/ (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (log (pow (exp x) (+ 0.99229 (* x 0.04481)))) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (log (pow (exp x) (+ 0.99229 (* x 0.04481)))) (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))))
  (* (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (* (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481))))) (- 2.30753 (* x 0.27061)))
  (* (exp 0.99229) (exp (* x 0.04481)))
  (log (+ 0.99229 (* x 0.04481)))
  (exp (+ 0.99229 (* x 0.04481)))
  (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))
  (cbrt (+ 0.99229 (* x 0.04481)))
  (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (+ (pow 0.99229 3) (pow (* x 0.04481) 3))
  (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481))))
  (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481)))
  (- 0.99229 (* x 0.04481))
  (+ (* 0.04481 (* x (log 1))) (+ (* 0.99229 x) (+ (* 0.04480999999999996 (pow x 2)) (log (pow 1 0.99229)))))
  (* x (+ (* 0.04481 x) 0.99229))
  (* x (+ (* 0.04481 x) 0.99229))
  (+ (* 0.99229 x) (+ (* 0.04481 (* x (log 1))) (+ (* 0.53712972205 (pow x 2)) (+ (* 0.00100396805 (* (pow x 2) (pow (log 1) 2))) (+ (* 0.0444645149 (* (pow x 2) (log 1))) (pow 1 0.99229))))))
  (exp (* x (+ (* 0.04481 x) 0.99229)))
  (exp (* x (+ (* 0.04481 x) 0.99229)))
  (- (+ (* 0.004633372788833001 (/ (* (pow x 2) (pow (log 1) 2)) (* (+ 1.0 (log (pow 1 0.99229))) (pow (+ (log (pow 1 0.99229)) 1.0) 2)))) (+ (* 2.30753 (/ 1 (+ (log (pow 1 0.99229)) 1.0))) (+ (* 2.2720850564440727 (/ (pow x 2) (* (+ 1.0 (log (pow 1 0.99229))) (pow (+ (log (pow 1 0.99229)) 1.0) 2)))) (+ (* 0.27061 (/ x (+ (log (pow 1 0.99229)) 1.0))) (* 0.205206404134394 (/ (* (pow x 2) (log 1)) (* (+ 1.0 (log (pow 1 0.99229))) (pow (+ (log (pow 1 0.99229)) 1.0) 2)))))))) (+ (* 2.2897389436999998 (/ x (* (+ 1.0 (log (pow 1 0.99229))) (+ (log (pow 1 0.99229)) 1.0)))) (+ (* 0.1034004193 (/ (* x (log 1)) (* (+ 1.0 (log (pow 1 0.99229))) (+ (log (pow 1 0.99229)) 1.0)))) (+ (* 0.012126034100000002 (/ (* (pow x 2) (log 1)) (* (+ 1.0 (log (pow 1 0.99229))) (+ (log (pow 1 0.99229)) 1.0)))) (* 0.37192401619999993 (/ (pow x 2) (* (+ 1.0 (log (pow 1 0.99229))) (+ (log (pow 1 0.99229)) 1.0))))))))
  (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))))
  (+ (* 0.27061 (/ x (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))) (* 2.30753 (/ 1 (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)))))
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
0.418 * * [simplify]: iteration  0 :  5058  enodes  (cost  1518 )
0.424 * [simplify]: Simplified to:
   (* x 0.99229)
  (* x (* x 0.04481))
  (* (+ 0.99229 (* x 0.04481)) (* 2 (log (cbrt (exp x)))))
  (* (+ 0.99229 (* x 0.04481)) (log (cbrt (exp x))))
  (* x (/ (+ 0.99229 (* x 0.04481)) 2))
  (* x (/ (+ 0.99229 (* x 0.04481)) 2))
  (log 1)
  (* x (+ 0.99229 (* x 0.04481)))
  (* 2 (log (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481))))))
  (log (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (log 1)
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (/ (+ 0.99229 (* x 0.04481)) 2))
  (* x (/ (+ 0.99229 (* x 0.04481)) 2))
  x
  (log (* x (+ 0.99229 (* x 0.04481))))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481)))))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (pow (* x (+ 0.99229 (* x 0.04481))) 3)
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ 0.99229 (* x 0.04481))
  (* (+ 0.99229 (* x 0.04481)) (cbrt x))
  (* (+ 0.99229 (* x 0.04481)) (sqrt x))
  (* x (+ 0.99229 (* x 0.04481)))
  (pow (exp x) (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))))
  (pow (exp x) (sqrt (+ 0.99229 (* x 0.04481))))
  (exp x)
  (pow (exp x) 0.99229)
  (pow (exp x) (* x 0.04481))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) (+ 0.99229 (* x 0.04481)))
  (pow (cbrt (exp x)) (+ 0.99229 (* x 0.04481)))
  (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481)))
  (pow (sqrt (exp x)) (+ 0.99229 (* x 0.04481)))
  1
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (exp (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (* (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))) (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481)))))
  (cbrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (pow (pow (exp x) (+ 0.99229 (* x 0.04481))) 3)
  (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (sqrt (pow (exp x) (+ 0.99229 (* x 0.04481))))
  (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2))
  (pow (exp x) (/ (+ 0.99229 (* x 0.04481)) 2))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) 3)
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) 3)
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (- (neg 2.30753) (* x 0.27061))
  (- (neg 1.0) (* x (+ 0.99229 (* x 0.04481))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ 1 (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ 1 (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ 1 (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow (* x (+ 0.99229 (* x 0.04481))) 3) (pow 1.0 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* x (* (+ 0.99229 (* x 0.04481)) (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (- 2.30753 (* x 0.27061)))
  (exp (+ 0.99229 (* x 0.04481)))
  (log (+ 0.99229 (* x 0.04481)))
  (exp (+ 0.99229 (* x 0.04481)))
  (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))
  (cbrt (+ 0.99229 (* x 0.04481)))
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (sqrt (+ 0.99229 (* x 0.04481)))
  (sqrt (+ 0.99229 (* x 0.04481)))
  (+ (pow 0.99229 3) (pow (* x 0.04481) 3))
  (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229))))
  (- (* 0.99229 0.99229) (* x (* 0.04481 (* x 0.04481))))
  (- 0.99229 (* x 0.04481))
  (+ (log 1) (* x (+ 0.99229 (* x 0.04480999999999996))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ (* x 0.99229) (+ (+ 1 (* (* x x) (+ (* (pow (log 1) 2) 0.00100396805) (* (log 1) 0.0444645149)))) (* x (+ (* 0.04481 (log 1)) (* x 0.53712972205)))))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  (+ (* 0.004633372788833001 (* (/ x (/ (pow (+ (log 1) 1.0) 3) x)) (pow (log 1) 2))) (+ (/ 2.30753 (+ (log 1) 1.0)) (- (+ (* 2.2720850564440727 (/ x (/ (pow (+ (log 1) 1.0) 3) x))) (+ (* 0.27061 (/ x (+ (log 1) 1.0))) (* 0.205206404134394 (* (/ x (/ (pow (+ (log 1) 1.0) 3) x)) (log 1))))) (+ (* 2.2897389436999998 (/ x (pow (+ (log 1) 1.0) 2))) (+ (* 0.37192401619999993 (/ x (/ (pow (+ (log 1) 1.0) 2) x))) (* (/ (log 1) (+ (log 1) 1.0)) (+ (* 0.1034004193 (/ x (+ (log 1) 1.0))) (* 0.012126034100000002 (/ x (/ (+ (log 1) 1.0) x))))))))))
  (+ (* 0.27061 (/ x (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (/ 2.30753 (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (+ (* 0.27061 (/ x (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (/ 2.30753 (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
0.425 * * * [progress]: adding candidates to table
0.586 * * [progress]: iteration 3 / 4
0.586 * * * [progress]: picking best candidate
0.593 * * * * [pick]: Picked  #<alt (λ (x) (- (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) x))>
0.593 * * * [progress]: localizing error
0.613 * * * [progress]: generating rewritten candidates
0.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.632 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2)
0.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.646 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2)
0.657 * * * [progress]: generating series expansions
0.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.657 * [approximate]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (pow x 3)) 12.286892763167774) (* (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x)))) in (x) around 0
0.657 * [taylor]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (pow x 3)) 12.286892763167774) (* (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x)))) in x
0.657 * [taylor]: Taking taylor expansion of (+ (* 0.019816708627981003 (pow x 3)) 12.286892763167774) in x
0.657 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (pow x 3)) in x
0.658 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.658 * [taylor]: Taking taylor expansion of (* (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x))) in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.658 * [taylor]: Taking taylor expansion of 0.99229 in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.658 * [taylor]: Taking taylor expansion of 0.04481 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 1.0 in x
0.658 * [taylor]: Taking taylor expansion of (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x)) in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.0732297721 (pow x 2)) in x
0.658 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.658 * [taylor]: Taking taylor expansion of (* 0.6244406933 x) in x
0.658 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (pow x 3)) 12.286892763167774) (* (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.019816708627981003 (pow x 3)) 12.286892763167774) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (pow x 3)) in x
0.658 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.658 * [taylor]: Taking taylor expansion of (* (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x))) in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.658 * [taylor]: Taking taylor expansion of 0.99229 in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) 1.0) in x
0.658 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.658 * [taylor]: Taking taylor expansion of 0.04481 in x
0.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 1.0 in x
0.658 * [taylor]: Taking taylor expansion of (- (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) (* 0.6244406933 x)) in x
0.658 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (pow x 2)) 5.324694700899999) in x
0.659 * [taylor]: Taking taylor expansion of (* 0.0732297721 (pow x 2)) in x
0.659 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.659 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.659 * [taylor]: Taking taylor expansion of (* 0.6244406933 x) in x
0.659 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.660 * [approximate]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (/ 1 (pow x 3))) 12.286892763167774) (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x))))) in (x) around 0
0.660 * [taylor]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (/ 1 (pow x 3))) 12.286892763167774) (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x))))) in x
0.660 * [taylor]: Taking taylor expansion of (+ (* 0.019816708627981003 (/ 1 (pow x 3))) 12.286892763167774) in x
0.660 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (/ 1 (pow x 3))) in x
0.660 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.660 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.660 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x)))) in x
0.660 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.660 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.660 * [taylor]: Taking taylor expansion of 0.04481 in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.660 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.660 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.660 * [taylor]: Taking taylor expansion of 0.99229 in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of 1.0 in x
0.660 * [taylor]: Taking taylor expansion of (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x))) in x
0.660 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) in x
0.660 * [taylor]: Taking taylor expansion of (* 0.0732297721 (/ 1 (pow x 2))) in x
0.660 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.660 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.660 * [taylor]: Taking taylor expansion of (* 0.6244406933 (/ 1 x)) in x
0.660 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (/ (+ (* 0.019816708627981003 (/ 1 (pow x 3))) 12.286892763167774) (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x))))) in x
0.661 * [taylor]: Taking taylor expansion of (+ (* 0.019816708627981003 (/ 1 (pow x 3))) 12.286892763167774) in x
0.661 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (/ 1 (pow x 3))) in x
0.661 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.661 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.661 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x)))) in x
0.661 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.661 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.661 * [taylor]: Taking taylor expansion of 0.04481 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.661 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.661 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.661 * [taylor]: Taking taylor expansion of 0.99229 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of 1.0 in x
0.661 * [taylor]: Taking taylor expansion of (- (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) (* 0.6244406933 (/ 1 x))) in x
0.661 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (/ 1 (pow x 2))) 5.324694700899999) in x
0.661 * [taylor]: Taking taylor expansion of (* 0.0732297721 (/ 1 (pow x 2))) in x
0.661 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.661 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.661 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.661 * [taylor]: Taking taylor expansion of (* 0.6244406933 (/ 1 x)) in x
0.661 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.663 * [approximate]: Taking taylor expansion of (/ (- 12.286892763167774 (* 0.019816708627981003 (/ 1 (pow x 3)))) (* (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in (x) around 0
0.663 * [taylor]: Taking taylor expansion of (/ (- 12.286892763167774 (* 0.019816708627981003 (/ 1 (pow x 3)))) (* (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.663 * [taylor]: Taking taylor expansion of (- 12.286892763167774 (* 0.019816708627981003 (/ 1 (pow x 3)))) in x
0.663 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.663 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (/ 1 (pow x 3))) in x
0.663 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.663 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (* (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.663 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) in x
0.663 * [taylor]: Taking taylor expansion of (* 0.0732297721 (/ 1 (pow x 2))) in x
0.663 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.663 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999) in x
0.663 * [taylor]: Taking taylor expansion of (* 0.6244406933 (/ 1 x)) in x
0.663 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.664 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.664 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.664 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.664 * [taylor]: Taking taylor expansion of 0.04481 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.664 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of 1.0 in x
0.664 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.664 * [taylor]: Taking taylor expansion of 0.99229 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (/ (- 12.286892763167774 (* 0.019816708627981003 (/ 1 (pow x 3)))) (* (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x
0.664 * [taylor]: Taking taylor expansion of (- 12.286892763167774 (* 0.019816708627981003 (/ 1 (pow x 3)))) in x
0.664 * [taylor]: Taking taylor expansion of 12.286892763167774 in x
0.664 * [taylor]: Taking taylor expansion of (* 0.019816708627981003 (/ 1 (pow x 3))) in x
0.664 * [taylor]: Taking taylor expansion of 0.019816708627981003 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.664 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (* (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.664 * [taylor]: Taking taylor expansion of (+ (* 0.0732297721 (/ 1 (pow x 2))) (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999)) in x
0.664 * [taylor]: Taking taylor expansion of (* 0.0732297721 (/ 1 (pow x 2))) in x
0.664 * [taylor]: Taking taylor expansion of 0.0732297721 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.664 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of (+ (* 0.6244406933 (/ 1 x)) 5.324694700899999) in x
0.664 * [taylor]: Taking taylor expansion of (* 0.6244406933 (/ 1 x)) in x
0.664 * [taylor]: Taking taylor expansion of 0.6244406933 in x
0.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of 5.324694700899999 in x
0.664 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.664 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.664 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.664 * [taylor]: Taking taylor expansion of 0.04481 in x
0.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of 1.0 in x
0.665 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.665 * [taylor]: Taking taylor expansion of 0.99229 in x
0.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.666 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2)
0.666 * [approximate]: Taking taylor expansion of (* 0.27061 (* (- (* 0.27061 x) 2.30753) x)) in (x) around 0
0.666 * [taylor]: Taking taylor expansion of (* 0.27061 (* (- (* 0.27061 x) 2.30753) x)) in x
0.666 * [taylor]: Taking taylor expansion of 0.27061 in x
0.666 * [taylor]: Taking taylor expansion of (* (- (* 0.27061 x) 2.30753) x) in x
0.666 * [taylor]: Taking taylor expansion of (- (* 0.27061 x) 2.30753) in x
0.666 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.666 * [taylor]: Taking taylor expansion of 0.27061 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [taylor]: Taking taylor expansion of 2.30753 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [taylor]: Taking taylor expansion of (* 0.27061 (* (- (* 0.27061 x) 2.30753) x)) in x
0.666 * [taylor]: Taking taylor expansion of 0.27061 in x
0.666 * [taylor]: Taking taylor expansion of (* (- (* 0.27061 x) 2.30753) x) in x
0.666 * [taylor]: Taking taylor expansion of (- (* 0.27061 x) 2.30753) in x
0.666 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.666 * [taylor]: Taking taylor expansion of 0.27061 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [taylor]: Taking taylor expansion of 2.30753 in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.668 * [approximate]: Taking taylor expansion of (* 0.27061 (/ (- (* 0.27061 (/ 1 x)) 2.30753) x)) in (x) around 0
0.668 * [taylor]: Taking taylor expansion of (* 0.27061 (/ (- (* 0.27061 (/ 1 x)) 2.30753) x)) in x
0.668 * [taylor]: Taking taylor expansion of 0.27061 in x
0.668 * [taylor]: Taking taylor expansion of (/ (- (* 0.27061 (/ 1 x)) 2.30753) x) in x
0.668 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 x)) 2.30753) in x
0.668 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.668 * [taylor]: Taking taylor expansion of 0.27061 in x
0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of 2.30753 in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (* 0.27061 (/ (- (* 0.27061 (/ 1 x)) 2.30753) x)) in x
0.669 * [taylor]: Taking taylor expansion of 0.27061 in x
0.669 * [taylor]: Taking taylor expansion of (/ (- (* 0.27061 (/ 1 x)) 2.30753) x) in x
0.669 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 x)) 2.30753) in x
0.669 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.669 * [taylor]: Taking taylor expansion of 0.27061 in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of 2.30753 in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.671 * [approximate]: Taking taylor expansion of (* 0.27061 (/ (+ (* 0.27061 (/ 1 x)) 2.30753) x)) in (x) around 0
0.671 * [taylor]: Taking taylor expansion of (* 0.27061 (/ (+ (* 0.27061 (/ 1 x)) 2.30753) x)) in x
0.671 * [taylor]: Taking taylor expansion of 0.27061 in x
0.671 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) x) in x
0.671 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.671 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of 0.27061 in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of 2.30753 in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (* 0.27061 (/ (+ (* 0.27061 (/ 1 x)) 2.30753) x)) in x
0.671 * [taylor]: Taking taylor expansion of 0.27061 in x
0.671 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) x) in x
0.671 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.671 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of 0.27061 in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of 2.30753 in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.674 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.674 * [approximate]: Taking taylor expansion of (pow (* 0.27061 x) 3) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (pow (* 0.27061 x) 3) in x
0.674 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.674 * [taylor]: Taking taylor expansion of 0.27061 in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [taylor]: Taking taylor expansion of (pow (* 0.27061 x) 3) in x
0.674 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.674 * [taylor]: Taking taylor expansion of 0.27061 in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [approximate]: Taking taylor expansion of (pow (/ 0.27061 x) 3) in (x) around 0
0.675 * [taylor]: Taking taylor expansion of (pow (/ 0.27061 x) 3) in x
0.675 * [taylor]: Taking taylor expansion of (/ 0.27061 x) in x
0.675 * [taylor]: Taking taylor expansion of 0.27061 in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (pow (/ 0.27061 x) 3) in x
0.675 * [taylor]: Taking taylor expansion of (/ 0.27061 x) in x
0.675 * [taylor]: Taking taylor expansion of 0.27061 in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.677 * [approximate]: Taking taylor expansion of (pow (/ -0.27061 x) 3) in (x) around 0
0.677 * [taylor]: Taking taylor expansion of (pow (/ -0.27061 x) 3) in x
0.677 * [taylor]: Taking taylor expansion of (/ -0.27061 x) in x
0.677 * [taylor]: Taking taylor expansion of -0.27061 in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.677 * [taylor]: Taking taylor expansion of (pow (/ -0.27061 x) 3) in x
0.677 * [taylor]: Taking taylor expansion of (/ -0.27061 x) in x
0.677 * [taylor]: Taking taylor expansion of -0.27061 in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.680 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2)
0.681 * [approximate]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 x) 2.30753)) in (x) around 0
0.681 * [taylor]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 x) 2.30753)) in x
0.681 * [taylor]: Taking taylor expansion of 0.27061 in x
0.681 * [taylor]: Taking taylor expansion of (- (* 0.27061 x) 2.30753) in x
0.681 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.681 * [taylor]: Taking taylor expansion of 0.27061 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of 2.30753 in x
0.681 * [taylor]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 x) 2.30753)) in x
0.681 * [taylor]: Taking taylor expansion of 0.27061 in x
0.681 * [taylor]: Taking taylor expansion of (- (* 0.27061 x) 2.30753) in x
0.681 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.681 * [taylor]: Taking taylor expansion of 0.27061 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of 2.30753 in x
0.682 * [approximate]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 (/ 1 x)) 2.30753)) in (x) around 0
0.682 * [taylor]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 (/ 1 x)) 2.30753)) in x
0.682 * [taylor]: Taking taylor expansion of 0.27061 in x
0.682 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 x)) 2.30753) in x
0.682 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of 0.27061 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of 2.30753 in x
0.682 * [taylor]: Taking taylor expansion of (* 0.27061 (- (* 0.27061 (/ 1 x)) 2.30753)) in x
0.682 * [taylor]: Taking taylor expansion of 0.27061 in x
0.682 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 x)) 2.30753) in x
0.682 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of 0.27061 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of 2.30753 in x
0.684 * [approximate]: Taking taylor expansion of (* -0.27061 (+ (* 0.27061 (/ 1 x)) 2.30753)) in (x) around 0
0.684 * [taylor]: Taking taylor expansion of (* -0.27061 (+ (* 0.27061 (/ 1 x)) 2.30753)) in x
0.684 * [taylor]: Taking taylor expansion of -0.27061 in x
0.684 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.684 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.684 * [taylor]: Taking taylor expansion of 0.27061 in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of 2.30753 in x
0.684 * [taylor]: Taking taylor expansion of (* -0.27061 (+ (* 0.27061 (/ 1 x)) 2.30753)) in x
0.684 * [taylor]: Taking taylor expansion of -0.27061 in x
0.684 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.684 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.684 * [taylor]: Taking taylor expansion of 0.27061 in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of 2.30753 in x
0.686 * * * [progress]: simplifying candidates
0.688 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (- (log (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (log (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (log (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (exp (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (/ (* (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (* (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (* (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (/ (* (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (* (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (* (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))) (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))))
  (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (* (* (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))) (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (sqrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (sqrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (neg (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))
  (neg (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (/ (* (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ 2.30753 (* x 0.27061)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ 2.30753 (* x 0.27061)))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))
  (/ (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (+ (pow (* 2.30753 2.30753) 3) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (- (* (* 2.30753 2.30753) (* 2.30753 2.30753)) (* (* x (* 0.27061 (- (* x 0.27061) 2.30753))) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))) (+ (pow (* 2.30753 2.30753) 3) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))) (- (* (* 2.30753 2.30753) (* 2.30753 2.30753)) (* (* x (* 0.27061 (- (* x 0.27061) 2.30753))) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow (* 2.30753 2.30753) 3) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* (* 2.30753 2.30753) (* 2.30753 2.30753)) (* (* x (* 0.27061 (- (* x 0.27061) 2.30753))) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (+ (* (pow 2.30753 3) (pow 2.30753 3)) (- (* (pow (* x 0.27061) 3) (pow (* x 0.27061) 3)) (* (pow 2.30753 3) (pow (* x 0.27061) 3)))))
  (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))) (- (pow 2.30753 3) (pow (* x 0.27061) 3)))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (+ (log x) (+ (log 0.27061) (log (- (* x 0.27061) 2.30753))))
  (+ (log x) (log (* 0.27061 (- (* x 0.27061) 2.30753))))
  (log (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (exp (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (* (* (* x x) x) (* (* (* 0.27061 0.27061) 0.27061) (* (* (- (* x 0.27061) 2.30753) (- (* x 0.27061) 2.30753)) (- (* x 0.27061) 2.30753))))
  (* (* (* x x) x) (* (* (* 0.27061 (- (* x 0.27061) 2.30753)) (* 0.27061 (- (* x 0.27061) 2.30753))) (* 0.27061 (- (* x 0.27061) 2.30753))))
  (* (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (* (* (* x (* 0.27061 (- (* x 0.27061) 2.30753))) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (sqrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (sqrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (* x (* 0.27061 (* x 0.27061)))
  (* x (* 0.27061 (neg 2.30753)))
  (* x (* 0.27061 (* x 0.27061)))
  (* x (* 0.27061 (neg 2.30753)))
  (* x (* (* x 0.27061) 0.27061))
  (* x (* (neg 2.30753) 0.27061))
  (* x (* (* x 0.27061) 0.27061))
  (* x (* (neg 2.30753) 0.27061))
  (* (* 0.27061 (* x 0.27061)) x)
  (* (* 0.27061 (neg 2.30753)) x)
  (* (* 0.27061 (* x 0.27061)) x)
  (* (* 0.27061 (neg 2.30753)) x)
  (* (* (* x 0.27061) 0.27061) x)
  (* (* (neg 2.30753) 0.27061) x)
  (* (* (* x 0.27061) 0.27061) x)
  (* (* (neg 2.30753) 0.27061) x)
  (* x 0.27061)
  (* (cbrt x) (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* (sqrt x) (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 (- (pow (* x 0.27061) 3) (pow 2.30753 3))))
  (* x (* 0.27061 (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 2.30753))))
  (* (+ (log x) (log 0.27061)) 3)
  (* (log (* x 0.27061)) 3)
  (* (log (* x 0.27061)) 3)
  (* 1 3)
  (* 1 3)
  (pow (* x 0.27061) (* (cbrt 3) (cbrt 3)))
  (pow (* x 0.27061) (sqrt 3))
  (pow (* x 0.27061) 1)
  (pow x 3)
  (pow 0.27061 3)
  (* (* x 0.27061) (* x 0.27061))
  (log (pow (* x 0.27061) 3))
  (exp (pow (* x 0.27061) 3))
  (* (cbrt (pow (* x 0.27061) 3)) (cbrt (pow (* x 0.27061) 3)))
  (cbrt (pow (* x 0.27061) 3))
  (* (* (pow (* x 0.27061) 3) (pow (* x 0.27061) 3)) (pow (* x 0.27061) 3))
  (pow x 3)
  (pow 0.27061 3)
  (* (* x 0.27061) (* x 0.27061))
  (sqrt (pow (* x 0.27061) 3))
  (sqrt (pow (* x 0.27061) 3))
  (pow (* x 0.27061) (/ 3 2))
  (pow (* x 0.27061) (/ 3 2))
  (* 0.27061 (- (* x 0.27061) 2.30753))
  (+ (log 0.27061) (log (- (* x 0.27061) 2.30753)))
  (log (* 0.27061 (- (* x 0.27061) 2.30753)))
  (exp (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* (* (* 0.27061 0.27061) 0.27061) (* (* (- (* x 0.27061) 2.30753) (- (* x 0.27061) 2.30753)) (- (* x 0.27061) 2.30753)))
  (* (cbrt (* 0.27061 (- (* x 0.27061) 2.30753))) (cbrt (* 0.27061 (- (* x 0.27061) 2.30753))))
  (cbrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* (* (* 0.27061 (- (* x 0.27061) 2.30753)) (* 0.27061 (- (* x 0.27061) 2.30753))) (* 0.27061 (- (* x 0.27061) 2.30753)))
  (sqrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (sqrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* (sqrt 0.27061) (sqrt (- (* x 0.27061) 2.30753)))
  (* (sqrt 0.27061) (sqrt (- (* x 0.27061) 2.30753)))
  (* 0.27061 (* x 0.27061))
  (* 0.27061 (neg 2.30753))
  (* 0.27061 (* x 0.27061))
  (* 0.27061 (neg 2.30753))
  (* (* x 0.27061) 0.27061)
  (* (neg 2.30753) 0.27061)
  (* (* x 0.27061) 0.27061)
  (* (neg 2.30753) 0.27061)
  (* 0.27061 (* (cbrt (- (* x 0.27061) 2.30753)) (cbrt (- (* x 0.27061) 2.30753))))
  (* 0.27061 (sqrt (- (* x 0.27061) 2.30753)))
  (* 0.27061 1)
  (* (cbrt 0.27061) (- (* x 0.27061) 2.30753))
  (* (sqrt 0.27061) (- (* x 0.27061) 2.30753))
  (* 0.27061 (- (* x 0.27061) 2.30753))
  (* 0.27061 (- (pow (* x 0.27061) 3) (pow 2.30753 3)))
  (* 0.27061 (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 2.30753)))
  (- (+ (* 1.9001610402440734 (pow x 2)) 2.30753) (* 2.0191289437 x))
  (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.2795662304645 (/ 1 (pow x 3)))) (* 82.2352751165737 (/ 1 (pow x 2))))
  (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.2795662304645 (/ 1 (pow x 3)))) (* 82.2352751165737 (/ 1 (pow x 2))))
  (- (* 0.0732297721 (pow x 2)) (* 0.6244406933 x))
  (- (* 0.0732297721 (pow x 2)) (* 0.6244406933 x))
  (- (* 0.0732297721 (pow x 2)) (* 0.6244406933 x))
  (* 0.019816708627981003 (pow x 3))
  (* 0.019816708627981003 (pow x 3))
  (* 0.019816708627981003 (pow x 3))
  (- (* 0.0732297721 x) 0.6244406933)
  (- (* 0.0732297721 x) 0.6244406933)
  (- (* 0.0732297721 x) 0.6244406933)
0.710 * * [simplify]: iteration  0 :  5004  enodes  (cost  2007 )
0.717 * [simplify]: Simplified to:
   (log (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (log (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (log (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (exp (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (pow (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) 3)
  (pow (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) 3)
  (* (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))) (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))))
  (cbrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (pow (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) 3)
  (sqrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (sqrt (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (- (neg (pow 2.30753 3)) (pow (* x 0.27061) 3))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (neg (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (* (/ (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ 2.30753 (* x 0.27061)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ 1 (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753))))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ (pow 2.30753 3) (pow (* x 0.27061) 3)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (+ (pow 2.30753 6) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (- (pow 2.30753 4) (* (pow (* x 0.27061) 2) (* (- (* x 0.27061) 2.30753) (- (* x 0.27061) 2.30753))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (* (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 6) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (* (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (pow 2.30753 4) (* (pow (* x 0.27061) 2) (* (- (* x 0.27061) 2.30753) (- (* x 0.27061) 2.30753)))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 6) (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (pow 2.30753 4) (* (pow (* x 0.27061) 2) (* (- (* x 0.27061) 2.30753) (- (* x 0.27061) 2.30753))))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (* (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (* (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (+ (pow 2.30753 6) (- (pow (* x 0.27061) 6) (* (pow 2.30753 3) (pow (* x 0.27061) 3))))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (* (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (- (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (log (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (log (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (log (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (pow (pow (exp 0.27061) (- (* x 0.27061) 2.30753)) x)
  (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3)
  (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3)
  (* (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753)))) (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (cbrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (pow (* x (* 0.27061 (- (* x 0.27061) 2.30753))) 3)
  (sqrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (sqrt (* x (* 0.27061 (- (* x 0.27061) 2.30753))))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (pow (* x 0.27061) 2)
  (* 2.30753 (* x (neg 0.27061)))
  (* x 0.27061)
  (* 0.27061 (* (- (* x 0.27061) 2.30753) (cbrt x)))
  (* 0.27061 (* (- (* x 0.27061) 2.30753) (sqrt x)))
  (* x (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 (- (pow (* x 0.27061) 3) (pow 2.30753 3))))
  (* x (* 0.27061 (- (pow (* x 0.27061) 2) (* 2.30753 2.30753))))
  (* 3 (log (* x 0.27061)))
  (* 3 (log (* x 0.27061)))
  (* 3 (log (* x 0.27061)))
  3
  3
  (pow (* x 0.27061) (* (cbrt 3) (cbrt 3)))
  (pow (* x 0.27061) (sqrt 3))
  (* x 0.27061)
  (pow x 3)
  (pow 0.27061 3)
  (pow (* x 0.27061) 2)
  (* 3 (log (* x 0.27061)))
  (exp (pow (* x 0.27061) 3))
  (pow (* x 0.27061) 2)
  (* x 0.27061)
  (pow (pow (* x 0.27061) 3) 3)
  (pow x 3)
  (pow 0.27061 3)
  (pow (* x 0.27061) 2)
  (sqrt (pow (* x 0.27061) 3))
  (sqrt (pow (* x 0.27061) 3))
  (pow (* x 0.27061) 3/2)
  (pow (* x 0.27061) 3/2)
  (* 0.27061 (- (* x 0.27061) 2.30753))
  (log (* 0.27061 (- (* x 0.27061) 2.30753)))
  (log (* 0.27061 (- (* x 0.27061) 2.30753)))
  (pow (exp 0.27061) (- (* x 0.27061) 2.30753))
  (pow (* 0.27061 (- (* x 0.27061) 2.30753)) 3)
  (* (cbrt (* 0.27061 (- (* x 0.27061) 2.30753))) (cbrt (* 0.27061 (- (* x 0.27061) 2.30753))))
  (cbrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (pow (* 0.27061 (- (* x 0.27061) 2.30753)) 3)
  (sqrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (sqrt (* 0.27061 (- (* x 0.27061) 2.30753)))
  (* (sqrt 0.27061) (sqrt (- (* x 0.27061) 2.30753)))
  (* (sqrt 0.27061) (sqrt (- (* x 0.27061) 2.30753)))
  (* x (* 0.27061 0.27061))
  (* 2.30753 (neg 0.27061))
  (* x (* 0.27061 0.27061))
  (* 2.30753 (neg 0.27061))
  (* x (* 0.27061 0.27061))
  (* 2.30753 (neg 0.27061))
  (* x (* 0.27061 0.27061))
  (* 2.30753 (neg 0.27061))
  (* 0.27061 (* (cbrt (- (* x 0.27061) 2.30753)) (cbrt (- (* x 0.27061) 2.30753))))
  (* 0.27061 (sqrt (- (* x 0.27061) 2.30753)))
  0.27061
  (* (- (* x 0.27061) 2.30753) (cbrt 0.27061))
  (* (- (* x 0.27061) 2.30753) (sqrt 0.27061))
  (* 0.27061 (- (* x 0.27061) 2.30753))
  (* 0.27061 (- (pow (* x 0.27061) 3) (pow 2.30753 3)))
  (* 0.27061 (- (pow (* x 0.27061) 2) (* 2.30753 2.30753)))
  (+ 2.30753 (* x (- (* x 1.9001610402440734) 2.0191289437)))
  (+ (/ 6.039053782637804 x) (- (/ 1686.2795662304645 (pow x 3)) (/ 82.2352751165737 (* x x))))
  (+ (/ 6.039053782637804 x) (- (/ 1686.2795662304645 (pow x 3)) (/ 82.2352751165737 (* x x))))
  (* x (- (* x 0.0732297721) 0.6244406933))
  (* x (- (* x 0.0732297721) 0.6244406933))
  (* x (- (* x 0.0732297721) 0.6244406933))
  (* (pow x 3) 0.019816708627981003)
  (* (pow x 3) 0.019816708627981003)
  (* (pow x 3) 0.019816708627981003)
  (- (* x 0.0732297721) 0.6244406933)
  (- (* x 0.0732297721) 0.6244406933)
  (- (* x 0.0732297721) 0.6244406933)
0.718 * * * [progress]: adding candidates to table
0.964 * * [progress]: iteration 4 / 4
0.964 * * * [progress]: picking best candidate
0.966 * * * * [pick]: Picked  #<alt (λ (x) (+ 2.30753 (* x (- (* x 1.900161040244073) 3.0191289436999997))))>
0.966 * * * [progress]: localizing error
0.972 * * * [progress]: generating rewritten candidates
0.972 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.979 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.984 * * * [progress]: generating series expansions
0.984 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.984 * [approximate]: Taking taylor expansion of (* x (- (* 1.900161040244073 x) 3.0191289436999997)) in (x) around 0
0.984 * [taylor]: Taking taylor expansion of (* x (- (* 1.900161040244073 x) 3.0191289436999997)) in x
0.984 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 x) 3.0191289436999997) in x
0.985 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x
0.985 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.985 * [taylor]: Taking taylor expansion of (* x (- (* 1.900161040244073 x) 3.0191289436999997)) in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 x) 3.0191289436999997) in x
0.985 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x
0.985 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.986 * [approximate]: Taking taylor expansion of (/ (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in (x) around 0
0.986 * [taylor]: Taking taylor expansion of (/ (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x
0.986 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.986 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.986 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of (/ (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x
0.986 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.986 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.986 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.988 * [approximate]: Taking taylor expansion of (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in (x) around 0
0.988 * [taylor]: Taking taylor expansion of (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x
0.988 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.988 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.988 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x
0.989 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.989 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.989 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.990 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.990 * [approximate]: Taking taylor expansion of (- (* 1.900161040244073 x) 3.0191289436999997) in (x) around 0
0.991 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 x) 3.0191289436999997) in x
0.991 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x
0.991 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.991 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 x) 3.0191289436999997) in x
0.991 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x
0.991 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.991 * [approximate]: Taking taylor expansion of (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in (x) around 0
0.991 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.991 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.991 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.992 * [taylor]: Taking taylor expansion of (- (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.992 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.992 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.992 * [taylor]: Taking taylor expansion of x in x
0.992 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.993 * [approximate]: Taking taylor expansion of (neg (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997)) in (x) around 0
0.993 * [taylor]: Taking taylor expansion of (neg (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997)) in x
0.993 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.993 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.993 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.993 * [taylor]: Taking taylor expansion of (neg (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997)) in x
0.993 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x
0.993 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x
0.993 * [taylor]: Taking taylor expansion of 1.900161040244073 in x
0.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.993 * [taylor]: Taking taylor expansion of x in x
0.993 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x
0.994 * * * [progress]: simplifying candidates
0.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (+ (log x) (log (- (* x 1.900161040244073) 3.0191289436999997)))
  (log (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (exp (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (* (* x x) x) (* (* (- (* x 1.900161040244073) 3.0191289436999997) (- (* x 1.900161040244073) 3.0191289436999997)) (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997))) (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997))))
  (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (* (* x (- (* x 1.900161040244073) 3.0191289436999997)) (* x (- (* x 1.900161040244073) 3.0191289436999997))) (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (sqrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (sqrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (sqrt x) (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (sqrt x) (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* (* x 1.900161040244073) x)
  (* (neg 3.0191289436999997) x)
  (* (* x 1.900161040244073) x)
  (* (neg 3.0191289436999997) x)
  (* x (* (cbrt (- (* x 1.900161040244073) 3.0191289436999997)) (cbrt (- (* x 1.900161040244073) 3.0191289436999997))))
  (* x (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (* x 1)
  (* (cbrt x) (- (* x 1.900161040244073) 3.0191289436999997))
  (* (sqrt x) (- (* x 1.900161040244073) 3.0191289436999997))
  (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (* x (- (pow (* x 1.900161040244073) 3) (pow 3.0191289436999997 3)))
  (* x (- (* (* x 1.900161040244073) (* x 1.900161040244073)) (* 3.0191289436999997 3.0191289436999997)))
  (/ (exp (* x 1.900161040244073)) (exp 3.0191289436999997))
  (log (- (* x 1.900161040244073) 3.0191289436999997))
  (exp (- (* x 1.900161040244073) 3.0191289436999997))
  (* (cbrt (- (* x 1.900161040244073) 3.0191289436999997)) (cbrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (cbrt (- (* x 1.900161040244073) 3.0191289436999997))
  (* (* (- (* x 1.900161040244073) 3.0191289436999997) (- (* x 1.900161040244073) 3.0191289436999997)) (- (* x 1.900161040244073) 3.0191289436999997))
  (sqrt (- (* x 1.900161040244073) 3.0191289436999997))
  (sqrt (- (* x 1.900161040244073) 3.0191289436999997))
  (- (pow (* x 1.900161040244073) 3) (pow 3.0191289436999997 3))
  (+ (* (* x 1.900161040244073) (* x 1.900161040244073)) (+ (* 3.0191289436999997 3.0191289436999997) (* (* x 1.900161040244073) 3.0191289436999997)))
  (neg 3.0191289436999997)
  (- (* (* x 1.900161040244073) (* x 1.900161040244073)) (* 3.0191289436999997 3.0191289436999997))
  (+ (* x 1.900161040244073) 3.0191289436999997)
  (neg 3.0191289436999997)
  (- (* 1.900161040244073 (pow x 2)) (* 3.0191289436999997 x))
  (- (* 1.900161040244073 (pow x 2)) (* 3.0191289436999997 x))
  (- (* 1.900161040244073 (pow x 2)) (* 3.0191289436999997 x))
  (- (* 1.900161040244073 x) 3.0191289436999997)
  (- (* 1.900161040244073 x) 3.0191289436999997)
  (- (* 1.900161040244073 x) 3.0191289436999997)
1.039 * * [simplify]: iteration  0 :  4971  enodes  (cost  349 )
1.039 * * [simplify]: iteration  1 :  4971  enodes  (cost  349 )
1.041 * [simplify]: Simplified to:
   (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (log (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (log (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (pow (exp (- (* x 1.900161040244073) 3.0191289436999997)) x)
  (pow (* x (- (* x 1.900161040244073) 3.0191289436999997)) 3)
  (* (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997))) (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997))))
  (cbrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (pow (* x (- (* x 1.900161040244073) 3.0191289436999997)) 3)
  (sqrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (sqrt (* x (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (sqrt x) (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (* (sqrt x) (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* x (* x 1.900161040244073))
  (* x (neg 3.0191289436999997))
  (* x (* (cbrt (- (* x 1.900161040244073) 3.0191289436999997)) (cbrt (- (* x 1.900161040244073) 3.0191289436999997))))
  (* x (sqrt (- (* x 1.900161040244073) 3.0191289436999997)))
  x
  (* (- (* x 1.900161040244073) 3.0191289436999997) (cbrt x))
  (* (- (* x 1.900161040244073) 3.0191289436999997) (sqrt x))
  (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (* x (- (pow (* x 1.900161040244073) 3) (pow 3.0191289436999997 3)))
  (- (* 1.900161040244073 (* 1.900161040244073 (pow x 3))) (* x (* 3.0191289436999997 3.0191289436999997)))
  (exp (- (* x 1.900161040244073) 3.0191289436999997))
  (log (- (* x 1.900161040244073) 3.0191289436999997))
  (exp (- (* x 1.900161040244073) 3.0191289436999997))
  (* (cbrt (- (* x 1.900161040244073) 3.0191289436999997)) (cbrt (- (* x 1.900161040244073) 3.0191289436999997)))
  (cbrt (- (* x 1.900161040244073) 3.0191289436999997))
  (pow (- (* x 1.900161040244073) 3.0191289436999997) 3)
  (sqrt (- (* x 1.900161040244073) 3.0191289436999997))
  (sqrt (- (* x 1.900161040244073) 3.0191289436999997))
  (- (pow (* x 1.900161040244073) 3) (pow 3.0191289436999997 3))
  (+ (* 3.0191289436999997 3.0191289436999997) (* x (* 1.900161040244073 (+ (* x 1.900161040244073) 3.0191289436999997))))
  (neg 3.0191289436999997)
  (- (* x (* x (* 1.900161040244073 1.900161040244073))) (* 3.0191289436999997 3.0191289436999997))
  (+ (* x 1.900161040244073) 3.0191289436999997)
  (neg 3.0191289436999997)
  (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (* x (- (* x 1.900161040244073) 3.0191289436999997))
  (- (* x 1.900161040244073) 3.0191289436999997)
  (- (* x 1.900161040244073) 3.0191289436999997)
  (- (* x 1.900161040244073) 3.0191289436999997)
1.042 * * * [progress]: adding candidates to table
1.083 * [progress]: [Phase 3 of 3] Extracting.
1.083 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ 2.30753 (* x (- (* x 1.900161040244073) 3.0191289436999997))))> #<alt (λ (x) (- (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) x))> #<alt (λ (x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) x))>)
1.084 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.084 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ 2.30753 (* x (- (* x 1.900161040244073) 3.0191289436999997))))> #<alt (λ (x) (- (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))) x))> #<alt (λ (x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) x))>)
1.113 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.113 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) x)
1.114 * * [simplify]: iteration  0 :  21  enodes  (cost  19 )
1.114 * * [simplify]: iteration  1 :  21  enodes  (cost  19 )
1.114 * [simplify]: Simplified to:
   (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (log (pow (exp x) (+ 0.99229 (* x 0.04481)))))) x)
2.216 * [regime-testing]: End program error score: 0.25602728190966245