8.185 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.108 * * [simplify]: iteration  0 :  4979  enodes  (cost  17 )
0.108 * * [simplify]: iteration  1 :  4979  enodes  (cost  17 )
0.109 * [simplify]: Simplified to:
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
0.112 * * [progress]: iteration 1 / 4
0.112 * * * [progress]: picking best candidate
0.114 * * * * [pick]: Picked  #<alt (λ (x) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))>
0.114 * * * [progress]: localizing error
0.124 * * * [progress]: generating rewritten candidates
0.124 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.130 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
0.135 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.137 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
0.142 * * * [progress]: generating series expansions
0.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.142 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0
0.142 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.142 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.142 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.142 * [taylor]: Taking taylor expansion of 0.27061 in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 2.30753 in x
0.142 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.142 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.142 * [taylor]: Taking taylor expansion of 0.04481 in x
0.142 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.142 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.142 * [taylor]: Taking taylor expansion of 0.99229 in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 1.0 in x
0.143 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.143 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.143 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.143 * [taylor]: Taking taylor expansion of 0.27061 in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of 2.30753 in x
0.143 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.143 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.143 * [taylor]: Taking taylor expansion of 0.04481 in x
0.143 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.143 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.143 * [taylor]: Taking taylor expansion of 0.99229 in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of 1.0 in x
0.143 * [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.143 * [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.143 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.143 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of 0.27061 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 2.30753 in x
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.144 * [taylor]: Taking taylor expansion of 0.04481 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.144 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.144 * [taylor]: Taking taylor expansion of 0.99229 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 1.0 in x
0.144 * [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.144 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.144 * [taylor]: Taking taylor expansion of 0.27061 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 2.30753 in x
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.144 * [taylor]: Taking taylor expansion of 0.04481 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.144 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.144 * [taylor]: Taking taylor expansion of 0.99229 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [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.145 * [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.145 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of 2.30753 in x
0.145 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of 0.27061 in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.145 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.145 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.145 * [taylor]: Taking taylor expansion of 0.04481 in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.145 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of 1.0 in x
0.145 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of 0.99229 in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [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.146 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of 2.30753 in x
0.146 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of 0.27061 in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.146 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.146 * [taylor]: Taking taylor expansion of 0.04481 in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.146 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of 1.0 in x
0.146 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of 0.99229 in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
0.147 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.147 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.147 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.147 * [taylor]: Taking taylor expansion of 0.04481 in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of 0.99229 in x
0.147 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.147 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.147 * [taylor]: Taking taylor expansion of 0.04481 in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of 0.99229 in x
0.152 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.152 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.152 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.152 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.152 * [taylor]: Taking taylor expansion of 0.04481 in x
0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of 0.99229 in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.152 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.152 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.152 * [taylor]: Taking taylor expansion of 0.04481 in x
0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of 0.99229 in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.154 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.154 * [taylor]: Taking taylor expansion of -1 in x
0.154 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.154 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.154 * [taylor]: Taking taylor expansion of 0.99229 in x
0.154 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.154 * [taylor]: Taking taylor expansion of 0.04481 in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.154 * [taylor]: Taking taylor expansion of -1 in x
0.154 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.154 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.154 * [taylor]: Taking taylor expansion of 0.99229 in x
0.154 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.154 * [taylor]: Taking taylor expansion of 0.04481 in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.156 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.156 * [approximate]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in (x) around 0
0.156 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.156 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.156 * [taylor]: Taking taylor expansion of 0.27061 in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of 2.30753 in x
0.156 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.156 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.156 * [taylor]: Taking taylor expansion of 0.27061 in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of 2.30753 in x
0.157 * [approximate]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in (x) around 0
0.157 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.157 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.157 * [taylor]: Taking taylor expansion of 0.27061 in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of 2.30753 in x
0.157 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.157 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.157 * [taylor]: Taking taylor expansion of 0.27061 in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of 2.30753 in x
0.158 * [approximate]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in (x) around 0
0.158 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.158 * [taylor]: Taking taylor expansion of 2.30753 in x
0.158 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of 0.27061 in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.159 * [taylor]: Taking taylor expansion of 2.30753 in x
0.159 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of 0.27061 in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
0.160 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0
0.160 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.160 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.160 * [taylor]: Taking taylor expansion of 0.04481 in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of 0.99229 in x
0.160 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.160 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.160 * [taylor]: Taking taylor expansion of 0.04481 in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of 0.99229 in x
0.160 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0
0.161 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.161 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.161 * [taylor]: Taking taylor expansion of 0.04481 in x
0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of 0.99229 in x
0.161 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.161 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.161 * [taylor]: Taking taylor expansion of 0.04481 in x
0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of 0.99229 in x
0.162 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0
0.162 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.162 * [taylor]: Taking taylor expansion of 0.99229 in x
0.162 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.162 * [taylor]: Taking taylor expansion of 0.04481 in x
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.162 * [taylor]: Taking taylor expansion of 0.99229 in x
0.162 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.162 * [taylor]: Taking taylor expansion of 0.04481 in x
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.163 * * * [progress]: simplifying candidates
0.164 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (neg (+ 2.30753 (* x 0.27061)))
  (neg (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
  (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
  (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
  (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
  (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061)))
  (* (+ 0.99229 (* x 0.04481)) x)
  (+ (log (+ 0.99229 (* x 0.04481))) (log x))
  (log (* (+ 0.99229 (* x 0.04481)) x))
  (exp (* (+ 0.99229 (* x 0.04481)) x))
  (* (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))) (* (* x x) x))
  (* (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (* (+ 0.99229 (* x 0.04481)) x)))
  (cbrt (* (+ 0.99229 (* x 0.04481)) x))
  (* (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* (+ 0.99229 (* x 0.04481)) x))
  (sqrt (* (+ 0.99229 (* x 0.04481)) x))
  (sqrt (* (+ 0.99229 (* x 0.04481)) x))
  (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x))
  (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x))
  (* (+ 0.99229 (* x 0.04481)) (* (cbrt x) (cbrt x)))
  (* (+ 0.99229 (* x 0.04481)) (sqrt x))
  (* (+ 0.99229 (* x 0.04481)) 1)
  (* (cbrt (+ 0.99229 (* x 0.04481))) x)
  (* (sqrt (+ 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))) x)
  (* (exp 2.30753) (exp (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (pow 2.30753 3) (pow (* x 0.27061) 3))
  (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))
  (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))
  (- 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))
  (- (+ (* 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.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
  (+ (* 0.04481 x) 0.99229)
0.223 * * [simplify]: iteration  0 :  4974  enodes  (cost  1145 )
0.223 * * [simplify]: iteration  1 :  4974  enodes  (cost  1145 )
0.227 * [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))))))
  (- (* x (neg 0.27061)) 2.30753)
  (- (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 (+ 0.99229 (* x 0.04481))) x)
  (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 (+ 0.99229 (* x 0.04481))) (sqrt x))
  (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x))
  (* (+ 0.99229 (* x 0.04481)) (* (cbrt x) (cbrt x)))
  (* (+ 0.99229 (* x 0.04481)) (sqrt x))
  (+ 0.99229 (* x 0.04481))
  (* x (cbrt (+ 0.99229 (* x 0.04481))))
  (* x (sqrt (+ 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 (* x (* 0.04481 0.04481)))))
  (exp (+ 2.30753 (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (pow (+ 2.30753 (* x 0.27061)) 3)
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (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 (* x (* 0.27061 0.27061))))
  (- 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 (* 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 0.27061))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
  (+ 0.99229 (* x 0.04481))
0.228 * * * [progress]: adding candidates to table
0.364 * * [progress]: iteration 2 / 4
0.364 * * * [progress]: picking best candidate
0.369 * * * * [pick]: Picked  #<alt (λ (x) (- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))>
0.369 * * * [progress]: localizing error
0.380 * * * [progress]: generating rewritten candidates
0.380 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.394 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
0.399 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.405 * * * [progress]: generating series expansions
0.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.405 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0
0.405 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.405 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.405 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.405 * [taylor]: Taking taylor expansion of 0.27061 in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of 2.30753 in x
0.405 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.405 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.405 * [taylor]: Taking taylor expansion of 0.04481 in x
0.405 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.405 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.405 * [taylor]: Taking taylor expansion of 0.99229 in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of 1.0 in x
0.406 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.406 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.406 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.406 * [taylor]: Taking taylor expansion of 0.27061 in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of 2.30753 in x
0.406 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.406 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.406 * [taylor]: Taking taylor expansion of 0.04481 in x
0.406 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.406 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.406 * [taylor]: Taking taylor expansion of 0.99229 in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of 1.0 in x
0.406 * [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.406 * [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.406 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.406 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of 0.27061 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 2.30753 in x
0.407 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.407 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.407 * [taylor]: Taking taylor expansion of 0.04481 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.407 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.407 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of 0.99229 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 1.0 in x
0.407 * [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.407 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.407 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of 0.27061 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 2.30753 in x
0.407 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.407 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.407 * [taylor]: Taking taylor expansion of 0.04481 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.407 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.407 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of 0.99229 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.407 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of 1.0 in x
0.408 * [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.408 * [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.408 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.408 * [taylor]: Taking taylor expansion of 2.30753 in x
0.408 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.408 * [taylor]: Taking taylor expansion of 0.27061 in x
0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.408 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.408 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.408 * [taylor]: Taking taylor expansion of 0.04481 in x
0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.408 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of 1.0 in x
0.408 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.408 * [taylor]: Taking taylor expansion of 0.99229 in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.409 * [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.409 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.409 * [taylor]: Taking taylor expansion of 2.30753 in x
0.409 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.409 * [taylor]: Taking taylor expansion of 0.27061 in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.409 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.409 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.409 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.409 * [taylor]: Taking taylor expansion of 0.04481 in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.409 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.409 * [taylor]: Taking taylor expansion of 1.0 in x
0.409 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.409 * [taylor]: Taking taylor expansion of 0.99229 in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.410 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.410 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0
0.410 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.410 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.410 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.410 * [taylor]: Taking taylor expansion of 0.04481 in x
0.410 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.410 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.410 * [taylor]: Taking taylor expansion of 0.99229 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1.0 in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.410 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.410 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.410 * [taylor]: Taking taylor expansion of 0.04481 in x
0.410 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.410 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.410 * [taylor]: Taking taylor expansion of 0.99229 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1.0 in x
0.411 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.411 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.411 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.411 * [taylor]: Taking taylor expansion of 0.04481 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.411 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.411 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.411 * [taylor]: Taking taylor expansion of 0.99229 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of 1.0 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x
0.411 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.411 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.411 * [taylor]: Taking taylor expansion of 0.04481 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.411 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.411 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.411 * [taylor]: Taking taylor expansion of 0.99229 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of 1.0 in x
0.412 * [approximate]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in (x) around 0
0.412 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.412 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.412 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.412 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.412 * [taylor]: Taking taylor expansion of 0.04481 in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.412 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of 1.0 in x
0.412 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.412 * [taylor]: Taking taylor expansion of 0.99229 in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x
0.412 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.412 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.412 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.413 * [taylor]: Taking taylor expansion of 0.04481 in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.413 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of 1.0 in x
0.413 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of 0.99229 in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
0.413 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.413 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.413 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.414 * [taylor]: Taking taylor expansion of 0.04481 in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of 0.99229 in x
0.414 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.414 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.414 * [taylor]: Taking taylor expansion of 0.04481 in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of 0.99229 in x
0.415 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.415 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.415 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.415 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.415 * [taylor]: Taking taylor expansion of 0.04481 in x
0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.415 * [taylor]: Taking taylor expansion of 0.99229 in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.415 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.415 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.415 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.415 * [taylor]: Taking taylor expansion of 0.04481 in x
0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.415 * [taylor]: Taking taylor expansion of 0.99229 in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.417 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.417 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.417 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.417 * [taylor]: Taking taylor expansion of 0.99229 in x
0.417 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.417 * [taylor]: Taking taylor expansion of 0.04481 in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.417 * [taylor]: Taking taylor expansion of -1 in x
0.417 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.417 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.417 * [taylor]: Taking taylor expansion of 0.99229 in x
0.417 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.417 * [taylor]: Taking taylor expansion of 0.04481 in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.419 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.419 * [approximate]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in (x) around 0
0.419 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.419 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.419 * [taylor]: Taking taylor expansion of 0.27061 in x
0.419 * [taylor]: Taking taylor expansion of x in x
0.419 * [taylor]: Taking taylor expansion of 2.30753 in x
0.419 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.419 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.419 * [taylor]: Taking taylor expansion of 0.27061 in x
0.419 * [taylor]: Taking taylor expansion of x in x
0.419 * [taylor]: Taking taylor expansion of 2.30753 in x
0.420 * [approximate]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in (x) around 0
0.420 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.420 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.420 * [taylor]: Taking taylor expansion of 0.27061 in x
0.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.420 * [taylor]: Taking taylor expansion of 2.30753 in x
0.420 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.420 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.420 * [taylor]: Taking taylor expansion of 0.27061 in x
0.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.420 * [taylor]: Taking taylor expansion of 2.30753 in x
0.421 * [approximate]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in (x) around 0
0.421 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.421 * [taylor]: Taking taylor expansion of 2.30753 in x
0.421 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.421 * [taylor]: Taking taylor expansion of 0.27061 in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.421 * [taylor]: Taking taylor expansion of 2.30753 in x
0.421 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.421 * [taylor]: Taking taylor expansion of 0.27061 in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.422 * * * [progress]: simplifying candidates
0.424 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (+ (log (+ 2.30753 (* x 0.27061))) (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (+ (log (+ 2.30753 (* x 0.27061))) (- 0 (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (+ (log (+ 2.30753 (* x 0.27061))) (- (log 1) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (+ (log (+ 2.30753 (* x 0.27061))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (log (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (exp (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (/ (* (* 1 1) 1) (* (* (+ 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 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) 1)
  (* (+ (* 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 2.30753) (* (* x 0.27061) (* x 0.27061))) 1)
  (* (- 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (/ (* (cbrt 1) (cbrt 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) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (+ 2.30753 (* x 0.27061)) (/ (sqrt 1) (* (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) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (/ (sqrt 1) 1))
  (* (+ 2.30753 (* x 0.27061)) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (+ 2.30753 (* x 0.27061)) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (/ 1 1))
  (* (+ 2.30753 (* x 0.27061)) 1)
  (* (+ 2.30753 (* x 0.27061)) 1)
  (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (* (+ 2.30753 (* x 0.27061)) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (+ 2.30753 (* x 0.27061)) 1)
  (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg 1)
  (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (- 0 (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (- (log 1) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (* 1 1) 1) (* (* (+ 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 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg 1)
  (neg (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (sqrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ 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)))))))
  (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 1)
  (/ 1 (+ 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)))) 1)
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 1)
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt 1))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt 1))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1)
  (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
  (* 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) (exp (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (pow 2.30753 3) (pow (* x 0.27061) 3))
  (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))
  (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))
  (- 2.30753 (* x 0.27061))
  (- (+ (* 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.9398294441 (pow x 2)) 1.0) (* 0.99229 x))
  (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3))))
  (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3))))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
0.491 * * [simplify]: iteration  0 :  5170  enodes  (cost  1676 )
0.496 * [simplify]: Simplified to:
   (/ (+ 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))))))
  (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))))))
  (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)
  (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))))))
  (+ (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 2.30753) (* x (* 0.27061 (* x 0.27061))))
  (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061)))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 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 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (+ 2.30753 (* x 0.27061)) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (* (cbrt 1) (/ (cbrt 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) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (+ 2.30753 (* x 0.27061)) (* (cbrt 1) (cbrt 1)))
  (/ (+ 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))
  (/ (+ 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))
  (+ 2.30753 (* x 0.27061))
  (+ 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)))))))
  (/ (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)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (* (+ 2.30753 (* x 0.27061)) (/ (- 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  -1
  (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (neg (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (pow (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 3))
  (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (pow (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 3))
  (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  -1
  (- (neg 1.0) (* x (+ 0.99229 (* x 0.04481))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (+ 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)))))))
  (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  1
  (/ 1 (+ 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)))))))
  (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  1
  (/ 1 (+ 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))))
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  1
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt 1))
  (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
  (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
  (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (/ 1 (- (* 1.0 1.0) (* x (* x (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)))))))
  (* 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)) (* (pow x 3) (* 0.04481 0.04481)))
  (exp (+ 2.30753 (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (pow (+ 2.30753 (* x 0.27061)) 3)
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (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))
  (+ 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))))
  (+ 1.0 (* x (- (* x 0.9398294441) 0.99229)))
  (+ (/ 22.31644722160232 (* x x)) (- (/ 10445.379305927861 (pow x 4)) (/ 494.18405296861783 (pow x 3))))
  (+ (/ 22.31644722160232 (* x x)) (- (/ 10445.379305927861 (pow x 4)) (/ 494.18405296861783 (pow x 3))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
0.497 * * * [progress]: adding candidates to table
0.665 * * [progress]: iteration 3 / 4
0.665 * * * [progress]: picking best candidate
0.668 * * * * [pick]: Picked  #<alt (λ (x) (- x (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))>
0.668 * * * [progress]: localizing error
0.679 * * * [progress]: generating rewritten candidates
0.679 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.685 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
0.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
0.707 * * * [progress]: generating series expansions
0.707 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.707 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.27061 x) 2.30753)) in (x) around 0
0.707 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.27061 x) 2.30753)) in x
0.707 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.707 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.707 * [taylor]: Taking taylor expansion of 0.04481 in x
0.707 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.707 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.707 * [taylor]: Taking taylor expansion of 0.99229 in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of 1.0 in x
0.707 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.707 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.707 * [taylor]: Taking taylor expansion of 0.27061 in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of 2.30753 in x
0.708 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.27061 x) 2.30753)) in x
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.708 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.708 * [taylor]: Taking taylor expansion of 0.04481 in x
0.708 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.708 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.708 * [taylor]: Taking taylor expansion of 0.99229 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of 1.0 in x
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.708 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.708 * [taylor]: Taking taylor expansion of 0.27061 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of 2.30753 in x
0.708 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (+ (* 0.27061 (/ 1 x)) 2.30753)) in (x) around 0
0.709 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (+ (* 0.27061 (/ 1 x)) 2.30753)) in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.709 * [taylor]: Taking taylor expansion of 0.04481 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.709 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of 0.99229 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of 1.0 in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of 0.27061 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of 2.30753 in x
0.709 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) (+ (* 0.27061 (/ 1 x)) 2.30753)) in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.709 * [taylor]: Taking taylor expansion of 0.04481 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.709 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of 0.99229 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of 1.0 in x
0.709 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.709 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.709 * [taylor]: Taking taylor expansion of 0.27061 in x
0.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.709 * [taylor]: Taking taylor expansion of x in x
0.709 * [taylor]: Taking taylor expansion of 2.30753 in x
0.710 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) (- 2.30753 (* 0.27061 (/ 1 x)))) in (x) around 0
0.710 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) (- 2.30753 (* 0.27061 (/ 1 x)))) in x
0.710 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.710 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.710 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.710 * [taylor]: Taking taylor expansion of 0.04481 in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.710 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of 1.0 in x
0.710 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.710 * [taylor]: Taking taylor expansion of 0.99229 in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.710 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.710 * [taylor]: Taking taylor expansion of 2.30753 in x
0.710 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.710 * [taylor]: Taking taylor expansion of 0.27061 in x
0.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) (- 2.30753 (* 0.27061 (/ 1 x)))) in x
0.711 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.711 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.711 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.711 * [taylor]: Taking taylor expansion of 0.04481 in x
0.711 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.711 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of 1.0 in x
0.711 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.711 * [taylor]: Taking taylor expansion of 0.99229 in x
0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.711 * [taylor]: Taking taylor expansion of 2.30753 in x
0.711 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.711 * [taylor]: Taking taylor expansion of 0.27061 in x
0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.712 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0
0.712 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.712 * [taylor]: Taking taylor expansion of 0.27061 in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of 2.30753 in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.712 * [taylor]: Taking taylor expansion of 0.04481 in x
0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.712 * [taylor]: Taking taylor expansion of 0.99229 in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of 1.0 in x
0.712 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.712 * [taylor]: Taking taylor expansion of 0.27061 in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of 2.30753 in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.712 * [taylor]: Taking taylor expansion of 0.04481 in x
0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.712 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.712 * [taylor]: Taking taylor expansion of 0.99229 in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of 1.0 in x
0.713 * [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.713 * [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.713 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.713 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.713 * [taylor]: Taking taylor expansion of 0.27061 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of 2.30753 in x
0.713 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.713 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.713 * [taylor]: Taking taylor expansion of 0.04481 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.713 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.713 * [taylor]: Taking taylor expansion of 0.99229 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of 1.0 in x
0.713 * [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.714 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.714 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.714 * [taylor]: Taking taylor expansion of 0.27061 in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of 2.30753 in x
0.714 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.714 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.714 * [taylor]: Taking taylor expansion of 0.04481 in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.714 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.714 * [taylor]: Taking taylor expansion of 0.99229 in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of 1.0 in x
0.715 * [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.715 * [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.715 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.715 * [taylor]: Taking taylor expansion of 2.30753 in x
0.715 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.715 * [taylor]: Taking taylor expansion of 0.27061 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.715 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.715 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.715 * [taylor]: Taking taylor expansion of 0.04481 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.715 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of 1.0 in x
0.715 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.715 * [taylor]: Taking taylor expansion of 0.99229 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [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.715 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.715 * [taylor]: Taking taylor expansion of 2.30753 in x
0.715 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.715 * [taylor]: Taking taylor expansion of 0.27061 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.715 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.715 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.715 * [taylor]: Taking taylor expansion of 0.04481 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.715 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of 1.0 in x
0.716 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.716 * [taylor]: Taking taylor expansion of 0.99229 in x
0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.716 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
0.716 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.716 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.717 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.717 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.717 * [taylor]: Taking taylor expansion of 0.04481 in x
0.717 * [taylor]: Taking taylor expansion of x in x
0.717 * [taylor]: Taking taylor expansion of 0.99229 in x
0.717 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.717 * [taylor]: Taking taylor expansion of x in x
0.717 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.717 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.717 * [taylor]: Taking taylor expansion of 0.04481 in x
0.717 * [taylor]: Taking taylor expansion of x in x
0.717 * [taylor]: Taking taylor expansion of 0.99229 in x
0.718 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.718 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.718 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.718 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.718 * [taylor]: Taking taylor expansion of 0.04481 in x
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of 0.99229 in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.718 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.718 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.718 * [taylor]: Taking taylor expansion of 0.04481 in x
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of 0.99229 in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.720 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.720 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.720 * [taylor]: Taking taylor expansion of -1 in x
0.720 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.720 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.720 * [taylor]: Taking taylor expansion of 0.99229 in x
0.720 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.720 * [taylor]: Taking taylor expansion of 0.04481 in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.720 * [taylor]: Taking taylor expansion of -1 in x
0.720 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.720 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.720 * [taylor]: Taking taylor expansion of 0.99229 in x
0.720 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.720 * [taylor]: Taking taylor expansion of 0.04481 in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.722 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
0.722 * [approximate]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in (x) around 0
0.722 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.722 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.722 * [taylor]: Taking taylor expansion of 0.27061 in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of 2.30753 in x
0.722 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.722 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.722 * [taylor]: Taking taylor expansion of 0.27061 in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.722 * [taylor]: Taking taylor expansion of 2.30753 in x
0.723 * [approximate]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in (x) around 0
0.723 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.723 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.723 * [taylor]: Taking taylor expansion of 0.27061 in x
0.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of 2.30753 in x
0.723 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.723 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.723 * [taylor]: Taking taylor expansion of 0.27061 in x
0.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of 2.30753 in x
0.724 * [approximate]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in (x) around 0
0.724 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.724 * [taylor]: Taking taylor expansion of 2.30753 in x
0.724 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.724 * [taylor]: Taking taylor expansion of 0.27061 in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.724 * [taylor]: Taking taylor expansion of 2.30753 in x
0.724 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.724 * [taylor]: Taking taylor expansion of 0.27061 in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.725 * * * [progress]: simplifying candidates
0.730 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (+ 2.30753 (* x 0.27061))))
  (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (exp (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 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))))) (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))))
  (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (cbrt (/ (+ 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)))) (+ 2.30753 (* x 0.27061))))
  (sqrt (/ (+ 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))))
  (neg (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (neg (+ 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 (+ 2.30753 (* x 0.27061)))))
  (/ (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 (+ 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))))
  (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1)
  (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 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)))))
  (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 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 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1)
  (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ 1 (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ 1 1)
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ 1 (+ 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)))) (* (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))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1)
  (/ (+ 2.30753 (* x 0.27061)) (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)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (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.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 (* x 0.27061)) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (neg 1)
  (neg (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (+ 2.30753 (* x 0.27061)))))
  (neg (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (- 0 (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (+ 2.30753 (* x 0.27061)))))
  (- 0 (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (- (log 1) (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (+ 2.30753 (* x 0.27061)))))
  (- (log 1) (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (log (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (exp (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (* (* 1 1) 1) (/ (* (* (+ 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 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061)))))
  (/ (* (* 1 1) 1) (* (* (/ (+ 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)))))
  (* (cbrt (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))) (cbrt (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (cbrt (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (* (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))) (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (sqrt (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (sqrt (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (neg 1)
  (neg (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ (cbrt 1) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (cbrt 1) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (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 (+ 2.30753 (* x 0.27061))))))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (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) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1))
  (/ (cbrt 1) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1))
  (/ (cbrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ (cbrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (cbrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (cbrt 1) (/ 1 (+ 2.30753 (* x 0.27061))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ (cbrt 1) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))))
  (/ (cbrt 1) (- 2.30753 (* x 0.27061)))
  (/ (sqrt 1) (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ (sqrt 1) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (* (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 (+ 2.30753 (* x 0.27061))))))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1))
  (/ (sqrt 1) (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1))
  (/ (sqrt 1) (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ (sqrt 1) (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ 1 (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ (sqrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (sqrt 1) (/ 1 (+ 2.30753 (* x 0.27061))))
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ (sqrt 1) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (/ (sqrt 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))))
  (/ (sqrt 1) (- 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ 1 (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (* (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 (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1))
  (/ 1 (/ (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))))
  (/ 1 (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ 1 (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ 1 1)
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (/ 1 (+ 2.30753 (* x 0.27061))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ 1 (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))))
  (/ 1 (- 2.30753 (* x 0.27061)))
  (/ 1 (/ (+ 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)
  (/ 1 (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (* (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 (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1))
  (/ 1 (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))))
  (/ 1 (/ 1 (sqrt (+ 2.30753 (* x 0.27061)))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3))))
  (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))))
  (/ (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (cbrt 1))
  (/ (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (sqrt 1))
  (/ (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) 1)
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (* 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) (exp (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (pow 2.30753 3) (pow (* x 0.27061) 3))
  (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))
  (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061)))
  (- 2.30753 (* x 0.27061))
  (- (+ (* 0.37920088514346545 x) 0.4333638132548656) (* 0.02505083423776644 (pow x 2)))
  (- (+ 2.254864010426164 (* 0.16558885480950444 x)) (* 15.532191530167713 (/ 1 x)))
  (- (+ 2.254864010426164 (* 0.16558885480950444 x)) (* 15.532191530167713 (/ 1 x)))
  (- (+ (* 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.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
  (+ (* 0.27061 x) 2.30753)
0.787 * * [simplify]: iteration  0 :  4948  enodes  (cost  3286 )
0.788 * * [simplify]: iteration  1 :  4948  enodes  (cost  3286 )
0.797 * [simplify]: Simplified to:
   (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (log (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (exp (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (pow (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) 3)
  (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
  (pow (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) 3)
  (sqrt (/ (+ 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))))
  (- (* x (neg (+ 0.99229 (* x 0.04481)))) 1.0)
  (- (* x (neg 0.27061)) 2.30753)
  (* (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 (+ 2.30753 (* x 0.27061))))))
  (/ (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 (+ 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))))
  (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (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))))) (* (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))))) (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 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ 1 (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061))))
  1
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))
  (/ 1 (+ 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)))) (* (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))))
  (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
  (/ (+ 2.30753 (* x 0.27061)) (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)))))
  (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (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.27061)) (+ (* 1.0 1.0) (* x (* (+ 0.99229 (* x 0.04481)) (- (* x (+ 0.99229 (* x 0.04481))) 1.0)))))
  (* (+ 2.30753 (* x 0.27061)) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  -1
  (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))))))
  (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))))))
  (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))))))
  (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)
  (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))))))
  -1
  (/ (- (* x (neg (+ 0.99229 (* x 0.04481)))) 1.0) (+ 2.30753 (* x 0.27061)))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))))
  (/ (cbrt 1) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ (cbrt 1) (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt 1) (/ (cbrt 1) (* (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) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt 1) (/ (cbrt 1) (* (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) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (cbrt 1) (/ (cbrt 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) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt 1) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt 1) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (+ 2.30753 (* x 0.27061)) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (* (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt 1) (cbrt 1)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt 1) (cbrt 1)))
  (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt 1) (cbrt 1))
  (* (+ 2.30753 (* x 0.27061)) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt 1) (cbrt 1))
  (* (+ 2.30753 (* x 0.27061)) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt 1) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (+ 2.30753 (* x 0.27061)) (cbrt 1))
  (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (cbrt 1) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt 1) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (- (* 2.30753 2.30753) (* x (* 0.27061 (* x 0.27061)))) (* (cbrt 1) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
  (/ (cbrt 1) (- 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ 1 (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (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 (+ 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))))))
  (/ 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))))))
  (* (/ (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))) (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 (+ 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))))))
  (* (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)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ 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)))))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (+ (* 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 (* x 0.27061)))
  (/ 1 (- 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ 1 (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (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 (+ 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))))))
  (/ 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))))))
  (* (/ (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))) (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 (+ 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))))))
  (* (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)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ 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)))))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ 1 (+ (* 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 (* x 0.27061)))
  (/ 1 (- 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)))) (+ 2.30753 (* x 0.27061)))
  (/ 1 (* (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) (cbrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))
  (/ 1 (sqrt (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 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)))))))
  (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 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))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (sqrt (+ 2.30753 (* x 0.27061)))
  1
  1
  (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 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)) (cbrt 1)))
  (/ (+ 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 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
  (* 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 (* 0.04481 (* x 0.04481)))))
  (exp (+ 2.30753 (* x 0.27061)))
  (log (+ 2.30753 (* x 0.27061)))
  (exp (+ 2.30753 (* x 0.27061)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (cbrt (+ 2.30753 (* x 0.27061)))
  (pow (+ 2.30753 (* x 0.27061)) 3)
  (sqrt (+ 2.30753 (* x 0.27061)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (+ (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))
  (+ 0.4333638132548656 (* x (- 0.37920088514346545 (* x 0.02505083423776644))))
  (+ 2.254864010426164 (- (* x 0.16558885480950444) (/ 15.532191530167713 x)))
  (+ 2.254864010426164 (- (* x 0.16558885480950444) (/ 15.532191530167713 x)))
  (+ 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 0.27061))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
0.798 * * * [progress]: adding candidates to table
1.066 * [progress]: [Phase 3 of 3] Extracting.
1.066 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))> #<alt (λ (x) (- x (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))>)
1.067 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.067 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))> #<alt (λ (x) (- x (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))))>)
1.089 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.089 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
1.091 * * [simplify]: iteration  0 :  134  enodes  (cost  19 )
1.091 * * [simplify]: iteration  1 :  134  enodes  (cost  19 )
1.091 * [simplify]: Simplified to:
   (+ x (* (+ 2.30753 (* x 0.27061)) (/ -1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
1.772 * [regime-testing]: End program error score: 0.012544049256517644