7.872 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.093 * * [simplify]: iteration  0 :  4977  enodes  (cost  17 )
0.093 * * [simplify]: iteration  1 :  4977  enodes  (cost  17 )
0.093 * [simplify]: Simplified to:
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
0.096 * * [progress]: iteration 1 / 4
0.096 * * * [progress]: picking best candidate
0.098 * * * * [pick]: Picked  #<alt (λ (x) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))>
0.098 * * * [progress]: localizing error
0.108 * * * [progress]: generating rewritten candidates
0.108 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.115 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
0.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.123 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
0.128 * * * [progress]: generating series expansions
0.128 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.128 * [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.128 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.128 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.128 * [taylor]: Taking taylor expansion of 0.27061 in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of 2.30753 in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.128 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.128 * [taylor]: Taking taylor expansion of 0.04481 in x
0.128 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.128 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.128 * [taylor]: Taking taylor expansion of 0.99229 in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of 1.0 in x
0.128 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.128 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.128 * [taylor]: Taking taylor expansion of 0.27061 in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of 2.30753 in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.128 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.128 * [taylor]: Taking taylor expansion of 0.04481 in x
0.128 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.128 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.129 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.129 * [taylor]: Taking taylor expansion of 0.99229 in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of 1.0 in x
0.129 * [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.129 * [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.129 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.129 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.129 * [taylor]: Taking taylor expansion of 0.27061 in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.129 * [taylor]: Taking taylor expansion of 2.30753 in x
0.129 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.129 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.129 * [taylor]: Taking taylor expansion of 0.04481 in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.129 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.130 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of 0.99229 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of 1.0 in x
0.130 * [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.130 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.130 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of 0.27061 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of 2.30753 in x
0.130 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.130 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.130 * [taylor]: Taking taylor expansion of 0.04481 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.130 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.130 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.130 * [taylor]: Taking taylor expansion of 0.99229 in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of 1.0 in x
0.131 * [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.131 * [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.131 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.131 * [taylor]: Taking taylor expansion of 2.30753 in x
0.131 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.131 * [taylor]: Taking taylor expansion of 0.27061 in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.131 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.131 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.131 * [taylor]: Taking taylor expansion of 0.04481 in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.131 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of 1.0 in x
0.131 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.131 * [taylor]: Taking taylor expansion of 0.99229 in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.132 * [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.132 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.132 * [taylor]: Taking taylor expansion of 2.30753 in x
0.132 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.132 * [taylor]: Taking taylor expansion of 0.27061 in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x
0.132 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x
0.132 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.132 * [taylor]: Taking taylor expansion of 0.04481 in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.132 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of 1.0 in x
0.132 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.132 * [taylor]: Taking taylor expansion of 0.99229 in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.133 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
0.133 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.133 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.133 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.133 * [taylor]: Taking taylor expansion of 0.04481 in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of 0.99229 in x
0.133 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.133 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.133 * [taylor]: Taking taylor expansion of 0.04481 in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of 0.99229 in x
0.134 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.134 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.134 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.134 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.134 * [taylor]: Taking taylor expansion of 0.04481 in x
0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of 0.99229 in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.134 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.134 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.134 * [taylor]: Taking taylor expansion of 0.04481 in x
0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of 0.99229 in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.136 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.136 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.136 * [taylor]: Taking taylor expansion of -1 in x
0.136 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.136 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.136 * [taylor]: Taking taylor expansion of 0.99229 in x
0.136 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.136 * [taylor]: Taking taylor expansion of 0.04481 in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.136 * [taylor]: Taking taylor expansion of -1 in x
0.136 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.136 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.136 * [taylor]: Taking taylor expansion of 0.99229 in x
0.136 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.136 * [taylor]: Taking taylor expansion of 0.04481 in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.138 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.138 * [approximate]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in (x) around 0
0.138 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.138 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.138 * [taylor]: Taking taylor expansion of 0.27061 in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of 2.30753 in x
0.138 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.138 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.138 * [taylor]: Taking taylor expansion of 0.27061 in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of 2.30753 in x
0.139 * [approximate]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in (x) around 0
0.139 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.139 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of 0.27061 in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of 2.30753 in x
0.139 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.139 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of 0.27061 in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of 2.30753 in x
0.140 * [approximate]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in (x) around 0
0.140 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.140 * [taylor]: Taking taylor expansion of 2.30753 in x
0.140 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of 0.27061 in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.140 * [taylor]: Taking taylor expansion of 2.30753 in x
0.140 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of 0.27061 in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.141 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
0.141 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0
0.141 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.141 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.141 * [taylor]: Taking taylor expansion of 0.04481 in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of 0.99229 in x
0.141 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.141 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.142 * [taylor]: Taking taylor expansion of 0.04481 in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 0.99229 in x
0.142 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0
0.142 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.142 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.142 * [taylor]: Taking taylor expansion of 0.04481 in x
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 0.99229 in x
0.142 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.142 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.142 * [taylor]: Taking taylor expansion of 0.04481 in x
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 0.99229 in x
0.143 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0
0.144 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.144 * [taylor]: Taking taylor expansion of 0.99229 in x
0.144 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.144 * [taylor]: Taking taylor expansion of 0.04481 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 (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.144 * [taylor]: Taking taylor expansion of 0.99229 in x
0.144 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.144 * [taylor]: Taking taylor expansion of 0.04481 in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.145 * * * [progress]: simplifying candidates
0.146 * [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.173 * * [simplify]: iteration  0 :  5005  enodes  (cost  1145 )
0.177 * [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.177 * * * [progress]: adding candidates to table
0.299 * * [progress]: iteration 2 / 4
0.300 * * * [progress]: picking best candidate
0.305 * * * * [pick]: Picked  #<alt (λ (x) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))>
0.305 * * * [progress]: localizing error
0.319 * * * [progress]: generating rewritten candidates
0.319 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.321 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1)
0.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1)
0.342 * * * [progress]: generating series expansions
0.343 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.343 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.343 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.343 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.343 * [taylor]: Taking taylor expansion of 0.04481 in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of 0.99229 in x
0.343 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.343 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.343 * [taylor]: Taking taylor expansion of 0.04481 in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of 0.99229 in x
0.344 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.344 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.344 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.344 * [taylor]: Taking taylor expansion of 0.04481 in x
0.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of 0.99229 in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.345 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.345 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.345 * [taylor]: Taking taylor expansion of 0.04481 in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of 0.99229 in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.346 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in (x) around 0
0.346 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in x
0.346 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.346 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.346 * [taylor]: Taking taylor expansion of -1 in x
0.346 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.346 * [taylor]: Taking taylor expansion of 0.99229 in x
0.346 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.346 * [taylor]: Taking taylor expansion of 0.04481 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in x
0.347 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.347 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.347 * [taylor]: Taking taylor expansion of -1 in x
0.347 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.347 * [taylor]: Taking taylor expansion of 0.99229 in x
0.347 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.347 * [taylor]: Taking taylor expansion of 0.04481 in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.351 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.351 * [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.351 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.351 * [taylor]: Taking taylor expansion of 0.27061 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 2.30753 in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.351 * [taylor]: Taking taylor expansion of 0.04481 in x
0.351 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.351 * [taylor]: Taking taylor expansion of 0.99229 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 1.0 in x
0.351 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.351 * [taylor]: Taking taylor expansion of 0.27061 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 2.30753 in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.351 * [taylor]: Taking taylor expansion of 0.04481 in x
0.351 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.351 * [taylor]: Taking taylor expansion of 0.99229 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 1.0 in x
0.352 * [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.352 * [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.352 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.352 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of 0.27061 in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of 2.30753 in x
0.352 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.352 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.352 * [taylor]: Taking taylor expansion of 0.04481 in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.352 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of 0.99229 in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of 1.0 in x
0.353 * [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.353 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.353 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.353 * [taylor]: Taking taylor expansion of 0.27061 in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of 2.30753 in x
0.353 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.353 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.353 * [taylor]: Taking taylor expansion of 0.04481 in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.353 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.353 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.353 * [taylor]: Taking taylor expansion of 0.99229 in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of 1.0 in x
0.356 * [approximate]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in (x) around 0
0.356 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in x
0.356 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.356 * [taylor]: Taking taylor expansion of 2.30753 in x
0.356 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.356 * [taylor]: Taking taylor expansion of 0.27061 in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2)))) in x
0.356 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) in x
0.356 * [taylor]: Taking taylor expansion of (* 0.99229 (/ (cbrt -1) x)) in x
0.356 * [taylor]: Taking taylor expansion of 0.99229 in x
0.356 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
0.356 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.356 * [taylor]: Taking taylor expansion of -1 in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of 1.0 in x
0.357 * [taylor]: Taking taylor expansion of (* 0.04481 (/ (cbrt -1) (pow x 2))) in x
0.357 * [taylor]: Taking taylor expansion of 0.04481 in x
0.357 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.357 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.357 * [taylor]: Taking taylor expansion of -1 in x
0.357 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in x
0.357 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.357 * [taylor]: Taking taylor expansion of 2.30753 in x
0.357 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.357 * [taylor]: Taking taylor expansion of 0.27061 in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2)))) in x
0.357 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) in x
0.357 * [taylor]: Taking taylor expansion of (* 0.99229 (/ (cbrt -1) x)) in x
0.357 * [taylor]: Taking taylor expansion of 0.99229 in x
0.357 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
0.357 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.357 * [taylor]: Taking taylor expansion of -1 in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of 1.0 in x
0.357 * [taylor]: Taking taylor expansion of (* 0.04481 (/ (cbrt -1) (pow x 2))) in x
0.357 * [taylor]: Taking taylor expansion of 0.04481 in x
0.358 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.358 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.361 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1)
0.361 * [approximate]: Taking taylor expansion of (pow (* x (+ (* 0.04481 x) 0.99229)) 3) in (x) around 0
0.361 * [taylor]: Taking taylor expansion of (pow (* x (+ (* 0.04481 x) 0.99229)) 3) in x
0.361 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.361 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.361 * [taylor]: Taking taylor expansion of 0.04481 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of 0.99229 in x
0.361 * [taylor]: Taking taylor expansion of (pow (* x (+ (* 0.04481 x) 0.99229)) 3) in x
0.361 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.361 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.361 * [taylor]: Taking taylor expansion of 0.04481 in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of 0.99229 in x
0.362 * [approximate]: Taking taylor expansion of (pow (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) 3) in (x) around 0
0.362 * [taylor]: Taking taylor expansion of (pow (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) 3) in x
0.362 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.362 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.362 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.362 * [taylor]: Taking taylor expansion of 0.04481 in x
0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 0.99229 in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of (pow (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) 3) in x
0.362 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.362 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.362 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.362 * [taylor]: Taking taylor expansion of 0.04481 in x
0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 0.99229 in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.363 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) 3) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) 3) in x
0.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.363 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.363 * [taylor]: Taking taylor expansion of 0.99229 in x
0.363 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.363 * [taylor]: Taking taylor expansion of 0.04481 in x
0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) 3) in x
0.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.364 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.364 * [taylor]: Taking taylor expansion of 0.99229 in x
0.364 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.364 * [taylor]: Taking taylor expansion of 0.04481 in x
0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1)
0.365 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.365 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.365 * [taylor]: Taking taylor expansion of 0.04481 in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of 0.99229 in x
0.365 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.365 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.365 * [taylor]: Taking taylor expansion of 0.04481 in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of 0.99229 in x
0.366 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.366 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.366 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.366 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of 0.04481 in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 0.99229 in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.366 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.366 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.366 * [taylor]: Taking taylor expansion of 0.04481 in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 0.99229 in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.368 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0
0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.368 * [taylor]: Taking taylor expansion of -1 in x
0.368 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.368 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.368 * [taylor]: Taking taylor expansion of 0.99229 in x
0.368 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.368 * [taylor]: Taking taylor expansion of 0.04481 in x
0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x
0.368 * [taylor]: Taking taylor expansion of -1 in x
0.368 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x
0.368 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.368 * [taylor]: Taking taylor expansion of 0.99229 in x
0.368 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.368 * [taylor]: Taking taylor expansion of 0.04481 in x
0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.370 * * * [progress]: simplifying candidates
0.371 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (exp (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt (pow x 3))
  (cbrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (cbrt (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (cbrt (* (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (cbrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt (pow x 3))
  (cbrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (cbrt (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))
  (cbrt (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt 1)
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) (/ 3 2)))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) (/ 3 2)))
  (cbrt (pow (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3))) 3))
  (cbrt (pow (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) 3))
  (cbrt (pow (* x (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481)))) 3))
  (cbrt (pow (- 0.99229 (* x 0.04481)) 3))
  (* (cbrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (cbrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (cbrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (* (* (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (sqrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (sqrt (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (neg (+ 2.30753 (* x 0.27061)))
  (neg (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ 1 (* (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ 1 (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ 1 (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))
  (/ (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (cbrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))))
  (* (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (* (+ 1.0 (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (- 2.30753 (* x 0.27061)))
  (* (+ (log x) (log (+ 0.99229 (* x 0.04481)))) 3)
  (* (log (* x (+ 0.99229 (* x 0.04481)))) 3)
  (* (log (* x (+ 0.99229 (* x 0.04481)))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* x (+ 0.99229 (* x 0.04481))) (* (cbrt 3) (cbrt 3)))
  (pow (* x (+ 0.99229 (* x 0.04481))) (sqrt 3))
  (pow (* x (+ 0.99229 (* x 0.04481))) 1)
  (pow x 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
  (log (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (exp (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (* (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (* (* (pow (* x (+ 0.99229 (* x 0.04481))) 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)) (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (pow x 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3))) 3)
  (pow (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) 3)
  (pow (* x (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481)))) 3)
  (pow (- 0.99229 (* x 0.04481)) 3)
  (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (pow (* x (+ 0.99229 (* x 0.04481))) (/ 3 2))
  (pow (* x (+ 0.99229 (* x 0.04481))) (/ 3 2))
  (* 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))))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (neg (+ (* 0.99229 (* (cbrt -1) x)) (* 0.04481 (* (cbrt -1) (pow x 2)))))
  (- (+ (* 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))))
  (- (* 82.23527511657369 (/ 1 (* (cbrt -1) (pow x 2)))) (+ (* 134.77022500865442 (/ 1 (* (pow (cbrt -1) 2) (pow x 3)))) (+ (* 6.039053782637804 (/ 1 (* (cbrt -1) x))) (* 1821.0497912391186 (/ 1 (* (cbrt -1) (pow x 3)))))))
  (+ (* 0.977047873985989 (pow x 3)) (+ (* 0.005977364738007 (pow x 5)) (* 0.132365080470363 (pow x 4))))
  (+ (* 8.997561664100001e-05 (pow x 6)) (+ (* 0.132365080470363 (pow x 4)) (* 0.005977364738007 (pow x 5))))
  (+ (* 8.997561664100001e-05 (pow x 6)) (+ (* 0.132365080470363 (pow x 4)) (* 0.005977364738007 (pow x 5))))
  (+ (* 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.395 * * [simplify]: iteration  0 :  6217  enodes  (cost  1572 )
0.401 * [simplify]: Simplified to:
   (log (* x (+ 0.99229 (* x 0.04481))))
  (pow (exp x) (+ 0.99229 (* x 0.04481)))
  x
  (+ 0.99229 (* x 0.04481))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 2))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 2))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  x
  (+ 0.99229 (* x 0.04481))
  (cbrt (* x (+ 0.99229 (* x 0.04481))))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 2))
  (cbrt (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3)))
  (cbrt 1)
  (* x (+ 0.99229 (* x 0.04481)))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3/2))
  (cbrt (pow (* x (+ 0.99229 (* x 0.04481))) 3/2))
  (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3)))
  (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229))))
  (* x (- (* 0.99229 0.99229) (* x (* 0.04481 (* 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))))
  (pow (* x (+ 0.99229 (* x 0.04481))) 3)
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (sqrt (* x (+ 0.99229 (* x 0.04481))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) 3)
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) 3)
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (- (* x (neg 0.27061)) 2.30753)
  (- (neg 1.0) (* x (+ 0.99229 (* x 0.04481))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ 1 (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ 1 (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ 1 (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)) (cbrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (* x (+ 0.99229 (* x 0.04481))) 1.0)))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow (* x (+ 0.99229 (* x 0.04481))) 3) (pow 1.0 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (pow (* x (+ 0.99229 (* x 0.04481))) 2)))
  (* (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (+ (* x (+ 0.99229 (* x 0.04481))) 1.0) (- 2.30753 (* x 0.27061)))
  (* 3 (log (* x (+ 0.99229 (* x 0.04481)))))
  (* 3 (log (* x (+ 0.99229 (* x 0.04481)))))
  (* 3 (log (* x (+ 0.99229 (* x 0.04481)))))
  3
  3
  (pow (* x (+ 0.99229 (* x 0.04481))) (* (cbrt 3) (cbrt 3)))
  (pow (* x (+ 0.99229 (* x 0.04481))) (sqrt 3))
  (* x (+ 0.99229 (* x 0.04481)))
  (pow x 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (* x (+ 0.99229 (* x 0.04481))) 2)
  (* 3 (log (* x (+ 0.99229 (* x 0.04481)))))
  (exp (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (pow (* x (+ 0.99229 (* x 0.04481))) 2)
  (* x (+ 0.99229 (* x 0.04481)))
  (pow (pow (* x (+ 0.99229 (* x 0.04481))) 3) 3)
  (pow x 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (* x (+ (pow 0.99229 3) (pow (* x 0.04481) 3))) 3)
  (pow (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229)))) 3)
  (pow (* x (- (* 0.99229 0.99229) (* x (* 0.04481 (* x 0.04481))))) 3)
  (pow (- 0.99229 (* x 0.04481)) 3)
  (pow (* x (+ 0.99229 (* x 0.04481))) 2)
  (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (sqrt (pow (* x (+ 0.99229 (* x 0.04481))) 3))
  (pow (* x (+ 0.99229 (* x 0.04481))) 3/2)
  (pow (* x (+ 0.99229 (* x 0.04481))) 3/2)
  (* 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)))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (- (* x (* 0.99229 (neg (cbrt -1)))) (* 0.04481 (* x (* x (cbrt -1)))))
  (+ 2.30753 (- (* x (* x 1.900161040244073)) (* x 2.0191289436999997)))
  (+ (/ 6.039053782637804 x) (- (/ 1686.279566230464 (pow x 3)) (/ 82.23527511657369 (* x x))))
  (- (/ 82.23527511657369 (* x (* x (cbrt -1)))) (+ (/ 134.77022500865442 (* (pow x 3) (pow (cbrt -1) 2))) (+ (/ 6.039053782637804 (* x (cbrt -1))) (/ 1821.0497912391186 (* (pow x 3) (cbrt -1))))))
  (+ (* (pow x 3) 0.977047873985989) (+ (* 0.005977364738007 (pow x 5)) (* 0.132365080470363 (pow x 4))))
  (+ (* 0.005977364738007 (pow x 5)) (+ (* 0.132365080470363 (pow x 4)) (* 8.997561664100001e-05 (pow x 6))))
  (+ (* 0.005977364738007 (pow x 5)) (+ (* 0.132365080470363 (pow x 4)) (* 8.997561664100001e-05 (pow x 6))))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
0.402 * * * [progress]: adding candidates to table
0.577 * * [progress]: iteration 3 / 4
0.577 * * * [progress]: picking best candidate
0.580 * * * * [pick]: Picked  #<alt (λ (x) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))>
0.580 * * * [progress]: localizing error
0.595 * * * [progress]: generating rewritten candidates
0.595 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.602 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
0.612 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
0.628 * * * [progress]: generating series expansions
0.628 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.628 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0
0.628 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.628 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.628 * [taylor]: Taking taylor expansion of 0.04481 in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of 0.99229 in x
0.628 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.628 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.628 * [taylor]: Taking taylor expansion of 0.04481 in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of 0.99229 in x
0.630 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0
0.630 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.630 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.630 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.630 * [taylor]: Taking taylor expansion of 0.04481 in x
0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of 0.99229 in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x
0.630 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.630 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.630 * [taylor]: Taking taylor expansion of 0.04481 in x
0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of 0.99229 in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.632 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in (x) around 0
0.632 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in x
0.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.632 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.632 * [taylor]: Taking taylor expansion of -1 in x
0.632 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.632 * [taylor]: Taking taylor expansion of 0.99229 in x
0.632 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.632 * [taylor]: Taking taylor expansion of 0.04481 in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) x) in x
0.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 0.99229 (* 0.04481 (/ 1 x)))) in x
0.632 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.632 * [taylor]: Taking taylor expansion of -1 in x
0.632 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.632 * [taylor]: Taking taylor expansion of 0.99229 in x
0.632 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.632 * [taylor]: Taking taylor expansion of 0.04481 in x
0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of x in x
0.636 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.636 * [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.636 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.636 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.636 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.636 * [taylor]: Taking taylor expansion of 0.27061 in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of 2.30753 in x
0.636 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.636 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.636 * [taylor]: Taking taylor expansion of 0.04481 in x
0.636 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.636 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.636 * [taylor]: Taking taylor expansion of 0.99229 in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of 1.0 in x
0.637 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x
0.637 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x
0.637 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x
0.637 * [taylor]: Taking taylor expansion of 0.27061 in x
0.637 * [taylor]: Taking taylor expansion of x in x
0.637 * [taylor]: Taking taylor expansion of 2.30753 in x
0.637 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x
0.637 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x
0.637 * [taylor]: Taking taylor expansion of 0.04481 in x
0.637 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.637 * [taylor]: Taking taylor expansion of x in x
0.637 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x
0.637 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x
0.637 * [taylor]: Taking taylor expansion of 0.99229 in x
0.637 * [taylor]: Taking taylor expansion of x in x
0.637 * [taylor]: Taking taylor expansion of 1.0 in x
0.637 * [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.637 * [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.637 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.637 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.637 * [taylor]: Taking taylor expansion of 0.27061 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of 2.30753 in x
0.638 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.638 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.638 * [taylor]: Taking taylor expansion of 0.04481 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.638 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.638 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.638 * [taylor]: Taking taylor expansion of 0.99229 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of 1.0 in x
0.638 * [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.638 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x
0.638 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.638 * [taylor]: Taking taylor expansion of 0.27061 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of 2.30753 in x
0.638 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x
0.638 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x
0.638 * [taylor]: Taking taylor expansion of 0.04481 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.638 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x
0.638 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x
0.638 * [taylor]: Taking taylor expansion of 0.99229 in x
0.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.638 * [taylor]: Taking taylor expansion of x in x
0.638 * [taylor]: Taking taylor expansion of 1.0 in x
0.639 * [approximate]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in (x) around 0
0.639 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in x
0.639 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.639 * [taylor]: Taking taylor expansion of 2.30753 in x
0.639 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.639 * [taylor]: Taking taylor expansion of 0.27061 in x
0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.639 * [taylor]: Taking taylor expansion of (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2)))) in x
0.639 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) in x
0.639 * [taylor]: Taking taylor expansion of (* 0.99229 (/ (cbrt -1) x)) in x
0.639 * [taylor]: Taking taylor expansion of 0.99229 in x
0.639 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
0.639 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.639 * [taylor]: Taking taylor expansion of -1 in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.640 * [taylor]: Taking taylor expansion of 1.0 in x
0.640 * [taylor]: Taking taylor expansion of (* 0.04481 (/ (cbrt -1) (pow x 2))) in x
0.640 * [taylor]: Taking taylor expansion of 0.04481 in x
0.640 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.640 * [taylor]: Taking taylor expansion of -1 in x
0.640 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.640 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2))))) in x
0.640 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x
0.640 * [taylor]: Taking taylor expansion of 2.30753 in x
0.640 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x
0.640 * [taylor]: Taking taylor expansion of 0.27061 in x
0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.640 * [taylor]: Taking taylor expansion of (- (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) (* 0.04481 (/ (cbrt -1) (pow x 2)))) in x
0.640 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ (cbrt -1) x)) 1.0) in x
0.640 * [taylor]: Taking taylor expansion of (* 0.99229 (/ (cbrt -1) x)) in x
0.640 * [taylor]: Taking taylor expansion of 0.99229 in x
0.640 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.640 * [taylor]: Taking taylor expansion of -1 in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of 1.0 in x
0.641 * [taylor]: Taking taylor expansion of (* 0.04481 (/ (cbrt -1) (pow x 2))) in x
0.641 * [taylor]: Taking taylor expansion of 0.04481 in x
0.641 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
0.641 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.641 * [taylor]: Taking taylor expansion of -1 in x
0.641 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
0.644 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 x) 0.99229) 3) in (x) around 0
0.644 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 x) 0.99229) 3) in x
0.644 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.644 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.644 * [taylor]: Taking taylor expansion of 0.04481 in x
0.644 * [taylor]: Taking taylor expansion of x in x
0.644 * [taylor]: Taking taylor expansion of 0.99229 in x
0.644 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 x) 0.99229) 3) in x
0.644 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.644 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.644 * [taylor]: Taking taylor expansion of 0.04481 in x
0.644 * [taylor]: Taking taylor expansion of x in x
0.644 * [taylor]: Taking taylor expansion of 0.99229 in x
0.645 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) in x
0.645 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.645 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.645 * [taylor]: Taking taylor expansion of 0.04481 in x
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of 0.99229 in x
0.645 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) in x
0.645 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.645 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.645 * [taylor]: Taking taylor expansion of 0.04481 in x
0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of 0.99229 in x
0.646 * [approximate]: Taking taylor expansion of (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) in (x) around 0
0.646 * [taylor]: Taking taylor expansion of (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) in x
0.646 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.646 * [taylor]: Taking taylor expansion of 0.99229 in x
0.646 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.646 * [taylor]: Taking taylor expansion of 0.04481 in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) in x
0.646 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.646 * [taylor]: Taking taylor expansion of 0.99229 in x
0.646 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.646 * [taylor]: Taking taylor expansion of 0.04481 in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.647 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
0.647 * [approximate]: Taking taylor expansion of (* (pow x 3) (pow (+ (* 0.04481 x) 0.99229) 3)) in (x) around 0
0.647 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (+ (* 0.04481 x) 0.99229) 3)) in x
0.647 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 x) 0.99229) 3) in x
0.647 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.647 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.647 * [taylor]: Taking taylor expansion of 0.04481 in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of 0.99229 in x
0.647 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (+ (* 0.04481 x) 0.99229) 3)) in x
0.647 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 x) 0.99229) 3) in x
0.647 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x
0.647 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x
0.647 * [taylor]: Taking taylor expansion of 0.04481 in x
0.647 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of 0.99229 in x
0.648 * [approximate]: Taking taylor expansion of (/ (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) (pow x 3)) in (x) around 0
0.648 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) (pow x 3)) in x
0.648 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) in x
0.648 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.648 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.648 * [taylor]: Taking taylor expansion of 0.04481 in x
0.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of 0.99229 in x
0.648 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) (pow x 3)) in x
0.648 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 x)) 0.99229) 3) in x
0.648 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x
0.648 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.648 * [taylor]: Taking taylor expansion of 0.04481 in x
0.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.648 * [taylor]: Taking taylor expansion of 0.99229 in x
0.648 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.649 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) (pow x 3))) in (x) around 0
0.649 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) (pow x 3))) in x
0.649 * [taylor]: Taking taylor expansion of -1 in x
0.649 * [taylor]: Taking taylor expansion of (/ (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) (pow x 3)) in x
0.649 * [taylor]: Taking taylor expansion of (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) in x
0.649 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.649 * [taylor]: Taking taylor expansion of 0.99229 in x
0.649 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.649 * [taylor]: Taking taylor expansion of 0.04481 in x
0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) (pow x 3))) in x
0.650 * [taylor]: Taking taylor expansion of -1 in x
0.650 * [taylor]: Taking taylor expansion of (/ (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) (pow x 3)) in x
0.650 * [taylor]: Taking taylor expansion of (pow (- 0.99229 (* 0.04481 (/ 1 x))) 3) in x
0.650 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x
0.650 * [taylor]: Taking taylor expansion of 0.99229 in x
0.650 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of 0.04481 in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.651 * * * [progress]: simplifying candidates
0.653 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (exp (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (cbrt (pow x 3))
  (cbrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (cbrt (* (pow x 3) (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3)))
  (cbrt (pow (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) 3))
  (cbrt (* (pow x 3) (pow (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) 3)))
  (cbrt (pow (- 0.99229 (* x 0.04481)) 3))
  (* (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* (* (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (sqrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (sqrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (neg (+ 2.30753 (* x 0.27061)))
  (neg (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ 1 (* (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ 1 (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ 1 1)
  (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ 1 (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (/ (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))) (cbrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 2.30753 (* x 0.27061)) 1)
  (/ (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (* (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))))
  (* (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (- 2.30753 (* x 0.27061)))
  (* (log (+ 0.99229 (* x 0.04481))) 3)
  (* (log (+ 0.99229 (* x 0.04481))) 3)
  (* 1 3)
  (pow (+ 0.99229 (* x 0.04481)) (* (cbrt 3) (cbrt 3)))
  (pow (+ 0.99229 (* x 0.04481)) (sqrt 3))
  (pow (+ 0.99229 (* x 0.04481)) 1)
  (pow (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) 3)
  (pow (cbrt (+ 0.99229 (* x 0.04481))) 3)
  (pow (sqrt (+ 0.99229 (* x 0.04481))) 3)
  (pow (sqrt (+ 0.99229 (* x 0.04481))) 3)
  (pow 1 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)))
  (log (pow (+ 0.99229 (* x 0.04481)) 3))
  (exp (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (cbrt (pow (+ 0.99229 (* x 0.04481)) 3)) (cbrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (cbrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (* (pow (+ 0.99229 (* x 0.04481)) 3) (pow (+ 0.99229 (* x 0.04481)) 3)) (pow (+ 0.99229 (* x 0.04481)) 3))
  (pow (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) 3)
  (pow (cbrt (+ 0.99229 (* x 0.04481))) 3)
  (pow (sqrt (+ 0.99229 (* x 0.04481))) 3)
  (pow (sqrt (+ 0.99229 (* x 0.04481))) 3)
  (pow 1 3)
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3)
  (pow (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) 3)
  (pow (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) 3)
  (pow (- 0.99229 (* x 0.04481)) 3)
  (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)))
  (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (pow (+ 0.99229 (* x 0.04481)) (/ 3 2))
  (pow (+ 0.99229 (* x 0.04481)) (/ 3 2))
  (* x (+ 0.99229 (* x 0.04481)))
  (+ (* (log x) 3) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (* (log x) 3) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (* (log x) 3) (log (pow (+ 0.99229 (* x 0.04481)) 3)))
  (+ (* (log x) 3) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (* (log x) 3) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (* (log x) 3) (log (pow (+ 0.99229 (* x 0.04481)) 3)))
  (+ (log (pow x 3)) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (log (pow x 3)) (* (log (+ 0.99229 (* x 0.04481))) 3))
  (+ (log (pow x 3)) (log (pow (+ 0.99229 (* x 0.04481)) 3)))
  (log (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (exp (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* (pow (+ 0.99229 (* x 0.04481)) 3) (pow (+ 0.99229 (* x 0.04481)) 3)) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (* (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)) (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (sqrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (sqrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (sqrt x) 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow (sqrt x) 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (sqrt x) 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (sqrt (pow x 3)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (sqrt (pow x 3)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (sqrt (pow x 3)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (sqrt (pow x 3)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (sqrt (pow x 3)) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (sqrt (pow x 3)) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (sqrt (pow x 3)) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (sqrt (pow x 3)) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow x (/ 3 2)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x (/ 3 2)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x (/ 3 2)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x (/ 3 2)) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x (/ 3 2)) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow x (/ 3 2)) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow x (/ 3 2)) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow x (/ 3 2)) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow x 3) (pow (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) 3))
  (* (pow x 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x 3) (pow 1 3))
  (* (pow x 3) (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))))
  (* (pow x 3) (* (cbrt (pow (+ 0.99229 (* x 0.04481)) 3)) (cbrt (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* (pow x 3) (pow (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) 3))
  (* (pow x 3) (pow (sqrt (+ 0.99229 (* x 0.04481))) 3))
  (* (pow x 3) (pow 1 3))
  (* (pow x 3) (+ 0.99229 (* x 0.04481)))
  (* (pow x 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow x 3) 1)
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) (/ 3 2)))
  (* (pow (cbrt x) 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (cbrt (pow x 3)) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow (cbrt x) 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow (sqrt x) 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (* x x) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (sqrt (pow x 3)) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow x (/ 3 2)) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow x 3) (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3))
  (* (pow x 3) (pow (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) 3))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (+ (* 0.04481 (pow x 2)) (* 0.99229 x))
  (neg (+ (* 0.99229 (* (cbrt -1) x)) (* 0.04481 (* (cbrt -1) (pow x 2)))))
  (- (+ (* 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))))
  (- (* 82.23527511657369 (/ 1 (* (cbrt -1) (pow x 2)))) (+ (* 134.77022500865442 (/ 1 (* (pow (cbrt -1) 2) (pow x 3)))) (+ (* 6.039053782637804 (/ 1 (* (cbrt -1) x))) (* 1821.0497912391186 (/ 1 (* (cbrt -1) (pow x 3)))))))
  (+ (* 0.005977364738007 (pow x 2)) (+ (* 0.132365080470363 x) 0.977047873985989))
  (+ (* 0.005977364738007 (pow x 2)) (+ (* 0.132365080470363 x) (* 8.997561664100001e-05 (pow x 3))))
  (+ (* 0.005977364738007 (pow x 2)) (+ (* 0.132365080470363 x) (* 8.997561664100001e-05 (pow x 3))))
  (+ (* 0.977047873985989 (pow x 3)) (+ (* 0.005977364738007 (pow x 5)) (* 0.132365080470363 (pow x 4))))
  (+ (* 8.997561664100001e-05 (pow x 6)) (+ (* 0.132365080470363 (pow x 4)) (* 0.005977364738007 (pow x 5))))
  (+ (* 8.997561664100001e-05 (pow x 6)) (+ (* 0.132365080470363 (pow x 4)) (* 0.005977364738007 (pow x 5))))
0.683 * * [simplify]: iteration  0 :  5140  enodes  (cost  2428 )
0.691 * [simplify]: Simplified to:
   (log (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (exp (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  x
  (+ 0.99229 (* x 0.04481))
  (cbrt (* (pow x 3) (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3)))
  (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229))))
  (cbrt (* (pow x 3) (pow (- (* 0.99229 0.99229) (* x (* 0.04481 (* x 0.04481)))) 3)))
  (- 0.99229 (* x 0.04481))
  (* (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))) (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))))
  (cbrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (sqrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (sqrt (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (log (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (exp (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)) 3)
  (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))))
  (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (pow (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)) 3)
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (- (* x (neg 0.27061)) 2.30753)
  (- (neg 1.0) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (sqrt (+ 2.30753 (* x 0.27061)))
  (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (/ 1 (* (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (/ 1 (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  1
  (/ (+ 2.30753 (* x 0.27061)) (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (/ 1 (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))
  (/ (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)) (cbrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0))))
  (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0)))
  (+ 2.30753 (* x 0.27061))
  (+ 2.30753 (* x 0.27061))
  (/ (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (cbrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (sqrt (+ 2.30753 (* x 0.27061))))
  (/ (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (+ 2.30753 (* x 0.27061)))
  (/ (+ 2.30753 (* x 0.27061)) (+ (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)) (pow 1.0 3)))
  (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
  (* (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (+ (* 2.30753 2.30753) (* x (* 0.27061 (- (* x 0.27061) 2.30753)))))
  (* (+ (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) 1.0) (- 2.30753 (* x 0.27061)))
  (* 3 (log (+ 0.99229 (* x 0.04481))))
  (* 3 (log (+ 0.99229 (* x 0.04481))))
  3
  (pow (+ 0.99229 (* x 0.04481)) (* (cbrt 3) (cbrt 3)))
  (pow (+ 0.99229 (* x 0.04481)) (sqrt 3))
  (+ 0.99229 (* x 0.04481))
  (pow (+ 0.99229 (* x 0.04481)) 2)
  (+ 0.99229 (* x 0.04481))
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  1
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (+ 0.99229 (* x 0.04481)) 2)
  (* 3 (log (+ 0.99229 (* x 0.04481))))
  (exp (pow (+ 0.99229 (* x 0.04481)) 3))
  (pow (+ 0.99229 (* x 0.04481)) 2)
  (+ 0.99229 (* x 0.04481))
  (pow (pow (+ 0.99229 (* x 0.04481)) 3) 3)
  (pow (+ 0.99229 (* x 0.04481)) 2)
  (+ 0.99229 (* x 0.04481))
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  1
  (pow (+ 0.99229 (* x 0.04481)) 3)
  (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3)
  (pow (+ (* 0.99229 0.99229) (* x (* 0.04481 (- (* x 0.04481) 0.99229)))) 3)
  (pow (- (* 0.99229 0.99229) (* x (* 0.04481 (* x 0.04481)))) 3)
  (pow (- 0.99229 (* x 0.04481)) 3)
  (pow (+ 0.99229 (* x 0.04481)) 2)
  (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  (pow (+ 0.99229 (* x 0.04481)) 3/2)
  (* x (+ 0.99229 (* x 0.04481)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (* 3 (+ (log (+ 0.99229 (* x 0.04481))) (log x)))
  (pow (exp (pow (+ 0.99229 (* x 0.04481)) 3)) (pow x 3))
  (pow (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)) 3)
  (* (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))) (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))
  (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (pow (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)) 3)
  (sqrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (sqrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* x (* (sqrt x) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* x (* (sqrt x) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3))))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3/2)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)) (sqrt (pow x 3)))
  (* (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (sqrt (pow x 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)) (pow x 3/2))
  (* (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)) (pow x 3/2))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (pow (+ 0.99229 (* x 0.04481)) 3/2) (pow x 3/2))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 2))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3/2))
  (pow x 3)
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 2))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 2))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 2))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3/2))
  (pow x 3)
  (* (pow x 3) (+ 0.99229 (* x 0.04481)))
  (* (pow x 3) (sqrt (pow (+ 0.99229 (* x 0.04481)) 3)))
  (pow x 3)
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3/2))
  (* x (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (* (sqrt x) (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* x (* x (pow (+ 0.99229 (* x 0.04481)) 3)))
  (* (pow (+ 0.99229 (* x 0.04481)) 3) (sqrt (pow x 3)))
  (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))
  (* (pow (+ 0.99229 (* x 0.04481)) 3) (pow x 3/2))
  (* (pow x 3) (pow (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) 3))
  (* (pow x 3) (pow (- (* 0.99229 0.99229) (* x (* 0.04481 (* x 0.04481)))) 3))
  (* x (+ 0.99229 (* x 0.04481)))
  (* x (+ 0.99229 (* x 0.04481)))
  (- (* x (* 0.99229 (neg (cbrt -1)))) (* 0.04481 (* x (* x (cbrt -1)))))
  (+ 2.30753 (- (* x (* x 1.900161040244073)) (* x 2.0191289436999997)))
  (+ (/ 6.039053782637804 x) (- (/ 1686.279566230464 (pow x 3)) (/ 82.23527511657369 (* x x))))
  (- (/ 82.23527511657369 (* x (* x (cbrt -1)))) (+ (/ 134.77022500865442 (* (pow x 3) (pow (cbrt -1) 2))) (+ (/ 6.039053782637804 (* x (cbrt -1))) (/ 1821.0497912391186 (* (pow x 3) (cbrt -1))))))
  (+ (* x (* x 0.005977364738007)) (+ (* x 0.132365080470363) 0.977047873985989))
  (+ (* x (* x 0.005977364738007)) (+ (* x 0.132365080470363) (* (pow x 3) 8.997561664100001e-05)))
  (+ (* x (* x 0.005977364738007)) (+ (* x 0.132365080470363) (* (pow x 3) 8.997561664100001e-05)))
  (+ (* (pow x 3) 0.977047873985989) (+ (* 0.005977364738007 (pow x 5)) (* 0.132365080470363 (pow x 4))))
  (+ (* 0.005977364738007 (pow x 5)) (+ (* 0.132365080470363 (pow x 4)) (* (pow x 6) 8.997561664100001e-05)))
  (+ (* 0.005977364738007 (pow x 5)) (+ (* 0.132365080470363 (pow x 4)) (* (pow x 6) 8.997561664100001e-05)))
0.692 * * * [progress]: adding candidates to table
0.961 * [progress]: [Phase 3 of 3] Extracting.
0.964 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
0.965 * * [simplify]: iteration  0 :  73  enodes  (cost  22 )
0.965 * * [simplify]: iteration  1 :  73  enodes  (cost  22 )
0.966 * [simplify]: Simplified to:
   (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (cbrt (* (pow x 3) (pow (+ 0.99229 (* x 0.04481)) 3))))))
1.674 * [regime-testing]: End program error score: 0.011781981055656312