1.346 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.011 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.013 * [simplify]: Sending expressions to egg_math:
 (+ (* (/ h0 h1) h2) (/ h3 h4))
0.016 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.018 * * [simplify]: iteration  1 :  17  enodes  (cost  4 )
0.020 * * [simplify]: iteration  2 :  19  enodes  (cost  4 )
0.021 * * [simplify]: iteration  3 :  21  enodes  (cost  4 )
0.023 * * [simplify]: iteration  4 :  22  enodes  (cost  4 )
0.025 * * [simplify]: iteration  5 :  22  enodes  (cost  4 )
0.025 * [simplify]: Simplified to:
   (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.025 * * [progress]: iteration 1 / 4
0.025 * * * [progress]: picking best candidate
0.030 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>
0.030 * * * [progress]: localizing error
0.036 * * * [progress]: generating rewritten candidates
0.036 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.051 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.068 * * * [progress]: generating series expansions
0.069 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.069 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.069 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.069 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.076 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0
0.076 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x
0.076 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x
0.076 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.080 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0
0.080 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x
0.080 * [taylor]: Taking taylor expansion of -7.787037037037037 in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x
0.080 * [taylor]: Taking taylor expansion of -7.787037037037037 in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.084 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.085 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0
0.085 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x
0.085 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.085 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.085 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x
0.085 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.085 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.093 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0
0.093 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.093 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.093 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.093 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.093 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.107 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0
0.108 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.108 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.108 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.108 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.108 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.108 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.108 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.121 * * * [progress]: simplifying candidates
0.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 841.0 108.0) x)
  (+ (- (log 841.0) (log 108.0)) (log x))
  (+ (log (/ 841.0 108.0)) (log x))
  (log (* (/ 841.0 108.0) x))
  (exp (* (/ 841.0 108.0) x))
  (* (/ (* (* 841.0 841.0) 841.0) (* (* 108.0 108.0) 108.0)) (* (* x x) x))
  (* (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (/ 841.0 108.0)) (* (* x x) x))
  (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x)))
  (cbrt (* (/ 841.0 108.0) x))
  (* (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ 841.0 108.0) (* (cbrt x) (cbrt x)))
  (* (/ 841.0 108.0) (sqrt x))
  (* (/ 841.0 108.0) 1)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (sqrt (/ 841.0 108.0)) x)
  (* (/ (cbrt 841.0) (cbrt 108.0)) x)
  (* (/ (cbrt 841.0) (sqrt 108.0)) x)
  (* (/ (cbrt 841.0) 108.0) x)
  (* (/ (sqrt 841.0) (cbrt 108.0)) x)
  (* (/ (sqrt 841.0) (sqrt 108.0)) x)
  (* (/ (sqrt 841.0) 108.0) x)
  (* (/ 841.0 (cbrt 108.0)) x)
  (* (/ 841.0 (sqrt 108.0)) x)
  (* (/ 841.0 108.0) x)
  (* (/ 841.0 108.0) x)
  (* (/ 1 108.0) x)
  (* 841.0 x)
  (* (exp (* (/ 841.0 108.0) x)) (exp (/ 4.0 29.0)))
  (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))))
  (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (* (* (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
  (* 108.0 29.0)
  (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (/ 4.0 29.0))))
  (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
0.122 * [simplify]: Sending expressions to egg_math:
 (* (/ h0 h1) h2)
 (+ (- (log h0) (log h1)) (log h2))
 (+ (log (/ h0 h1)) (log h2))
 (log (* (/ h0 h1) h2))
 (exp (* (/ h0 h1) h2))
 (* (/ (* (* h0 h0) h0) (* (* h1 h1) h1)) (* (* h2 h2) h2))
 (* (* (* (/ h0 h1) (/ h0 h1)) (/ h0 h1)) (* (* h2 h2) h2))
 (* (cbrt (* (/ h0 h1) h2)) (cbrt (* (/ h0 h1) h2)))
 (cbrt (* (/ h0 h1) h2))
 (* (* (* (/ h0 h1) h2) (* (/ h0 h1) h2)) (* (/ h0 h1) h2))
 (sqrt (* (/ h0 h1) h2))
 (sqrt (* (/ h0 h1) h2))
 (* (sqrt (/ h0 h1)) (sqrt h2))
 (* (sqrt (/ h0 h1)) (sqrt h2))
 (* (/ (sqrt h0) (sqrt h1)) (sqrt h2))
 (* (/ (sqrt h0) (sqrt h1)) (sqrt h2))
 (* (/ h0 h1) (* (cbrt h2) (cbrt h2)))
 (* (/ h0 h1) (sqrt h2))
 (* (/ h0 h1) 1)
 (* (cbrt (/ h0 h1)) h2)
 (* (sqrt (/ h0 h1)) h2)
 (* (/ (cbrt h0) (cbrt h1)) h2)
 (* (/ (cbrt h0) (sqrt h1)) h2)
 (* (/ (cbrt h0) h1) h2)
 (* (/ (sqrt h0) (cbrt h1)) h2)
 (* (/ (sqrt h0) (sqrt h1)) h2)
 (* (/ (sqrt h0) h1) h2)
 (* (/ h0 (cbrt h1)) h2)
 (* (/ h0 (sqrt h1)) h2)
 (* (/ h0 h1) h2)
 (* (/ h0 h1) h2)
 (* (/ 1 h1) h2)
 (* h0 h2)
 (* (exp (* (/ h0 h1) h2)) (exp (/ h3 h4)))
 (log (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (exp (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (* (cbrt (+ (* (/ h0 h1) h2) (/ h3 h4))) (cbrt (+ (* (/ h0 h1) h2) (/ h3 h4))))
 (cbrt (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (* (* (+ (* (/ h0 h1) h2) (/ h3 h4)) (+ (* (/ h0 h1) h2) (/ h3 h4))) (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (sqrt (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (sqrt (+ (* (/ h0 h1) h2) (/ h3 h4)))
 (+ (* (* h0 h2) h4) (* h1 h3))
 (* h1 h4)
 (+ (pow (* (/ h0 h1) h2) 3) (pow (/ h3 h4) 3))
 (+ (* (* (/ h0 h1) h2) (* (/ h0 h1) h2)) (- (* (/ h3 h4) (/ h3 h4)) (* (* (/ h0 h1) h2) (/ h3 h4))))
 (- (* (* (/ h0 h1) h2) (* (/ h0 h1) h2)) (* (/ h3 h4) (/ h3 h4)))
 (- (* (/ h0 h1) h2) (/ h3 h4))
 (* h5 h2)
 (* h5 h2)
 (* h5 h2)
 (+ (* h5 h2) h6)
 (+ (* h5 h2) h6)
 (+ (* h5 h2) h6)
0.126 * * [simplify]: iteration  0 :  241  enodes  (cost  217 )
0.131 * * [simplify]: iteration  1 :  828  enodes  (cost  198 )
0.148 * * [simplify]: iteration  2 :  3241  enodes  (cost  196 )
0.200 * * [simplify]: iteration  3 :  5001  enodes  (cost  196 )
0.202 * [simplify]: Simplified to:
   (* (/ 841.0 108.0) x)
  (log (* (/ 841.0 108.0) x))
  (log (* (/ 841.0 108.0) x))
  (log (* (/ 841.0 108.0) x))
  (exp (* (/ 841.0 108.0) x))
  (pow (* (/ 841.0 108.0) x) 3)
  (pow (* (/ 841.0 108.0) x) 3)
  (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x)))
  (cbrt (* (/ 841.0 108.0) x))
  (pow (* (/ 841.0 108.0) x) 3)
  (sqrt (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ 841.0 108.0) (* (cbrt x) (cbrt x)))
  (* (/ 841.0 108.0) (sqrt x))
  (/ 841.0 108.0)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (sqrt (/ 841.0 108.0)) x)
  (* (/ (cbrt 841.0) (cbrt 108.0)) x)
  (* (/ (cbrt 841.0) (sqrt 108.0)) x)
  (* (/ (cbrt 841.0) 108.0) x)
  (* (/ (sqrt 841.0) (cbrt 108.0)) x)
  (* (/ (sqrt 841.0) (sqrt 108.0)) x)
  (* (/ (sqrt 841.0) 108.0) x)
  (* (/ 841.0 (cbrt 108.0)) x)
  (* (/ 841.0 (sqrt 108.0)) x)
  (* (/ 841.0 108.0) x)
  (* (/ 841.0 108.0) x)
  (/ x 108.0)
  (* 841.0 x)
  (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))))
  (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (pow (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 3)
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
  (* 108.0 29.0)
  (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (/ 841.0 108.0) x) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
0.202 * * * [progress]: adding candidates to table
0.303 * * [progress]: iteration 2 / 4
0.303 * * * [progress]: picking best candidate
0.310 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))>
0.310 * * * [progress]: localizing error
0.316 * * * [progress]: generating rewritten candidates
0.316 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.331 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.348 * * * [progress]: generating series expansions
0.348 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.348 * [approximate]: Taking taylor expansion of (* 7.787037037037036 x) in (x) around 0
0.348 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x
0.348 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.348 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x
0.348 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.354 * [approximate]: Taking taylor expansion of (/ 7.787037037037036 x) in (x) around 0
0.354 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x
0.354 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x
0.355 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.358 * [approximate]: Taking taylor expansion of (/ -7.787037037037036 x) in (x) around 0
0.358 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x
0.359 * [taylor]: Taking taylor expansion of -7.787037037037036 in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x
0.359 * [taylor]: Taking taylor expansion of -7.787037037037036 in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.363 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.363 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x
0.363 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x
0.363 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.364 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x
0.364 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x
0.364 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.374 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0
0.374 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x
0.374 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.374 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x
0.374 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x
0.375 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.375 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x
0.375 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.386 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0
0.386 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x
0.386 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.386 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x
0.386 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.386 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x
0.386 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.387 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x
0.387 * [taylor]: Taking taylor expansion of 7.787037037037036 in x
0.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.399 * * * [progress]: simplifying candidates
0.400 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 841.0 (/ x 108.0))
  (+ (log 841.0) (- (log x) (log 108.0)))
  (+ (log 841.0) (log (/ x 108.0)))
  (log (* 841.0 (/ x 108.0)))
  (exp (* 841.0 (/ x 108.0)))
  (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* 108.0 108.0) 108.0)))
  (* (* (* 841.0 841.0) 841.0) (* (* (/ x 108.0) (/ x 108.0)) (/ x 108.0)))
  (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0))))
  (cbrt (* 841.0 (/ x 108.0)))
  (* (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* 841.0 (/ x 108.0)))
  (sqrt (* 841.0 (/ x 108.0)))
  (sqrt (* 841.0 (/ x 108.0)))
  (* (sqrt 841.0) (sqrt (/ x 108.0)))
  (* (sqrt 841.0) (sqrt (/ x 108.0)))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0)))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0)))
  (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0))))
  (* 841.0 (sqrt (/ x 108.0)))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0)))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) 1))
  (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0))))
  (* 841.0 (/ (sqrt x) (sqrt 108.0)))
  (* 841.0 (/ (sqrt x) 1))
  (* 841.0 (/ 1 (* (cbrt 108.0) (cbrt 108.0))))
  (* 841.0 (/ 1 (sqrt 108.0)))
  (* 841.0 (/ 1 1))
  (* 841.0 1)
  (* 841.0 x)
  (* (cbrt 841.0) (/ x 108.0))
  (* (sqrt 841.0) (/ x 108.0))
  (* 841.0 (/ x 108.0))
  (* 841.0 x)
  (* (exp (* 841.0 (/ x 108.0))) (exp (/ 4.0 29.0)))
  (log (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (* (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))))
  (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (* (* (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
  (* 108.0 29.0)
  (+ (pow (* 841.0 (/ x 108.0)) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* 841.0 (/ x 108.0)) (/ 4.0 29.0))))
  (- (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0))
  (* 7.787037037037036 x)
  (* 7.787037037037036 x)
  (* 7.787037037037036 x)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
0.400 * [simplify]: Sending expressions to egg_math:
 (* h0 (/ h1 h2))
 (+ (log h0) (- (log h1) (log h2)))
 (+ (log h0) (log (/ h1 h2)))
 (log (* h0 (/ h1 h2)))
 (exp (* h0 (/ h1 h2)))
 (* (* (* h0 h0) h0) (/ (* (* h1 h1) h1) (* (* h2 h2) h2)))
 (* (* (* h0 h0) h0) (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)))
 (* (cbrt (* h0 (/ h1 h2))) (cbrt (* h0 (/ h1 h2))))
 (cbrt (* h0 (/ h1 h2)))
 (* (* (* h0 (/ h1 h2)) (* h0 (/ h1 h2))) (* h0 (/ h1 h2)))
 (sqrt (* h0 (/ h1 h2)))
 (sqrt (* h0 (/ h1 h2)))
 (* (sqrt h0) (sqrt (/ h1 h2)))
 (* (sqrt h0) (sqrt (/ h1 h2)))
 (* (sqrt h0) (/ (sqrt h1) (sqrt h2)))
 (* (sqrt h0) (/ (sqrt h1) (sqrt h2)))
 (* h0 (* (cbrt (/ h1 h2)) (cbrt (/ h1 h2))))
 (* h0 (sqrt (/ h1 h2)))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (* (cbrt h2) (cbrt h2))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (sqrt h2)))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) 1))
 (* h0 (/ (sqrt h1) (* (cbrt h2) (cbrt h2))))
 (* h0 (/ (sqrt h1) (sqrt h2)))
 (* h0 (/ (sqrt h1) 1))
 (* h0 (/ 1 (* (cbrt h2) (cbrt h2))))
 (* h0 (/ 1 (sqrt h2)))
 (* h0 (/ 1 1))
 (* h0 1)
 (* h0 h1)
 (* (cbrt h0) (/ h1 h2))
 (* (sqrt h0) (/ h1 h2))
 (* h0 (/ h1 h2))
 (* h0 h1)
 (* (exp (* h0 (/ h1 h2))) (exp (/ h3 h4)))
 (log (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (exp (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (* (cbrt (+ (* h0 (/ h1 h2)) (/ h3 h4))) (cbrt (+ (* h0 (/ h1 h2)) (/ h3 h4))))
 (cbrt (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (* (* (+ (* h0 (/ h1 h2)) (/ h3 h4)) (+ (* h0 (/ h1 h2)) (/ h3 h4))) (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (sqrt (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (sqrt (+ (* h0 (/ h1 h2)) (/ h3 h4)))
 (+ (* (* h0 h1) h4) (* h2 h3))
 (* h2 h4)
 (+ (pow (* h0 (/ h1 h2)) 3) (pow (/ h3 h4) 3))
 (+ (* (* h0 (/ h1 h2)) (* h0 (/ h1 h2))) (- (* (/ h3 h4) (/ h3 h4)) (* (* h0 (/ h1 h2)) (/ h3 h4))))
 (- (* (* h0 (/ h1 h2)) (* h0 (/ h1 h2))) (* (/ h3 h4) (/ h3 h4)))
 (- (* h0 (/ h1 h2)) (/ h3 h4))
 (* h5 h1)
 (* h5 h1)
 (* h5 h1)
 (+ (* h5 h1) h6)
 (+ (* h5 h1) h6)
 (+ (* h5 h1) h6)
0.405 * * [simplify]: iteration  0 :  254  enodes  (cost  222 )
0.411 * * [simplify]: iteration  1 :  1015  enodes  (cost  203 )
0.435 * * [simplify]: iteration  2 :  4300  enodes  (cost  202 )
0.509 * * [simplify]: iteration  3 :  5002  enodes  (cost  202 )
0.511 * [simplify]: Simplified to:
   (* 841.0 (/ x 108.0))
  (log (* 841.0 (/ x 108.0)))
  (log (* 841.0 (/ x 108.0)))
  (log (* 841.0 (/ x 108.0)))
  (exp (* 841.0 (/ x 108.0)))
  (pow (* 841.0 (/ x 108.0)) 3)
  (pow (* 841.0 (/ x 108.0)) 3)
  (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0))))
  (cbrt (* 841.0 (/ x 108.0)))
  (pow (* 841.0 (/ x 108.0)) 3)
  (sqrt (* 841.0 (/ x 108.0)))
  (sqrt (* 841.0 (/ x 108.0)))
  (* (sqrt 841.0) (sqrt (/ x 108.0)))
  (* (sqrt 841.0) (sqrt (/ x 108.0)))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0)))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0)))
  (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0))))
  (* 841.0 (sqrt (/ x 108.0)))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0)))
  (* (* (cbrt x) (cbrt x)) 841.0)
  (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0))))
  (* 841.0 (/ (sqrt x) (sqrt 108.0)))
  (* (sqrt x) 841.0)
  (/ 841.0 (* (cbrt 108.0) (cbrt 108.0)))
  (/ 841.0 (sqrt 108.0))
  841.0
  841.0
  (* 841.0 x)
  (* (cbrt 841.0) (/ x 108.0))
  (* (sqrt 841.0) (/ x 108.0))
  (* 841.0 (/ x 108.0))
  (* 841.0 x)
  (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (log (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (* (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))))
  (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (pow (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) 3)
  (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
  (* 108.0 29.0)
  (+ (pow (* 841.0 (/ x 108.0)) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* 841.0 (/ x 108.0)) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0))
  (* 7.787037037037036 x)
  (* 7.787037037037036 x)
  (* 7.787037037037036 x)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
  (+ (* 7.787037037037036 x) 0.13793103448275862)
0.511 * * * [progress]: adding candidates to table
0.609 * * [progress]: iteration 3 / 4
0.609 * * * [progress]: picking best candidate
0.614 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))>
0.615 * * * [progress]: localizing error
0.623 * * * [progress]: generating rewritten candidates
0.623 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.659 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.669 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.696 * * * [progress]: generating series expansions
0.696 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.697 * [approximate]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in (x) around 0
0.697 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
0.697 * [taylor]: Taking taylor expansion of 841.0 in x
0.697 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.697 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.697 * [taylor]: Taking taylor expansion of 108.0 in x
0.700 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
0.700 * [taylor]: Taking taylor expansion of 841.0 in x
0.700 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.700 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.700 * [taylor]: Taking taylor expansion of 108.0 in x
0.727 * [approximate]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0
0.727 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x
0.727 * [taylor]: Taking taylor expansion of 841.0 in x
0.727 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.727 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.727 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.727 * [taylor]: Taking taylor expansion of 108.0 in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x
0.732 * [taylor]: Taking taylor expansion of 841.0 in x
0.732 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.732 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.732 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.732 * [taylor]: Taking taylor expansion of 108.0 in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.764 * [approximate]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0
0.764 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x
0.764 * [taylor]: Taking taylor expansion of -841.0 in x
0.764 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.764 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.764 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.764 * [taylor]: Taking taylor expansion of 108.0 in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.770 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x
0.770 * [taylor]: Taking taylor expansion of -841.0 in x
0.770 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.770 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.770 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.770 * [taylor]: Taking taylor expansion of 108.0 in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.798 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.799 * [approximate]: Taking taylor expansion of (/ x (sqrt 108.0)) in (x) around 0
0.799 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
0.799 * [taylor]: Taking taylor expansion of x in x
0.799 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.799 * [taylor]: Taking taylor expansion of 108.0 in x
0.800 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
0.800 * [taylor]: Taking taylor expansion of x in x
0.800 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.800 * [taylor]: Taking taylor expansion of 108.0 in x
0.811 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in (x) around 0
0.811 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x
0.811 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
0.811 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.811 * [taylor]: Taking taylor expansion of 108.0 in x
0.812 * [taylor]: Taking taylor expansion of x in x
0.814 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x
0.814 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
0.814 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.814 * [taylor]: Taking taylor expansion of 108.0 in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.836 * [approximate]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in (x) around 0
0.836 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x
0.836 * [taylor]: Taking taylor expansion of -1 in x
0.836 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
0.836 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.836 * [taylor]: Taking taylor expansion of 108.0 in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x
0.839 * [taylor]: Taking taylor expansion of -1 in x
0.839 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
0.839 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.839 * [taylor]: Taking taylor expansion of 108.0 in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.856 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.858 * [approximate]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in (x) around 0
0.858 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in x
0.858 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
0.858 * [taylor]: Taking taylor expansion of 841.0 in x
0.858 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.858 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.858 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.858 * [taylor]: Taking taylor expansion of 108.0 in x
0.860 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.860 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in x
0.861 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
0.861 * [taylor]: Taking taylor expansion of 841.0 in x
0.861 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
0.861 * [taylor]: Taking taylor expansion of x in x
0.861 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.861 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.861 * [taylor]: Taking taylor expansion of 108.0 in x
0.863 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.892 * [approximate]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in (x) around 0
0.892 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in x
0.892 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
0.892 * [taylor]: Taking taylor expansion of 841.0 in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
0.892 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.892 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.892 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.892 * [taylor]: Taking taylor expansion of 108.0 in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.897 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in x
0.897 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
0.897 * [taylor]: Taking taylor expansion of 841.0 in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
0.897 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.897 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.898 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.898 * [taylor]: Taking taylor expansion of 108.0 in x
0.898 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.949 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in (x) around 0
0.949 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in x
0.949 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.949 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
0.949 * [taylor]: Taking taylor expansion of 841.0 in x
0.949 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
0.949 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.949 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.949 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.949 * [taylor]: Taking taylor expansion of 108.0 in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in x
0.954 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.954 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
0.954 * [taylor]: Taking taylor expansion of 841.0 in x
0.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
0.954 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
0.954 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
0.954 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
0.954 * [taylor]: Taking taylor expansion of 108.0 in x
0.955 * [taylor]: Taking taylor expansion of x in x
1.010 * * * [progress]: simplifying candidates
1.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))
  (+ (- (log 841.0) (log (sqrt 108.0))) (- (log x) (log (sqrt 108.0))))
  (+ (- (log 841.0) (log (sqrt 108.0))) (log (/ x (sqrt 108.0))))
  (+ (log (/ 841.0 (sqrt 108.0))) (- (log x) (log (sqrt 108.0))))
  (+ (log (/ 841.0 (sqrt 108.0))) (log (/ x (sqrt 108.0))))
  (log (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (exp (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (* (/ (* (* 841.0 841.0) 841.0) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (/ (* (* 841.0 841.0) 841.0) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0))))
  (* (* (* (/ 841.0 (sqrt 108.0)) (/ 841.0 (sqrt 108.0))) (/ 841.0 (sqrt 108.0))) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (* (* (/ 841.0 (sqrt 108.0)) (/ 841.0 (sqrt 108.0))) (/ 841.0 (sqrt 108.0))) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0))))
  (* (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))))
  (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (* (* (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (* 841.0 x)
  (* (sqrt 108.0) (sqrt 108.0))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (sqrt (/ x (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt 1)))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) 1))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt 1)))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) 1))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt 1)))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ 1 1))
  (* (/ 841.0 (sqrt 108.0)) 1)
  (* (/ 841.0 (sqrt 108.0)) x)
  (* (cbrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 841.0 (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 1 (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) x)
  (* 841.0 (/ x (sqrt 108.0)))
  (- (log x) (log (sqrt 108.0)))
  (log (/ x (sqrt 108.0)))
  (exp (/ x (sqrt 108.0)))
  (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))
  (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))
  (cbrt (/ x (sqrt 108.0)))
  (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (- x)
  (- (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (cbrt x) (cbrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ (cbrt x) (sqrt (cbrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt 1))
  (/ (cbrt x) (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (sqrt 108.0))
  (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (sqrt x) (cbrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ (sqrt x) (sqrt (cbrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) (sqrt 108.0))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (sqrt 108.0))
  (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (cbrt (sqrt 108.0)))
  (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ x (sqrt (cbrt 108.0)))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  (/ 1 (sqrt 1))
  (/ x (sqrt 108.0))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  (/ 1 1)
  (/ x (sqrt 108.0))
  (/ 1 (sqrt 108.0))
  (/ (sqrt 108.0) x)
  (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ x (sqrt (sqrt 108.0)))
  (/ x (sqrt 1))
  (/ x (sqrt (sqrt 108.0)))
  (/ x 1)
  (/ (sqrt 108.0) (cbrt x))
  (/ (sqrt 108.0) (sqrt x))
  (/ (sqrt 108.0) x)
  (* (exp (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (exp (/ 4.0 29.0)))
  (log (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (exp (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (* (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))))
  (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (* (* (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* (* (sqrt 108.0) (sqrt 108.0)) 4.0))
  (* (* (sqrt 108.0) (sqrt 108.0)) 29.0)
  (+ (* (* (/ 841.0 (sqrt 108.0)) x) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (pow (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))))
  (- (* (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
1.013 * [simplify]: Sending expressions to egg_math:
 (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))
 (+ (- (log h0) (log (sqrt h1))) (- (log h2) (log (sqrt h1))))
 (+ (- (log h0) (log (sqrt h1))) (log (/ h2 (sqrt h1))))
 (+ (log (/ h0 (sqrt h1))) (- (log h2) (log (sqrt h1))))
 (+ (log (/ h0 (sqrt h1))) (log (/ h2 (sqrt h1))))
 (log (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (exp (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (* (/ (* (* h0 h0) h0) (* (* (sqrt h1) (sqrt h1)) (sqrt h1))) (/ (* (* h2 h2) h2) (* (* (sqrt h1) (sqrt h1)) (sqrt h1))))
 (* (/ (* (* h0 h0) h0) (* (* (sqrt h1) (sqrt h1)) (sqrt h1))) (* (* (/ h2 (sqrt h1)) (/ h2 (sqrt h1))) (/ h2 (sqrt h1))))
 (* (* (* (/ h0 (sqrt h1)) (/ h0 (sqrt h1))) (/ h0 (sqrt h1))) (/ (* (* h2 h2) h2) (* (* (sqrt h1) (sqrt h1)) (sqrt h1))))
 (* (* (* (/ h0 (sqrt h1)) (/ h0 (sqrt h1))) (/ h0 (sqrt h1))) (* (* (/ h2 (sqrt h1)) (/ h2 (sqrt h1))) (/ h2 (sqrt h1))))
 (* (cbrt (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))) (cbrt (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))))
 (cbrt (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (* (* (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))) (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (sqrt (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (sqrt (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))))
 (* h0 h2)
 (* (sqrt h1) (sqrt h1))
 (* (sqrt (/ h0 (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (sqrt (/ h0 (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (sqrt (/ h0 (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (sqrt (/ h0 (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (sqrt (/ h0 (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (sqrt (/ h0 (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (sqrt (/ h2 (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (* (cbrt (/ h2 (sqrt h1))) (cbrt (/ h2 (sqrt h1)))))
 (* (/ h0 (sqrt h1)) (sqrt (/ h2 (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) (sqrt (* (cbrt h1) (cbrt h1)))))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) (sqrt 1)))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ (* (cbrt h2) (cbrt h2)) 1))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) (sqrt (* (cbrt h1) (cbrt h1)))))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) (sqrt 1)))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ (sqrt h2) 1))
 (* (/ h0 (sqrt h1)) (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1)))))
 (* (/ h0 (sqrt h1)) (/ 1 (sqrt (* (cbrt h1) (cbrt h1)))))
 (* (/ h0 (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ 1 (sqrt 1)))
 (* (/ h0 (sqrt h1)) (/ 1 (sqrt (sqrt h1))))
 (* (/ h0 (sqrt h1)) (/ 1 1))
 (* (/ h0 (sqrt h1)) 1)
 (* (/ h0 (sqrt h1)) h2)
 (* (cbrt (/ h0 (sqrt h1))) (/ h2 (sqrt h1)))
 (* (sqrt (/ h0 (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (cbrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (sqrt (cbrt h1))) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (cbrt h0) (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (cbrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (sqrt (cbrt h1))) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ (sqrt h0) (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ h0 (cbrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt (cbrt h1))) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt (sqrt h1))) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ 1 (sqrt h1)) (/ h2 (sqrt h1)))
 (* (/ h0 (sqrt h1)) h2)
 (* h0 (/ h2 (sqrt h1)))
 (- (log h2) (log (sqrt h1)))
 (log (/ h2 (sqrt h1)))
 (exp (/ h2 (sqrt h1)))
 (/ (* (* h2 h2) h2) (* (* (sqrt h1) (sqrt h1)) (sqrt h1)))
 (* (cbrt (/ h2 (sqrt h1))) (cbrt (/ h2 (sqrt h1))))
 (cbrt (/ h2 (sqrt h1)))
 (* (* (/ h2 (sqrt h1)) (/ h2 (sqrt h1))) (/ h2 (sqrt h1)))
 (sqrt (/ h2 (sqrt h1)))
 (sqrt (/ h2 (sqrt h1)))
 (- h2)
 (- (sqrt h1))
 (/ (* (cbrt h2) (cbrt h2)) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (cbrt h2) (cbrt (sqrt h1)))
 (/ (* (cbrt h2) (cbrt h2)) (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (cbrt h2) (sqrt (cbrt h1)))
 (/ (* (cbrt h2) (cbrt h2)) (sqrt (sqrt h1)))
 (/ (cbrt h2) (sqrt (sqrt h1)))
 (/ (* (cbrt h2) (cbrt h2)) (sqrt 1))
 (/ (cbrt h2) (sqrt h1))
 (/ (* (cbrt h2) (cbrt h2)) (sqrt (sqrt h1)))
 (/ (cbrt h2) (sqrt (sqrt h1)))
 (/ (* (cbrt h2) (cbrt h2)) 1)
 (/ (cbrt h2) (sqrt h1))
 (/ (sqrt h2) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ (sqrt h2) (cbrt (sqrt h1)))
 (/ (sqrt h2) (sqrt (* (cbrt h1) (cbrt h1))))
 (/ (sqrt h2) (sqrt (cbrt h1)))
 (/ (sqrt h2) (sqrt (sqrt h1)))
 (/ (sqrt h2) (sqrt (sqrt h1)))
 (/ (sqrt h2) (sqrt 1))
 (/ (sqrt h2) (sqrt h1))
 (/ (sqrt h2) (sqrt (sqrt h1)))
 (/ (sqrt h2) (sqrt (sqrt h1)))
 (/ (sqrt h2) 1)
 (/ (sqrt h2) (sqrt h1))
 (/ 1 (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ h2 (cbrt (sqrt h1)))
 (/ 1 (sqrt (* (cbrt h1) (cbrt h1))))
 (/ h2 (sqrt (cbrt h1)))
 (/ 1 (sqrt (sqrt h1)))
 (/ h2 (sqrt (sqrt h1)))
 (/ 1 (sqrt 1))
 (/ h2 (sqrt h1))
 (/ 1 (sqrt (sqrt h1)))
 (/ h2 (sqrt (sqrt h1)))
 (/ 1 1)
 (/ h2 (sqrt h1))
 (/ 1 (sqrt h1))
 (/ (sqrt h1) h2)
 (/ h2 (* (cbrt (sqrt h1)) (cbrt (sqrt h1))))
 (/ h2 (sqrt (* (cbrt h1) (cbrt h1))))
 (/ h2 (sqrt (sqrt h1)))
 (/ h2 (sqrt 1))
 (/ h2 (sqrt (sqrt h1)))
 (/ h2 1)
 (/ (sqrt h1) (cbrt h2))
 (/ (sqrt h1) (sqrt h2))
 (/ (sqrt h1) h2)
 (* (exp (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))) (exp (/ h3 h4)))
 (log (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (exp (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (* (cbrt (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4))) (cbrt (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4))))
 (cbrt (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (* (* (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)) (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4))) (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (sqrt (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (sqrt (+ (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4)))
 (+ (* (* h0 h2) h4) (* (* (sqrt h1) (sqrt h1)) h3))
 (* (* (sqrt h1) (sqrt h1)) h4)
 (+ (* (* (/ h0 (sqrt h1)) h2) h4) (* (sqrt h1) h3))
 (* (sqrt h1) h4)
 (+ (* (* h0 (/ h2 (sqrt h1))) h4) (* (sqrt h1) h3))
 (* (sqrt h1) h4)
 (+ (pow (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) 3) (pow (/ h3 h4) 3))
 (+ (* (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))) (- (* (/ h3 h4) (/ h3 h4)) (* (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4))))
 (- (* (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1)))) (* (/ h3 h4) (/ h3 h4)))
 (- (* (/ h0 (sqrt h1)) (/ h2 (sqrt h1))) (/ h3 h4))
 (* h0 (/ h2 (pow (sqrt h1) 2)))
 (* h0 (/ h2 (pow (sqrt h1) 2)))
 (* h0 (/ h2 (pow (sqrt h1) 2)))
 (/ h2 (sqrt h1))
 (/ h2 (sqrt h1))
 (/ h2 (sqrt h1))
 (+ (* h0 (/ h2 (pow (sqrt h1) 2))) h5)
 (+ (* h0 (/ h2 (pow (sqrt h1) 2))) h5)
 (+ (* h0 (/ h2 (pow (sqrt h1) 2))) h5)
1.019 * * [simplify]: iteration  0 :  502  enodes  (cost  969 )
1.030 * * [simplify]: iteration  1 :  2184  enodes  (cost  891 )
1.068 * * [simplify]: iteration  2 :  5002  enodes  (cost  841 )
1.072 * [simplify]: Simplified to:
   (/ (* 841.0 x) 108.0)
  (+ (log 841.0) (log (/ x 108.0)))
  (+ (log 841.0) (log (/ x 108.0)))
  (+ (log 841.0) (log (/ x 108.0)))
  (+ (log 841.0) (log (/ x 108.0)))
  (+ (log 841.0) (log (/ x 108.0)))
  (pow (exp 841.0) (/ x 108.0))
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (* (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))))
  (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (pow (/ (* 841.0 x) 108.0) 3)
  (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))
  (* 841.0 x)
  108.0
  (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))))
  (* (/ 841.0 (sqrt 108.0)) (sqrt (/ x (sqrt 108.0))))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (/ (* (/ 841.0 (sqrt 108.0)) (* (cbrt x) (cbrt x))) (fabs (cbrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (/ (* 841.0 (* (cbrt x) (cbrt x))) (sqrt 108.0))
  (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (/ (* 841.0 (* (cbrt x) (cbrt x))) (sqrt 108.0))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (/ (* (/ 841.0 (sqrt 108.0)) (sqrt x)) (fabs (cbrt 108.0)))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (/ (* 841.0 (sqrt x)) (sqrt 108.0))
  (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (/ (* 841.0 (sqrt x)) (sqrt 108.0))
  (/ (/ 841.0 (sqrt 108.0)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (/ 841.0 (sqrt 108.0)) (fabs (cbrt 108.0)))
  (/ (/ 841.0 (sqrt 108.0)) (sqrt (sqrt 108.0)))
  (/ 841.0 (sqrt 108.0))
  (/ (/ 841.0 (sqrt 108.0)) (sqrt (sqrt 108.0)))
  (/ 841.0 (sqrt 108.0))
  (/ 841.0 (sqrt 108.0))
  (* 841.0 (/ x (sqrt 108.0)))
  (* (cbrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (sqrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0)))
  (* (/ 841.0 (cbrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt (cbrt 108.0))) (/ x (sqrt 108.0)))
  (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (/ (* 841.0 x) 108.0)
  (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0)))
  (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (/ x 108.0)
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (log (/ x (sqrt 108.0)))
  (log (/ x (sqrt 108.0)))
  (exp (/ x (sqrt 108.0)))
  (pow (/ x (sqrt 108.0)) 3)
  (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))
  (cbrt (/ x (sqrt 108.0)))
  (pow (/ x (sqrt 108.0)) 3)
  (sqrt (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (- x)
  (- (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (cbrt x) (cbrt (sqrt 108.0)))
  (/ (cbrt x) (/ (fabs (cbrt 108.0)) (cbrt x)))
  (/ (cbrt x) (sqrt (cbrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt 108.0))
  (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (sqrt x) (cbrt (sqrt 108.0)))
  (/ (sqrt x) (fabs (cbrt 108.0)))
  (/ (sqrt x) (sqrt (cbrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (sqrt x)
  (/ (sqrt x) (sqrt 108.0))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (sqrt x)
  (/ (sqrt x) (sqrt 108.0))
  (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (cbrt (sqrt 108.0)))
  (/ 1 (* (fabs (cbrt 108.0)) 1))
  (/ x (sqrt (cbrt 108.0)))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  1
  (/ x (sqrt 108.0))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  1
  (/ x (sqrt 108.0))
  (/ 1 (sqrt 108.0))
  (/ (sqrt 108.0) x)
  (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (fabs (cbrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  x
  (/ x (sqrt (sqrt 108.0)))
  x
  (/ (sqrt 108.0) (cbrt x))
  (/ (sqrt 108.0) (sqrt x))
  (/ (sqrt 108.0) x)
  (exp (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (log (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (exp (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (* (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0))))
  (cbrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (pow (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)) 3)
  (sqrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* (* (sqrt 108.0) (sqrt 108.0)) 4.0))
  (* 29.0 108.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (pow (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (/ 4.0 29.0) (/ 4.0 29.0)) (- (* (/ (* 841.0 841.0) 108.0) (/ (* x x) 108.0)) (/ (/ (* 841.0 x) 108.0) (/ 29.0 4.0))))
  (+ (- (* (/ 4.0 29.0) (/ 4.0 29.0))) (* (/ (* 841.0 841.0) 108.0) (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0)))))
  (+ (- (/ 4.0 29.0)) (/ (* 841.0 x) 108.0))
  (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
1.073 * * * [progress]: adding candidates to table
1.345 * * [progress]: iteration 4 / 4
1.345 * * * [progress]: picking best candidate
1.348 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))>
1.349 * * * [progress]: localizing error
1.361 * * * [progress]: generating rewritten candidates
1.361 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.409 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.437 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.489 * * * [progress]: generating series expansions
1.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.491 * [approximate]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in (x) around 0
1.491 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
1.491 * [taylor]: Taking taylor expansion of 841.0 in x
1.491 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
1.491 * [taylor]: Taking taylor expansion of x in x
1.491 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.491 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.491 * [taylor]: Taking taylor expansion of 108.0 in x
1.494 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
1.494 * [taylor]: Taking taylor expansion of 841.0 in x
1.494 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
1.494 * [taylor]: Taking taylor expansion of x in x
1.494 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.494 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.494 * [taylor]: Taking taylor expansion of 108.0 in x
1.522 * [approximate]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0
1.522 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x
1.522 * [taylor]: Taking taylor expansion of 841.0 in x
1.522 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.522 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.522 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.522 * [taylor]: Taking taylor expansion of 108.0 in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x
1.527 * [taylor]: Taking taylor expansion of 841.0 in x
1.527 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.527 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.527 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.527 * [taylor]: Taking taylor expansion of 108.0 in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.559 * [approximate]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0
1.559 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x
1.559 * [taylor]: Taking taylor expansion of -841.0 in x
1.559 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.559 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.559 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.559 * [taylor]: Taking taylor expansion of 108.0 in x
1.560 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x
1.565 * [taylor]: Taking taylor expansion of -841.0 in x
1.565 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.565 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.565 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.565 * [taylor]: Taking taylor expansion of 108.0 in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.598 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.599 * [approximate]: Taking taylor expansion of (* 841.0 (/ x (sqrt 108.0))) in (x) around 0
1.599 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (sqrt 108.0))) in x
1.599 * [taylor]: Taking taylor expansion of 841.0 in x
1.599 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
1.599 * [taylor]: Taking taylor expansion of x in x
1.599 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.599 * [taylor]: Taking taylor expansion of 108.0 in x
1.600 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (sqrt 108.0))) in x
1.600 * [taylor]: Taking taylor expansion of 841.0 in x
1.600 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
1.600 * [taylor]: Taking taylor expansion of x in x
1.600 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.600 * [taylor]: Taking taylor expansion of 108.0 in x
1.617 * [approximate]: Taking taylor expansion of (/ 841.0 (* (sqrt 108.0) x)) in (x) around 0
1.617 * [taylor]: Taking taylor expansion of (/ 841.0 (* (sqrt 108.0) x)) in x
1.617 * [taylor]: Taking taylor expansion of 841.0 in x
1.618 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.618 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.618 * [taylor]: Taking taylor expansion of 108.0 in x
1.618 * [taylor]: Taking taylor expansion of x in x
1.620 * [taylor]: Taking taylor expansion of (/ 841.0 (* (sqrt 108.0) x)) in x
1.620 * [taylor]: Taking taylor expansion of 841.0 in x
1.621 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.621 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.621 * [taylor]: Taking taylor expansion of 108.0 in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.639 * [approximate]: Taking taylor expansion of (/ -841.0 (* (sqrt 108.0) x)) in (x) around 0
1.639 * [taylor]: Taking taylor expansion of (/ -841.0 (* (sqrt 108.0) x)) in x
1.639 * [taylor]: Taking taylor expansion of -841.0 in x
1.639 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.639 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.639 * [taylor]: Taking taylor expansion of 108.0 in x
1.640 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (/ -841.0 (* (sqrt 108.0) x)) in x
1.642 * [taylor]: Taking taylor expansion of -841.0 in x
1.642 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.642 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.642 * [taylor]: Taking taylor expansion of 108.0 in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.664 * [approximate]: Taking taylor expansion of (/ x (sqrt 108.0)) in (x) around 0
1.664 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
1.664 * [taylor]: Taking taylor expansion of x in x
1.664 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.664 * [taylor]: Taking taylor expansion of 108.0 in x
1.665 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x
1.665 * [taylor]: Taking taylor expansion of x in x
1.665 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.665 * [taylor]: Taking taylor expansion of 108.0 in x
1.676 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in (x) around 0
1.676 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x
1.676 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.676 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.676 * [taylor]: Taking taylor expansion of 108.0 in x
1.676 * [taylor]: Taking taylor expansion of x in x
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x
1.679 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.679 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.679 * [taylor]: Taking taylor expansion of 108.0 in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.697 * [approximate]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in (x) around 0
1.697 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x
1.697 * [taylor]: Taking taylor expansion of -1 in x
1.697 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.697 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.697 * [taylor]: Taking taylor expansion of 108.0 in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x
1.700 * [taylor]: Taking taylor expansion of -1 in x
1.700 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x
1.700 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.700 * [taylor]: Taking taylor expansion of 108.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.717 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.718 * [approximate]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in (x) around 0
1.718 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in x
1.718 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
1.718 * [taylor]: Taking taylor expansion of 841.0 in x
1.718 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.718 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.718 * [taylor]: Taking taylor expansion of 108.0 in x
1.721 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.721 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862) in x
1.721 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x
1.721 * [taylor]: Taking taylor expansion of 841.0 in x
1.721 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x
1.721 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.721 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.721 * [taylor]: Taking taylor expansion of 108.0 in x
1.723 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.755 * [approximate]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in (x) around 0
1.755 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in x
1.755 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
1.755 * [taylor]: Taking taylor expansion of 841.0 in x
1.755 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
1.755 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.755 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.755 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.755 * [taylor]: Taking taylor expansion of 108.0 in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.760 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.760 * [taylor]: Taking taylor expansion of (+ (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) 0.13793103448275862) in x
1.760 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
1.760 * [taylor]: Taking taylor expansion of 841.0 in x
1.760 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
1.760 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.760 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.761 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.761 * [taylor]: Taking taylor expansion of 108.0 in x
1.761 * [taylor]: Taking taylor expansion of x in x
1.766 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.807 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in (x) around 0
1.807 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in x
1.807 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.807 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
1.807 * [taylor]: Taking taylor expansion of 841.0 in x
1.807 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
1.807 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.807 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.807 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.807 * [taylor]: Taking taylor expansion of 108.0 in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x)))) in x
1.813 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
1.813 * [taylor]: Taking taylor expansion of (* 841.0 (/ 1 (* (pow (sqrt 108.0) 2) x))) in x
1.813 * [taylor]: Taking taylor expansion of 841.0 in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt 108.0) 2) x)) in x
1.813 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x
1.813 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x
1.813 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x
1.813 * [taylor]: Taking taylor expansion of 108.0 in x
1.813 * [taylor]: Taking taylor expansion of x in x
1.868 * * * [progress]: simplifying candidates
1.871 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))
  (+ (+ (log 841.0) (- (log x) (log (sqrt 108.0)))) (- (log (sqrt 108.0))))
  (+ (+ (log 841.0) (- (log x) (log (sqrt 108.0)))) (- 0 (log (sqrt 108.0))))
  (+ (+ (log 841.0) (- (log x) (log (sqrt 108.0)))) (- (log 1) (log (sqrt 108.0))))
  (+ (+ (log 841.0) (- (log x) (log (sqrt 108.0)))) (log (/ 1 (sqrt 108.0))))
  (+ (+ (log 841.0) (log (/ x (sqrt 108.0)))) (- (log (sqrt 108.0))))
  (+ (+ (log 841.0) (log (/ x (sqrt 108.0)))) (- 0 (log (sqrt 108.0))))
  (+ (+ (log 841.0) (log (/ x (sqrt 108.0)))) (- (log 1) (log (sqrt 108.0))))
  (+ (+ (log 841.0) (log (/ x (sqrt 108.0)))) (log (/ 1 (sqrt 108.0))))
  (+ (log (* 841.0 (/ x (sqrt 108.0)))) (- (log (sqrt 108.0))))
  (+ (log (* 841.0 (/ x (sqrt 108.0)))) (- 0 (log (sqrt 108.0))))
  (+ (log (* 841.0 (/ x (sqrt 108.0)))) (- (log 1) (log (sqrt 108.0))))
  (+ (log (* 841.0 (/ x (sqrt 108.0)))) (log (/ 1 (sqrt 108.0))))
  (log (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (exp (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))) (/ (* (* 1 1) 1) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))) (* (* (/ 1 (sqrt 108.0)) (/ 1 (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (* (* (* 841.0 841.0) 841.0) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))) (/ (* (* 1 1) 1) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (* (* (* 841.0 841.0) 841.0) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))) (* (* (/ 1 (sqrt 108.0)) (/ 1 (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (* (* (* 841.0 (/ x (sqrt 108.0))) (* 841.0 (/ x (sqrt 108.0)))) (* 841.0 (/ x (sqrt 108.0)))) (/ (* (* 1 1) 1) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (* (* (* 841.0 (/ x (sqrt 108.0))) (* 841.0 (/ x (sqrt 108.0)))) (* 841.0 (/ x (sqrt 108.0)))) (* (* (/ 1 (sqrt 108.0)) (/ 1 (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))))
  (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (* (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (sqrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (sqrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* (* 841.0 x) 1)
  (* (sqrt 108.0) (sqrt 108.0))
  (* (* 841.0 (/ x (sqrt 108.0))) (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (sqrt (/ 1 (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) (sqrt 1)))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ (sqrt 1) 1))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 1)))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt (sqrt 108.0))))
  (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 1))
  (* (* 841.0 (/ x (sqrt 108.0))) 1)
  (* (* 841.0 (/ x (sqrt 108.0))) 1)
  (* (/ x (sqrt 108.0)) (/ 1 (sqrt 108.0)))
  (* (* 841.0 (/ x (sqrt 108.0))) 1)
  (* (* 841.0 x) (/ 1 (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (+ (log 841.0) (- (log x) (log (sqrt 108.0))))
  (+ (log 841.0) (log (/ x (sqrt 108.0))))
  (log (* 841.0 (/ x (sqrt 108.0))))
  (exp (* 841.0 (/ x (sqrt 108.0))))
  (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))))
  (* (* (* 841.0 841.0) 841.0) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0))))
  (* (cbrt (* 841.0 (/ x (sqrt 108.0)))) (cbrt (* 841.0 (/ x (sqrt 108.0)))))
  (cbrt (* 841.0 (/ x (sqrt 108.0))))
  (* (* (* 841.0 (/ x (sqrt 108.0))) (* 841.0 (/ x (sqrt 108.0)))) (* 841.0 (/ x (sqrt 108.0))))
  (sqrt (* 841.0 (/ x (sqrt 108.0))))
  (sqrt (* 841.0 (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* 841.0 (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))))
  (* 841.0 (sqrt (/ x (sqrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 1)))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) 1))
  (* 841.0 (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* 841.0 (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* 841.0 (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* 841.0 (/ (sqrt x) (sqrt 1)))
  (* 841.0 (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* 841.0 (/ (sqrt x) 1))
  (* 841.0 (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (* 841.0 (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0)))))
  (* 841.0 (/ 1 (sqrt (sqrt 108.0))))
  (* 841.0 (/ 1 (sqrt 1)))
  (* 841.0 (/ 1 (sqrt (sqrt 108.0))))
  (* 841.0 (/ 1 1))
  (* 841.0 1)
  (* 841.0 x)
  (* (cbrt 841.0) (/ x (sqrt 108.0)))
  (* (sqrt 841.0) (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 x)
  (- (log x) (log (sqrt 108.0)))
  (log (/ x (sqrt 108.0)))
  (exp (/ x (sqrt 108.0)))
  (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))
  (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))
  (cbrt (/ x (sqrt 108.0)))
  (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (- x)
  (- (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (cbrt x) (cbrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ (cbrt x) (sqrt (cbrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt 1))
  (/ (cbrt x) (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (sqrt 108.0))
  (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (sqrt x) (cbrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ (sqrt x) (sqrt (cbrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) (sqrt 108.0))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (sqrt 108.0))
  (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (cbrt (sqrt 108.0)))
  (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ x (sqrt (cbrt 108.0)))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  (/ 1 (sqrt 1))
  (/ x (sqrt 108.0))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  (/ 1 1)
  (/ x (sqrt 108.0))
  (/ 1 (sqrt 108.0))
  (/ (sqrt 108.0) x)
  (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (sqrt (* (cbrt 108.0) (cbrt 108.0))))
  (/ x (sqrt (sqrt 108.0)))
  (/ x (sqrt 1))
  (/ x (sqrt (sqrt 108.0)))
  (/ x 1)
  (/ (sqrt 108.0) (cbrt x))
  (/ (sqrt 108.0) (sqrt x))
  (/ (sqrt 108.0) x)
  (* (exp (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (exp (/ 4.0 29.0)))
  (log (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (exp (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (* (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))) (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))))
  (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (* (* (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (+ (* (* (* 841.0 x) 1) 29.0) (* (* (sqrt 108.0) (sqrt 108.0)) 4.0))
  (* (* (sqrt 108.0) (sqrt 108.0)) 29.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* (* 841.0 (/ x (sqrt 108.0))) 1) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* (* 841.0 x) (/ 1 (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (pow (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))))
  (- (* (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (* 841.0 (/ x (pow (sqrt 108.0) 2)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
  (+ (* 841.0 (/ x (pow (sqrt 108.0) 2))) 0.13793103448275862)
1.871 * [simplify]: Sending expressions to egg_math:
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))
 (+ (+ (log h0) (- (log h1) (log (sqrt h2)))) (- (log (sqrt h2))))
 (+ (+ (log h0) (- (log h1) (log (sqrt h2)))) (- 0 (log (sqrt h2))))
 (+ (+ (log h0) (- (log h1) (log (sqrt h2)))) (- (log 1) (log (sqrt h2))))
 (+ (+ (log h0) (- (log h1) (log (sqrt h2)))) (log (/ 1 (sqrt h2))))
 (+ (+ (log h0) (log (/ h1 (sqrt h2)))) (- (log (sqrt h2))))
 (+ (+ (log h0) (log (/ h1 (sqrt h2)))) (- 0 (log (sqrt h2))))
 (+ (+ (log h0) (log (/ h1 (sqrt h2)))) (- (log 1) (log (sqrt h2))))
 (+ (+ (log h0) (log (/ h1 (sqrt h2)))) (log (/ 1 (sqrt h2))))
 (+ (log (* h0 (/ h1 (sqrt h2)))) (- (log (sqrt h2))))
 (+ (log (* h0 (/ h1 (sqrt h2)))) (- 0 (log (sqrt h2))))
 (+ (log (* h0 (/ h1 (sqrt h2)))) (- (log 1) (log (sqrt h2))))
 (+ (log (* h0 (/ h1 (sqrt h2)))) (log (/ 1 (sqrt h2))))
 (log (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (exp (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (* (* (* h0 h0) h0) (/ (* (* h1 h1) h1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2)))) (/ (* (* 1 1) 1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2))))
 (* (* (* (* h0 h0) h0) (/ (* (* h1 h1) h1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2)))) (* (* (/ 1 (sqrt h2)) (/ 1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (* (* (* h0 h0) h0) (* (* (/ h1 (sqrt h2)) (/ h1 (sqrt h2))) (/ h1 (sqrt h2)))) (/ (* (* 1 1) 1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2))))
 (* (* (* (* h0 h0) h0) (* (* (/ h1 (sqrt h2)) (/ h1 (sqrt h2))) (/ h1 (sqrt h2)))) (* (* (/ 1 (sqrt h2)) (/ 1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (* (* (* h0 (/ h1 (sqrt h2))) (* h0 (/ h1 (sqrt h2)))) (* h0 (/ h1 (sqrt h2)))) (/ (* (* 1 1) 1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2))))
 (* (* (* (* h0 (/ h1 (sqrt h2))) (* h0 (/ h1 (sqrt h2)))) (* h0 (/ h1 (sqrt h2)))) (* (* (/ 1 (sqrt h2)) (/ 1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (cbrt (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))) (cbrt (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))))
 (cbrt (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (* (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))) (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (sqrt (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (sqrt (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))))
 (* (* h0 h1) 1)
 (* (sqrt h2) (sqrt h2))
 (* (* h0 (/ h1 (sqrt h2))) (* (cbrt (/ 1 (sqrt h2))) (cbrt (/ 1 (sqrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (sqrt (/ 1 (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt h2) (cbrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (* (cbrt 1) (cbrt 1)) 1))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) (sqrt (* (cbrt h2) (cbrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) (sqrt 1)))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ (sqrt 1) 1))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt (* (cbrt h2) (cbrt h2)))))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt 1)))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt (sqrt h2))))
 (* (* h0 (/ h1 (sqrt h2))) (/ 1 1))
 (* (* h0 (/ h1 (sqrt h2))) 1)
 (* (* h0 (/ h1 (sqrt h2))) 1)
 (* (/ h1 (sqrt h2)) (/ 1 (sqrt h2)))
 (* (* h0 (/ h1 (sqrt h2))) 1)
 (* (* h0 h1) (/ 1 (sqrt h2)))
 (* h0 (/ h1 (sqrt h2)))
 (+ (log h0) (- (log h1) (log (sqrt h2))))
 (+ (log h0) (log (/ h1 (sqrt h2))))
 (log (* h0 (/ h1 (sqrt h2))))
 (exp (* h0 (/ h1 (sqrt h2))))
 (* (* (* h0 h0) h0) (/ (* (* h1 h1) h1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2))))
 (* (* (* h0 h0) h0) (* (* (/ h1 (sqrt h2)) (/ h1 (sqrt h2))) (/ h1 (sqrt h2))))
 (* (cbrt (* h0 (/ h1 (sqrt h2)))) (cbrt (* h0 (/ h1 (sqrt h2)))))
 (cbrt (* h0 (/ h1 (sqrt h2))))
 (* (* (* h0 (/ h1 (sqrt h2))) (* h0 (/ h1 (sqrt h2)))) (* h0 (/ h1 (sqrt h2))))
 (sqrt (* h0 (/ h1 (sqrt h2))))
 (sqrt (* h0 (/ h1 (sqrt h2))))
 (* (sqrt h0) (sqrt (/ h1 (sqrt h2))))
 (* (sqrt h0) (sqrt (/ h1 (sqrt h2))))
 (* (sqrt h0) (/ (sqrt h1) (sqrt (sqrt h2))))
 (* (sqrt h0) (/ (sqrt h1) (sqrt (sqrt h2))))
 (* (sqrt h0) (/ (sqrt h1) (sqrt (sqrt h2))))
 (* (sqrt h0) (/ (sqrt h1) (sqrt (sqrt h2))))
 (* h0 (* (cbrt (/ h1 (sqrt h2))) (cbrt (/ h1 (sqrt h2)))))
 (* h0 (sqrt (/ h1 (sqrt h2))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (sqrt (* (cbrt h2) (cbrt h2)))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (sqrt (sqrt h2))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (sqrt 1)))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) (sqrt (sqrt h2))))
 (* h0 (/ (* (cbrt h1) (cbrt h1)) 1))
 (* h0 (/ (sqrt h1) (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* h0 (/ (sqrt h1) (sqrt (* (cbrt h2) (cbrt h2)))))
 (* h0 (/ (sqrt h1) (sqrt (sqrt h2))))
 (* h0 (/ (sqrt h1) (sqrt 1)))
 (* h0 (/ (sqrt h1) (sqrt (sqrt h2))))
 (* h0 (/ (sqrt h1) 1))
 (* h0 (/ 1 (* (cbrt (sqrt h2)) (cbrt (sqrt h2)))))
 (* h0 (/ 1 (sqrt (* (cbrt h2) (cbrt h2)))))
 (* h0 (/ 1 (sqrt (sqrt h2))))
 (* h0 (/ 1 (sqrt 1)))
 (* h0 (/ 1 (sqrt (sqrt h2))))
 (* h0 (/ 1 1))
 (* h0 1)
 (* h0 h1)
 (* (cbrt h0) (/ h1 (sqrt h2)))
 (* (sqrt h0) (/ h1 (sqrt h2)))
 (* h0 (/ h1 (sqrt h2)))
 (* h0 h1)
 (- (log h1) (log (sqrt h2)))
 (log (/ h1 (sqrt h2)))
 (exp (/ h1 (sqrt h2)))
 (/ (* (* h1 h1) h1) (* (* (sqrt h2) (sqrt h2)) (sqrt h2)))
 (* (cbrt (/ h1 (sqrt h2))) (cbrt (/ h1 (sqrt h2))))
 (cbrt (/ h1 (sqrt h2)))
 (* (* (/ h1 (sqrt h2)) (/ h1 (sqrt h2))) (/ h1 (sqrt h2)))
 (sqrt (/ h1 (sqrt h2)))
 (sqrt (/ h1 (sqrt h2)))
 (- h1)
 (- (sqrt h2))
 (/ (* (cbrt h1) (cbrt h1)) (* (cbrt (sqrt h2)) (cbrt (sqrt h2))))
 (/ (cbrt h1) (cbrt (sqrt h2)))
 (/ (* (cbrt h1) (cbrt h1)) (sqrt (* (cbrt h2) (cbrt h2))))
 (/ (cbrt h1) (sqrt (cbrt h2)))
 (/ (* (cbrt h1) (cbrt h1)) (sqrt (sqrt h2)))
 (/ (cbrt h1) (sqrt (sqrt h2)))
 (/ (* (cbrt h1) (cbrt h1)) (sqrt 1))
 (/ (cbrt h1) (sqrt h2))
 (/ (* (cbrt h1) (cbrt h1)) (sqrt (sqrt h2)))
 (/ (cbrt h1) (sqrt (sqrt h2)))
 (/ (* (cbrt h1) (cbrt h1)) 1)
 (/ (cbrt h1) (sqrt h2))
 (/ (sqrt h1) (* (cbrt (sqrt h2)) (cbrt (sqrt h2))))
 (/ (sqrt h1) (cbrt (sqrt h2)))
 (/ (sqrt h1) (sqrt (* (cbrt h2) (cbrt h2))))
 (/ (sqrt h1) (sqrt (cbrt h2)))
 (/ (sqrt h1) (sqrt (sqrt h2)))
 (/ (sqrt h1) (sqrt (sqrt h2)))
 (/ (sqrt h1) (sqrt 1))
 (/ (sqrt h1) (sqrt h2))
 (/ (sqrt h1) (sqrt (sqrt h2)))
 (/ (sqrt h1) (sqrt (sqrt h2)))
 (/ (sqrt h1) 1)
 (/ (sqrt h1) (sqrt h2))
 (/ 1 (* (cbrt (sqrt h2)) (cbrt (sqrt h2))))
 (/ h1 (cbrt (sqrt h2)))
 (/ 1 (sqrt (* (cbrt h2) (cbrt h2))))
 (/ h1 (sqrt (cbrt h2)))
 (/ 1 (sqrt (sqrt h2)))
 (/ h1 (sqrt (sqrt h2)))
 (/ 1 (sqrt 1))
 (/ h1 (sqrt h2))
 (/ 1 (sqrt (sqrt h2)))
 (/ h1 (sqrt (sqrt h2)))
 (/ 1 1)
 (/ h1 (sqrt h2))
 (/ 1 (sqrt h2))
 (/ (sqrt h2) h1)
 (/ h1 (* (cbrt (sqrt h2)) (cbrt (sqrt h2))))
 (/ h1 (sqrt (* (cbrt h2) (cbrt h2))))
 (/ h1 (sqrt (sqrt h2)))
 (/ h1 (sqrt 1))
 (/ h1 (sqrt (sqrt h2)))
 (/ h1 1)
 (/ (sqrt h2) (cbrt h1))
 (/ (sqrt h2) (sqrt h1))
 (/ (sqrt h2) h1)
 (* (exp (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))) (exp (/ h3 h4)))
 (log (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (exp (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (* (cbrt (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4))) (cbrt (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4))))
 (cbrt (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (* (* (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)) (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4))) (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (sqrt (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (sqrt (+ (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4)))
 (+ (* (* (* h0 h1) 1) h4) (* (* (sqrt h2) (sqrt h2)) h3))
 (* (* (sqrt h2) (sqrt h2)) h4)
 (+ (* (* h0 (/ h1 (sqrt h2))) h4) (* (sqrt h2) h3))
 (* (sqrt h2) h4)
 (+ (* (* (* h0 (/ h1 (sqrt h2))) 1) h4) (* (sqrt h2) h3))
 (* (sqrt h2) h4)
 (+ (* (* (* h0 h1) (/ 1 (sqrt h2))) h4) (* (sqrt h2) h3))
 (* (sqrt h2) h4)
 (+ (pow (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) 3) (pow (/ h3 h4) 3))
 (+ (* (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))) (- (* (/ h3 h4) (/ h3 h4)) (* (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4))))
 (- (* (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2)))) (* (/ h3 h4) (/ h3 h4)))
 (- (* (* h0 (/ h1 (sqrt h2))) (/ 1 (sqrt h2))) (/ h3 h4))
 (* h0 (/ h1 (pow (sqrt h2) 2)))
 (* h0 (/ h1 (pow (sqrt h2) 2)))
 (* h0 (/ h1 (pow (sqrt h2) 2)))
 (* h0 (/ h1 (sqrt h2)))
 (* h0 (/ h1 (sqrt h2)))
 (* h0 (/ h1 (sqrt h2)))
 (/ h1 (sqrt h2))
 (/ h1 (sqrt h2))
 (/ h1 (sqrt h2))
 (+ (* h0 (/ h1 (pow (sqrt h2) 2))) h5)
 (+ (* h0 (/ h1 (pow (sqrt h2) 2))) h5)
 (+ (* h0 (/ h1 (pow (sqrt h2) 2))) h5)
1.879 * * [simplify]: iteration  0 :  608  enodes  (cost  1074 )
1.895 * * [simplify]: iteration  1 :  3653  enodes  (cost  909 )
1.953 * * [simplify]: iteration  2 :  5002  enodes  (cost  821 )
1.958 * [simplify]: Simplified to:
   (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (- (log (* 841.0 x)) (log 108.0))
  (pow (exp 841.0) (/ x 108.0))
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (pow (/ (* 841.0 x) 108.0) 3)
  (* (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))) (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0)))))
  (cbrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (pow (/ (* 841.0 x) 108.0) 3)
  (sqrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (sqrt (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))))
  (* 841.0 x)
  108.0
  (* (* 841.0 (/ x (sqrt 108.0))) (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0)))))
  (* (* 841.0 (/ x (sqrt 108.0))) (sqrt (/ 1 (sqrt 108.0))))
  (/ (* 841.0 (/ x (sqrt 108.0))) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (* 841.0 (/ x (sqrt 108.0))) (fabs (cbrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (* 841.0 (/ x (sqrt 108.0))) (fabs (cbrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (* 841.0 (/ x (sqrt 108.0))) (fabs (cbrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ x 108.0)
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (log (* 841.0 (/ x (sqrt 108.0))))
  (log (* 841.0 (/ x (sqrt 108.0))))
  (log (* 841.0 (/ x (sqrt 108.0))))
  (exp (* 841.0 (/ x (sqrt 108.0))))
  (pow (* 841.0 (/ x (sqrt 108.0))) 3)
  (pow (* 841.0 (/ x (sqrt 108.0))) 3)
  (* (cbrt (* 841.0 (/ x (sqrt 108.0)))) (cbrt (* 841.0 (/ x (sqrt 108.0)))))
  (cbrt (* 841.0 (/ x (sqrt 108.0))))
  (pow (* 841.0 (/ x (sqrt 108.0))) 3)
  (sqrt (* 841.0 (/ x (sqrt 108.0))))
  (sqrt (* 841.0 (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (sqrt (/ x (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt 841.0) (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* 841.0 (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))))
  (* 841.0 (sqrt (/ x (sqrt 108.0))))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (/ (* 841.0 (* (cbrt x) (cbrt x))) (fabs (cbrt 108.0)))
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* (* (cbrt x) (cbrt x)) 841.0)
  (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))))
  (* (* (cbrt x) (cbrt x)) 841.0)
  (* 841.0 (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))))
  (/ (* 841.0 (sqrt x)) (fabs (cbrt 108.0)))
  (* 841.0 (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt x) 841.0)
  (* 841.0 (/ (sqrt x) (sqrt (sqrt 108.0))))
  (* (sqrt x) 841.0)
  (/ 841.0 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ 841.0 (fabs (cbrt 108.0)))
  (/ 841.0 (sqrt (sqrt 108.0)))
  841.0
  (/ 841.0 (sqrt (sqrt 108.0)))
  841.0
  841.0
  (* 841.0 x)
  (* (cbrt 841.0) (/ x (sqrt 108.0)))
  (* (sqrt 841.0) (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 x)
  (log (/ x (sqrt 108.0)))
  (log (/ x (sqrt 108.0)))
  (exp (/ x (sqrt 108.0)))
  (pow (/ x (sqrt 108.0)) 3)
  (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))
  (cbrt (/ x (sqrt 108.0)))
  (pow (/ x (sqrt 108.0)) 3)
  (sqrt (/ x (sqrt 108.0)))
  (sqrt (/ x (sqrt 108.0)))
  (- x)
  (- (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (cbrt x) (cbrt (sqrt 108.0)))
  (/ (cbrt x) (/ (fabs (cbrt 108.0)) (cbrt x)))
  (/ (cbrt x) (sqrt (cbrt 108.0)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt 108.0))
  (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))
  (/ (cbrt x) (sqrt (sqrt 108.0)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (sqrt 108.0))
  (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ (sqrt x) (cbrt (sqrt 108.0)))
  (/ (sqrt x) (* (fabs (cbrt 108.0)) 1))
  (/ (sqrt x) (sqrt (cbrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (sqrt x)
  (/ (sqrt x) (sqrt 108.0))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (/ (sqrt x) (sqrt (sqrt 108.0)))
  (sqrt x)
  (/ (sqrt x) (sqrt 108.0))
  (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (cbrt (sqrt 108.0)))
  (/ 1 (/ (fabs (cbrt 108.0)) 1))
  (/ x (sqrt (cbrt 108.0)))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  1
  (/ x (sqrt 108.0))
  (/ 1 (sqrt (sqrt 108.0)))
  (/ x (sqrt (sqrt 108.0)))
  1
  (/ x (sqrt 108.0))
  (/ 1 (sqrt 108.0))
  (/ (sqrt 108.0) x)
  (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))
  (/ x (* (fabs (cbrt 108.0)) 1))
  (/ x (sqrt (sqrt 108.0)))
  x
  (/ x (sqrt (sqrt 108.0)))
  x
  (/ (sqrt 108.0) (cbrt x))
  (/ (sqrt 108.0) (sqrt x))
  (/ (sqrt 108.0) x)
  (exp (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (log (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (exp (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (* (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))) (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0))))
  (cbrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (pow (+ (/ 4.0 29.0) (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt 108.0))) 3)
  (sqrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (sqrt (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))
  (+ (* (* (* 841.0 x) 1) 29.0) (* (* (sqrt 108.0) (sqrt 108.0)) 4.0))
  (* 29.0 108.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0))
  (* (sqrt 108.0) 29.0)
  (+ (pow (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) 3) (pow (/ 4.0 29.0) 3))
  (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (- (/ (* (/ (* 841.0 (/ x (sqrt 108.0))) (sqrt 108.0)) 4.0) 29.0) (* (/ (* 841.0 x) 108.0) (/ (* 841.0 x) 108.0))))
  (+ (- (* (/ 4.0 29.0) (/ 4.0 29.0))) (* (/ (* 841.0 x) 108.0) (/ (* 841.0 x) 108.0)))
  (+ (- (/ 4.0 29.0)) (/ (* 841.0 x) 108.0))
  (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (/ (* 841.0 x) 108.0)
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (* 841.0 (/ x (sqrt 108.0)))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (/ x (sqrt 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
  (+ 0.13793103448275862 (/ (* 841.0 x) 108.0))
1.959 * * * [progress]: adding candidates to table
2.248 * [progress]: [Phase 3 of 3] Extracting.
2.248 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))> #<alt (λ (x) (/ (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0)) (* (sqrt 108.0) 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))>)
2.249 * * * [regime-changes]: Trying 3 branch expressions: ((* (/ 841.0 108.0) x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) x)
2.249 * * * * [regimes]: Trying to branch on (* (/ 841.0 108.0) x) from (#<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))> #<alt (λ (x) (/ (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0)) (* (sqrt 108.0) 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))>)
2.269 * * * * [regimes]: Trying to branch on (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) from (#<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))> #<alt (λ (x) (/ (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0)) (* (sqrt 108.0) 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))>)
2.285 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))> #<alt (λ (x) (/ (+ (* (* 841.0 (/ x (sqrt 108.0))) 29.0) (* (sqrt 108.0) 4.0)) (* (sqrt 108.0) 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (* 841.0 (/ x (sqrt 108.0))) (/ 1 (sqrt 108.0))) (/ 4.0 29.0)))>)
2.302 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.303 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
2.303 * [simplify]: Sending expressions to egg_math:
 (+ (* (/ h0 h1) h2) (/ h3 h4))
2.303 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
2.304 * * [simplify]: iteration  1 :  11  enodes  (cost  4 )
2.304 * [simplify]: Simplified to:
   (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
2.689 * [regime-testing]: Baseline error score: 0.08001000125015627
2.689 * [regime-testing]: Oracle error score: 0.006250781347668459
2.690 * [regime-testing]: End program error score: 0.08001000125015627