3.767 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.008 * * * [progress]: [2/2] Setting up program.
0.009 * [progress]: [Phase 2 of 3] Improving.
0.009 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x 116.0) 16.0)
0.011 * * [simplify]: iteration  0 :  8  enodes  (cost  2 )
0.013 * * [simplify]: iteration  1 :  9  enodes  (cost  2 )
0.014 * * [simplify]: iteration  2 :  9  enodes  (cost  2 )
0.014 * [simplify]: Simplified to:
   (- (* x 116.0) 16.0)
0.014 * * [progress]: iteration 1 / 4
0.014 * * * [progress]: picking best candidate
0.015 * * * * [pick]: Picked  #<alt (λ (x) (- (* x 116.0) 16.0))>
0.015 * * * [progress]: localizing error
0.018 * * * [progress]: generating rewritten candidates
0.018 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.022 * * * [progress]: generating series expansions
0.022 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.022 * [approximate]: Taking taylor expansion of (- (* 116.0 x) 16.0) in (x) around 0
0.022 * [taylor]: Taking taylor expansion of (- (* 116.0 x) 16.0) in x
0.022 * [taylor]: Taking taylor expansion of (* 116.0 x) in x
0.022 * [taylor]: Taking taylor expansion of 116.0 in x
0.022 * [taylor]: Taking taylor expansion of x in x
0.022 * [taylor]: Taking taylor expansion of 16.0 in x
0.022 * [taylor]: Taking taylor expansion of (- (* 116.0 x) 16.0) in x
0.022 * [taylor]: Taking taylor expansion of (* 116.0 x) in x
0.022 * [taylor]: Taking taylor expansion of 116.0 in x
0.022 * [taylor]: Taking taylor expansion of x in x
0.022 * [taylor]: Taking taylor expansion of 16.0 in x
0.032 * [approximate]: Taking taylor expansion of (- (* 116.0 (/ 1 x)) 16.0) in (x) around 0
0.032 * [taylor]: Taking taylor expansion of (- (* 116.0 (/ 1 x)) 16.0) in x
0.032 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.032 * [taylor]: Taking taylor expansion of 116.0 in x
0.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of 16.0 in x
0.032 * [taylor]: Taking taylor expansion of (- (* 116.0 (/ 1 x)) 16.0) in x
0.032 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.032 * [taylor]: Taking taylor expansion of 116.0 in x
0.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.033 * [taylor]: Taking taylor expansion of 16.0 in x
0.045 * [approximate]: Taking taylor expansion of (- (+ 16.0 (* 116.0 (/ 1 x)))) in (x) around 0
0.045 * [taylor]: Taking taylor expansion of (- (+ 16.0 (* 116.0 (/ 1 x)))) in x
0.045 * [taylor]: Taking taylor expansion of (+ 16.0 (* 116.0 (/ 1 x))) in x
0.045 * [taylor]: Taking taylor expansion of 16.0 in x
0.045 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.045 * [taylor]: Taking taylor expansion of 116.0 in x
0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of (- (+ 16.0 (* 116.0 (/ 1 x)))) in x
0.045 * [taylor]: Taking taylor expansion of (+ 16.0 (* 116.0 (/ 1 x))) in x
0.045 * [taylor]: Taking taylor expansion of 16.0 in x
0.045 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.045 * [taylor]: Taking taylor expansion of 116.0 in x
0.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.058 * * * [progress]: simplifying candidates
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* x 116.0)) (exp 16.0))
  (log (- (* x 116.0) 16.0))
  (exp (- (* x 116.0) 16.0))
  (* (cbrt (- (* x 116.0) 16.0)) (cbrt (- (* x 116.0) 16.0)))
  (cbrt (- (* x 116.0) 16.0))
  (* (* (- (* x 116.0) 16.0) (- (* x 116.0) 16.0)) (- (* x 116.0) 16.0))
  (sqrt (- (* x 116.0) 16.0))
  (sqrt (- (* x 116.0) 16.0))
  (- (pow (* x 116.0) 3) (pow 16.0 3))
  (+ (* (* x 116.0) (* x 116.0)) (+ (* 16.0 16.0) (* (* x 116.0) 16.0)))
  (- 16.0)
  (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))
  (+ (* x 116.0) 16.0)
  (- 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
0.061 * * [simplify]: iteration  0 :  68  enodes  (cost  59 )
0.063 * * [simplify]: iteration  1 :  180  enodes  (cost  54 )
0.067 * * [simplify]: iteration  2 :  451  enodes  (cost  53 )
0.074 * * [simplify]: iteration  3 :  1057  enodes  (cost  53 )
0.097 * * [simplify]: iteration  4 :  3746  enodes  (cost  53 )
0.173 * * [simplify]: iteration  5 :  5001  enodes  (cost  53 )
0.174 * [simplify]: Simplified to:
   (exp (- (* x 116.0) 16.0))
  (log (- (* x 116.0) 16.0))
  (exp (- (* x 116.0) 16.0))
  (* (cbrt (- (* x 116.0) 16.0)) (cbrt (- (* x 116.0) 16.0)))
  (cbrt (- (* x 116.0) 16.0))
  (pow (- (* 116.0 x) 16.0) 3)
  (sqrt (- (* x 116.0) 16.0))
  (sqrt (- (* x 116.0) 16.0))
  (- (pow (* x 116.0) 3) (pow 16.0 3))
  (+ (* (* x 116.0) (+ (* x 116.0) 16.0)) (* 16.0 16.0))
  (- 0 16.0)
  (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))
  (+ (* x 116.0) 16.0)
  (- 0 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
0.174 * * * [progress]: adding candidates to table
0.199 * * [progress]: iteration 2 / 4
0.199 * * * [progress]: picking best candidate
0.200 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))>
0.200 * * * [progress]: localizing error
0.207 * * * [progress]: generating rewritten candidates
0.207 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.219 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
0.227 * * * [progress]: generating series expansions
0.228 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.228 * [approximate]: Taking taylor expansion of (/ (- (* 13456.0 (pow x 2)) 256.0) (+ (* 116.0 x) 16.0)) in (x) around 0
0.228 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (pow x 2)) 256.0) (+ (* 116.0 x) 16.0)) in x
0.228 * [taylor]: Taking taylor expansion of (- (* 13456.0 (pow x 2)) 256.0) in x
0.228 * [taylor]: Taking taylor expansion of (* 13456.0 (pow x 2)) in x
0.228 * [taylor]: Taking taylor expansion of 13456.0 in x
0.228 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of 256.0 in x
0.228 * [taylor]: Taking taylor expansion of (+ (* 116.0 x) 16.0) in x
0.228 * [taylor]: Taking taylor expansion of (* 116.0 x) in x
0.228 * [taylor]: Taking taylor expansion of 116.0 in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of 16.0 in x
0.230 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (pow x 2)) 256.0) (+ (* 116.0 x) 16.0)) in x
0.230 * [taylor]: Taking taylor expansion of (- (* 13456.0 (pow x 2)) 256.0) in x
0.230 * [taylor]: Taking taylor expansion of (* 13456.0 (pow x 2)) in x
0.230 * [taylor]: Taking taylor expansion of 13456.0 in x
0.230 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of 256.0 in x
0.230 * [taylor]: Taking taylor expansion of (+ (* 116.0 x) 16.0) in x
0.230 * [taylor]: Taking taylor expansion of (* 116.0 x) in x
0.230 * [taylor]: Taking taylor expansion of 116.0 in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of 16.0 in x
0.256 * [approximate]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (+ 16.0 (* 116.0 (/ 1 x)))) in (x) around 0
0.256 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (+ 16.0 (* 116.0 (/ 1 x)))) in x
0.256 * [taylor]: Taking taylor expansion of (- (* 13456.0 (/ 1 (pow x 2))) 256.0) in x
0.256 * [taylor]: Taking taylor expansion of (* 13456.0 (/ 1 (pow x 2))) in x
0.256 * [taylor]: Taking taylor expansion of 13456.0 in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of 256.0 in x
0.257 * [taylor]: Taking taylor expansion of (+ 16.0 (* 116.0 (/ 1 x))) in x
0.257 * [taylor]: Taking taylor expansion of 16.0 in x
0.257 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.257 * [taylor]: Taking taylor expansion of 116.0 in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (+ 16.0 (* 116.0 (/ 1 x)))) in x
0.258 * [taylor]: Taking taylor expansion of (- (* 13456.0 (/ 1 (pow x 2))) 256.0) in x
0.258 * [taylor]: Taking taylor expansion of (* 13456.0 (/ 1 (pow x 2))) in x
0.258 * [taylor]: Taking taylor expansion of 13456.0 in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.258 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of 256.0 in x
0.259 * [taylor]: Taking taylor expansion of (+ 16.0 (* 116.0 (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of 16.0 in x
0.259 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.259 * [taylor]: Taking taylor expansion of 116.0 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.297 * [approximate]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (- 16.0 (* 116.0 (/ 1 x)))) in (x) around 0
0.298 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (- 16.0 (* 116.0 (/ 1 x)))) in x
0.298 * [taylor]: Taking taylor expansion of (- (* 13456.0 (/ 1 (pow x 2))) 256.0) in x
0.298 * [taylor]: Taking taylor expansion of (* 13456.0 (/ 1 (pow x 2))) in x
0.298 * [taylor]: Taking taylor expansion of 13456.0 in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.298 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of 256.0 in x
0.298 * [taylor]: Taking taylor expansion of (- 16.0 (* 116.0 (/ 1 x))) in x
0.298 * [taylor]: Taking taylor expansion of 16.0 in x
0.298 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of 116.0 in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (/ (- (* 13456.0 (/ 1 (pow x 2))) 256.0) (- 16.0 (* 116.0 (/ 1 x)))) in x
0.301 * [taylor]: Taking taylor expansion of (- (* 13456.0 (/ 1 (pow x 2))) 256.0) in x
0.301 * [taylor]: Taking taylor expansion of (* 13456.0 (/ 1 (pow x 2))) in x
0.301 * [taylor]: Taking taylor expansion of 13456.0 in x
0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.301 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.301 * [taylor]: Taking taylor expansion of 256.0 in x
0.301 * [taylor]: Taking taylor expansion of (- 16.0 (* 116.0 (/ 1 x))) in x
0.301 * [taylor]: Taking taylor expansion of 16.0 in x
0.301 * [taylor]: Taking taylor expansion of (* 116.0 (/ 1 x)) in x
0.301 * [taylor]: Taking taylor expansion of 116.0 in x
0.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.344 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
0.344 * [approximate]: Taking taylor expansion of (* 13456.0 (pow x 2)) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (* 13456.0 (pow x 2)) in x
0.344 * [taylor]: Taking taylor expansion of 13456.0 in x
0.344 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of (* 13456.0 (pow x 2)) in x
0.344 * [taylor]: Taking taylor expansion of 13456.0 in x
0.344 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.352 * [approximate]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in (x) around 0
0.352 * [taylor]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in x
0.352 * [taylor]: Taking taylor expansion of 13456.0 in x
0.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in x
0.353 * [taylor]: Taking taylor expansion of 13456.0 in x
0.353 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.360 * [approximate]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in (x) around 0
0.360 * [taylor]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in x
0.361 * [taylor]: Taking taylor expansion of 13456.0 in x
0.361 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of (/ 13456.0 (pow x 2)) in x
0.361 * [taylor]: Taking taylor expansion of 13456.0 in x
0.361 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.369 * * * [progress]: simplifying candidates
0.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (log (+ (* x 116.0) 16.0)))
  (log (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (exp (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (/ (* (* (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (* (* (+ (* x 116.0) 16.0) (+ (* x 116.0) 16.0)) (+ (* x 116.0) 16.0)))
  (* (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))) (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))))
  (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (* (* (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (sqrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (sqrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (- (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (- (+ (* x 116.0) 16.0))
  (/ (* (* x 116.0) (* x 116.0)) (+ (* x 116.0) 16.0))
  (/ (* 16.0 16.0) (+ (* x 116.0) 16.0))
  (/ (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (+ (* x 116.0) 16.0)))
  (/ (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))) 1)
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (+ (* x 116.0) 16.0))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (+ (* x 116.0) 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) 1)
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (+ (* x 116.0) 16.0))
  (/ 1 (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (cbrt (+ (* x 116.0) 16.0)))
  (/ 1 (sqrt (+ (* x 116.0) 16.0)))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (sqrt (+ (* x 116.0) 16.0)))
  (/ 1 1)
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))
  (/ (+ (* x 116.0) 16.0) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* x 116.0) 16.0) (cbrt (+ (* x 116.0) 16.0)))
  (/ (+ (* x 116.0) 16.0) (sqrt (+ (* x 116.0) 16.0)))
  (/ (- (* x 116.0) 16.0) (sqrt (+ (* x 116.0) 16.0)))
  (/ (+ (* x 116.0) 16.0) 1)
  (/ (- (* x 116.0) 16.0) (+ (* x 116.0) 16.0))
  (/ 1 (+ (* x 116.0) 16.0))
  (/ (+ (* x 116.0) 16.0) (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (sqrt (+ (* x 116.0) 16.0)))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) 1)
  (/ (+ (* x 116.0) 16.0) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))))
  (/ (+ (* x 116.0) 16.0) (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))))
  (/ (+ (* x 116.0) 16.0) (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (/ (+ (* x 116.0) 16.0) (- (* x 116.0) 16.0))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (pow (* x 116.0) 3) (pow 16.0 3)))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (* (+ (* x 116.0) 16.0) (+ (* (* (* x 116.0) (* x 116.0)) (* (* x 116.0) (* x 116.0))) (+ (* (* 16.0 16.0) (* 16.0 16.0)) (* (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))))
  (* (+ (* x 116.0) 16.0) (+ (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log x) (log 116.0)) (+ (log x) (log 116.0)))
  (+ (+ (log x) (log 116.0)) (log (* x 116.0)))
  (+ (log (* x 116.0)) (+ (log x) (log 116.0)))
  (+ (log (* x 116.0)) (log (* x 116.0)))
  (log (* (* x 116.0) (* x 116.0)))
  (exp (* (* x 116.0) (* x 116.0)))
  (* (* (* (* x x) x) (* (* 116.0 116.0) 116.0)) (* (* (* x x) x) (* (* 116.0 116.0) 116.0)))
  (* (* (* (* x x) x) (* (* 116.0 116.0) 116.0)) (* (* (* x 116.0) (* x 116.0)) (* x 116.0)))
  (* (* (* (* x 116.0) (* x 116.0)) (* x 116.0)) (* (* (* x x) x) (* (* 116.0 116.0) 116.0)))
  (* (* (* (* x 116.0) (* x 116.0)) (* x 116.0)) (* (* (* x 116.0) (* x 116.0)) (* x 116.0)))
  (* (cbrt (* (* x 116.0) (* x 116.0))) (cbrt (* (* x 116.0) (* x 116.0))))
  (cbrt (* (* x 116.0) (* x 116.0)))
  (* (* (* (* x 116.0) (* x 116.0)) (* (* x 116.0) (* x 116.0))) (* (* x 116.0) (* x 116.0)))
  (sqrt (* (* x 116.0) (* x 116.0)))
  (sqrt (* (* x 116.0) (* x 116.0)))
  (* x x)
  (* 116.0 116.0)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* x 116.0) x)
  (* 116.0 (* x 116.0))
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (* 13456.0 (pow x 2))
  (* 13456.0 (pow x 2))
  (* 13456.0 (pow x 2))
0.376 * * [simplify]: iteration  0 :  303  enodes  (cost  561 )
0.383 * * [simplify]: iteration  1 :  1504  enodes  (cost  498 )
0.417 * * [simplify]: iteration  2 :  5002  enodes  (cost  488 )
0.420 * [simplify]: Simplified to:
   (log (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (log (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (exp (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (pow (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)) 3)
  (* (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))) (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))))
  (cbrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (pow (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)) 3)
  (sqrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (sqrt (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))
  (- (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (- (+ (* x 116.0) 16.0))
  (/ (* (* x 116.0) (* x 116.0)) (+ (* x 116.0) 16.0))
  (/ (* 16.0 16.0) (+ (* x 116.0) 16.0))
  (/ (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (+ (* x 116.0) 16.0)))
  (/ (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (* (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))))
  (/ (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (+ (* x 116.0) 16.0))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (cbrt (+ (* x 116.0) 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (sqrt (+ (* x 116.0) 16.0)))
  (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  (/ (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (+ (* x 116.0) 16.0))
  (/ 1 (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (cbrt (+ (* x 116.0) 16.0)))
  (/ 1 (sqrt (+ (* x 116.0) 16.0)))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (sqrt (+ (* x 116.0) 16.0)))
  1
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0))
  (/ (+ (* x 116.0) 16.0) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* x 116.0) 16.0) (cbrt (+ (* x 116.0) 16.0)))
  (/ (+ (* x 116.0) 16.0) (sqrt (+ (* x 116.0) 16.0)))
  (/ (- (* x 116.0) 16.0) (sqrt (+ (* x 116.0) 16.0)))
  (+ (* x 116.0) 16.0)
  (/ (- (* x 116.0) 16.0) (+ (* x 116.0) 16.0))
  (/ 1 (+ (* x 116.0) 16.0))
  (/ 1 (- (* 116.0 x) 16.0))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (* (cbrt (+ (* x 116.0) 16.0)) (cbrt (+ (* x 116.0) 16.0))))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (sqrt (+ (* x 116.0) 16.0)))
  (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))
  (/ (+ (* x 116.0) 16.0) (cbrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))))
  (/ (+ (* x 116.0) 16.0) (sqrt (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))))
  (/ 1 (- (* 116.0 x) 16.0))
  (/ (+ (* x 116.0) 16.0) (- (* x 116.0) 16.0))
  (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (pow (* x 116.0) 3) (pow 16.0 3)))
  1
  (* (+ (+ (pow (* x 116.0) 4) (* (* (* x 116.0) (* x 116.0)) (* 16.0 16.0))) (pow 16.0 4)) (+ (* x 116.0) 16.0))
  (* (+ (* x 116.0) 16.0) (+ (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)))
  2
  2
  2
  2
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  (* (* x 116.0) (* x 116.0))
  2
  2
  (* 2 (log (* x 116.0)))
  (* 2 (log (* x 116.0)))
  (* 2 (log (* x 116.0)))
  (* 2 (log (* x 116.0)))
  (* 2 (log (* x 116.0)))
  (exp (* (* x 116.0) (* x 116.0)))
  (pow (* x 116.0) 6)
  (pow (* x 116.0) 6)
  (pow (* x 116.0) 6)
  (pow (* x 116.0) 6)
  (* (cbrt (* (* x 116.0) (* x 116.0))) (cbrt (* (* x 116.0) (* x 116.0))))
  (cbrt (* (* x 116.0) (* x 116.0)))
  (pow (* x 116.0) 6)
  (fabs (* x 116.0))
  (fabs (* x 116.0))
  (pow x 2)
  (* 116.0 116.0)
  2
  2
  2
  2
  (* (* x 116.0) x)
  (* 116.0 (* x 116.0))
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (- (* 116.0 x) 16.0)
  (* 13456.0 (pow x 2))
  (* 13456.0 (pow x 2))
  (* 13456.0 (pow x 2))
0.421 * * * [progress]: adding candidates to table
0.522 * [progress]: [Phase 3 of 3] Extracting.
0.522 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (* x 116.0) 16.0))> #<alt (λ (x) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))>)
0.522 * * * [regime-changes]: Trying 3 branch expressions: ((* x 116.0) (- (* x 116.0) 16.0) x)
0.522 * * * * [regimes]: Trying to branch on (* x 116.0) from (#<alt (λ (x) (- (* x 116.0) 16.0))> #<alt (λ (x) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))>)
0.531 * * * * [regimes]: Trying to branch on (- (* x 116.0) 16.0) from (#<alt (λ (x) (- (* x 116.0) 16.0))> #<alt (λ (x) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))>)
0.541 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (* x 116.0) 16.0))> #<alt (λ (x) (/ (- (* (* x 116.0) (* x 116.0)) (* 16.0 16.0)) (+ (* x 116.0) 16.0)))>)
0.550 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.550 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x 116.0) 16.0)
0.551 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
0.551 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
0.551 * [simplify]: Simplified to:
   (- (* x 116.0) 16.0)
0.787 * [regime-testing]: Baseline error score: 0.00909549787500481
0.787 * [regime-testing]: Oracle error score: 0.008470419740237963
0.788 * [regime-testing]: End program error score: 0.00909549787500481