3.899 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
0.176 * * [simplify]: iteration  0 :  289  enodes  (cost  13 )
0.176 * * [simplify]: iteration  1 :  289  enodes  (cost  13 )
0.177 * [simplify]: Simplified to:
   (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
0.177 * * [progress]: iteration 1 / 4
0.177 * * * [progress]: picking best candidate
0.182 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))>
0.182 * * * [progress]: localizing error
0.190 * * * [progress]: generating rewritten candidates
0.190 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.196 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.200 * * * [progress]: generating series expansions
0.200 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.200 * [approximate]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in (x) around 0
0.200 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in x
0.200 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.200 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.200 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.200 * [taylor]: Taking taylor expansion of x in x
0.200 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.200 * [taylor]: Taking taylor expansion of x in x
0.200 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in x
0.200 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.200 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.200 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.200 * [taylor]: Taking taylor expansion of x in x
0.200 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.209 * [approximate]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in (x) around 0
0.209 * [taylor]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.209 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.209 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.209 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.210 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.210 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.210 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.221 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in (x) around 0
0.221 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in x
0.221 * [taylor]: Taking taylor expansion of -1 in x
0.221 * [taylor]: Taking taylor expansion of (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x) in x
0.221 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.221 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.221 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.221 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in x
0.222 * [taylor]: Taking taylor expansion of -1 in x
0.222 * [taylor]: Taking taylor expansion of (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x) in x
0.222 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.222 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.222 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.222 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.237 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.238 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in (x) around 0
0.238 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.238 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.238 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.238 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.238 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.238 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.242 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in (x) around 0
0.242 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.242 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.242 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.242 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.242 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.242 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.249 * [approximate]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in (x) around 0
0.249 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.249 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.249 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.249 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.249 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.250 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.250 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.250 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.250 * [taylor]: Taking taylor expansion of x in x
0.257 * * * [progress]: simplifying candidates
0.258 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (+.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (sqrt.f64 x) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (cbrt.f64 x) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 2278821411449471/9007199254740992 x)
  (*.f64 (*.f64 x 1080863910568919/9007199254740992) x)
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (*.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (exp.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (+.f64 (log.f64 x) (log.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)))
  (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))
  (+.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (-.f64 (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)) (*.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (exp.f64 2278821411449471/9007199254740992) (exp.f64 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992)
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992)
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992)
0.357 * * [simplify]: iteration  0 :  5280  enodes  (cost  455 )
0.361 * [simplify]: Simplified to:
   (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (+.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 x))
  (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 x))
  x
  (*.f64 x (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (exp.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 (*.f64 x x) 1168266793170336129950248828561/81129638414606681695789005144064))
  (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))
  (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (+.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) -2463095822267458791072031591849/81129638414606681695789005144064)))
  (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (pow.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) 3)
  (*.f64 (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
0.361 * * * [progress]: adding candidates to table
0.463 * * [progress]: iteration 2 / 4
0.463 * * * [progress]: picking best candidate
0.482 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))))>
0.482 * * * [progress]: localizing error
0.493 * * * [progress]: generating rewritten candidates
0.493 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
0.504 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.510 * * * [progress]: generating series expansions
0.510 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
0.511 * [approximate]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.511 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.511 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.511 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.511 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.511 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.517 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.517 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.517 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.517 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.518 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.518 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.525 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.525 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.525 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.525 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.532 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.532 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in (x) around 0
0.532 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.532 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.532 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.532 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.532 * [taylor]: Taking taylor expansion of x in x
0.532 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.532 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.532 * [taylor]: Taking taylor expansion of x in x
0.532 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.533 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.533 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.533 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.533 * [taylor]: Taking taylor expansion of x in x
0.533 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.533 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.533 * [taylor]: Taking taylor expansion of x in x
0.544 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.544 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.544 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.544 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.544 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.544 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.544 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.545 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.545 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.545 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.563 * [approximate]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.564 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.564 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.564 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.564 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.564 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.564 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.564 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.581 * * * [progress]: simplifying candidates
0.581 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (sqrt.f64 x) (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (cbrt.f64 x) (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x x)
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)) (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 1080863910568919/9007199254740992)))
  (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (log.f64 x) (+.f64 (log.f64 x) (log.f64 1080863910568919/9007199254740992)))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (-.f64 (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x 2278821411449471/9007199254740992)) (*.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (-.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (pow.f64 (*.f64 x 2278821411449471/9007199254740992) 3) (pow.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)) 3))
  (+.f64 (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x 2278821411449471/9007199254740992)) (-.f64 (*.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))))
  (sqrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (*.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))) (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (exp.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (exp.f64 (*.f64 x 2278821411449471/9007199254740992)) (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
0.669 * * [simplify]: iteration  0 :  4958  enodes  (cost  377 )
0.669 * * [simplify]: iteration  1 :  4958  enodes  (cost  377 )
0.672 * [simplify]: Simplified to:
   (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x 1080863910568919/9007199254740992) (sqrt.f64 x))
  (*.f64 (*.f64 x 1080863910568919/9007199254740992) (cbrt.f64 x))
  (*.f64 x x)
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))
  (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))
  (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)
  (-.f64 (*.f64 (*.f64 x x) 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 4)))
  (*.f64 x (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6)) (pow.f64 (*.f64 x 2278821411449471/9007199254740992) 3))
  (*.f64 (*.f64 x x) (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (-.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) 2463095822267458791072031591849/81129638414606681695789005144064))))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (pow.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))))
  (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (exp.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (log.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (exp.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
0.673 * * * [progress]: adding candidates to table
0.756 * * [progress]: iteration 3 / 4
0.756 * * * [progress]: picking best candidate
0.769 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))>
0.769 * * * [progress]: localizing error
0.788 * * * [progress]: generating rewritten candidates
0.788 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
0.796 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.801 * * * [progress]: generating series expansions
0.801 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
0.802 * [approximate]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.802 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.802 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.802 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.802 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.802 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.808 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.808 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.815 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.816 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.816 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.816 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.816 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.816 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.823 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.823 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in (x) around 0
0.823 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.823 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.823 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.823 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.823 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.823 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.823 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.823 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.823 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.824 * [taylor]: Taking taylor expansion of x in x
0.835 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.835 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.835 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.835 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.835 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.836 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.836 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.836 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.836 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.853 * [approximate]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.853 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.853 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.853 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.854 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.854 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.854 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.854 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.870 * * * [progress]: simplifying candidates
0.870 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x x) 1)
  (*.f64 (*.f64 x x) (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 1080863910568919/9007199254740992) (cbrt.f64 1080863910568919/9007199254740992)))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)) (cbrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (cbrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 1080863910568919/9007199254740992))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 1080863910568919/9007199254740992))
  (exp.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (log.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (+.f64 (log.f64 (*.f64 x x)) (log.f64 1080863910568919/9007199254740992))
  (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (-.f64 (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x 2278821411449471/9007199254740992)) (*.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (-.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (+.f64 (pow.f64 (*.f64 x 2278821411449471/9007199254740992) 3) (pow.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992) 3))
  (+.f64 (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x 2278821411449471/9007199254740992)) (-.f64 (*.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)) (*.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))
  (sqrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (sqrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)) (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))) (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))
  (cbrt.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (exp.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (log.f64 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (*.f64 (exp.f64 (*.f64 x 2278821411449471/9007199254740992)) (exp.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
0.938 * * [simplify]: iteration  0 :  4962  enodes  (cost  384 )
0.938 * * [simplify]: iteration  1 :  4962  enodes  (cost  384 )
0.941 * [simplify]: Simplified to:
   (*.f64 x 1080863910568919/9007199254740992)
  (*.f64 x x)
  (*.f64 (*.f64 x x) (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 1080863910568919/9007199254740992) (cbrt.f64 1080863910568919/9007199254740992)))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 (*.f64 x x) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 x (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3) 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488))
  (*.f64 x (*.f64 x (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (-.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) 2463095822267458791072031591849/81129638414606681695789005144064)))))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (pow.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))) (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))))
  (cbrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (pow.f64 (exp.f64 x) (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (log.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (pow.f64 (exp.f64 x) (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
0.941 * * * [progress]: adding candidates to table
1.027 * * [progress]: iteration 4 / 4
1.027 * * * [progress]: picking best candidate
1.043 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))>
1.044 * * * [progress]: localizing error
1.063 * * * [progress]: generating rewritten candidates
1.063 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.071 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.074 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.085 * * * [progress]: generating series expansions
1.085 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.086 * [approximate]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 x) (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in (x) around 0
1.086 * [taylor]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 x) (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
1.086 * [taylor]: Taking taylor expansion of (- (* 5193027025280559198049186179841/81129638414606681695789005144064 x) (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3))) in x
1.086 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.086 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.087 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.087 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
1.087 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.087 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
1.087 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 x) (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
1.087 * [taylor]: Taking taylor expansion of (- (* 5193027025280559198049186179841/81129638414606681695789005144064 x) (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3))) in x
1.087 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.087 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.087 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.087 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
1.087 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.087 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
1.087 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.109 * [approximate]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in (x) around 0
1.109 * [taylor]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
1.109 * [taylor]: Taking taylor expansion of (- (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3)))) in x
1.109 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) in x
1.110 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.110 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
1.110 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.110 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.110 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.110 * [taylor]: Taking taylor expansion of (/ (- (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
1.111 * [taylor]: Taking taylor expansion of (- (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3)))) in x
1.111 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) in x
1.111 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) in x
1.111 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.111 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
1.111 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.111 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.111 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.144 * [approximate]: Taking taylor expansion of (/ (- (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in (x) around 0
1.144 * [taylor]: Taking taylor expansion of (/ (- (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in x
1.145 * [taylor]: Taking taylor expansion of (- (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x))) in x
1.145 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) in x
1.145 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.145 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) in x
1.145 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
1.145 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.145 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.145 * [taylor]: Taking taylor expansion of x in x
1.145 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.145 * [taylor]: Taking taylor expansion of (/ (- (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in x
1.145 * [taylor]: Taking taylor expansion of (- (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x))) in x
1.146 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 3))) in x
1.146 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.146 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.146 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 (/ 1 x)) in x
1.146 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
1.146 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.146 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.175 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.175 * [approximate]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 x) in (x) around 0
1.175 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.176 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (* 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.176 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.179 * [approximate]: Taking taylor expansion of (/ 5193027025280559198049186179841/81129638414606681695789005144064 x) in (x) around 0
1.179 * [taylor]: Taking taylor expansion of (/ 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.180 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.180 * [taylor]: Taking taylor expansion of x in x
1.180 * [taylor]: Taking taylor expansion of (/ 5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.180 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
1.180 * [taylor]: Taking taylor expansion of x in x
1.184 * [approximate]: Taking taylor expansion of (/ -5193027025280559198049186179841/81129638414606681695789005144064 x) in (x) around 0
1.184 * [taylor]: Taking taylor expansion of (/ -5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.184 * [taylor]: Taking taylor expansion of -5193027025280559198049186179841/81129638414606681695789005144064 in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.184 * [taylor]: Taking taylor expansion of (/ -5193027025280559198049186179841/81129638414606681695789005144064 x) in x
1.184 * [taylor]: Taking taylor expansion of -5193027025280559198049186179841/81129638414606681695789005144064 in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.188 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.188 * [approximate]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in (x) around 0
1.188 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.188 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.188 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.188 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.188 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.199 * [approximate]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in (x) around 0
1.199 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.199 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.199 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.199 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.199 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
1.199 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.199 * [taylor]: Taking taylor expansion of x in x
1.208 * [approximate]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in (x) around 0
1.208 * [taylor]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.208 * [taylor]: Taking taylor expansion of -1168266793170336129950248828561/81129638414606681695789005144064 in x
1.208 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.208 * [taylor]: Taking taylor expansion of x in x
1.208 * [taylor]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 (pow x 3)) in x
1.208 * [taylor]: Taking taylor expansion of -1168266793170336129950248828561/81129638414606681695789005144064 in x
1.208 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.208 * [taylor]: Taking taylor expansion of x in x
1.216 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.217 * [approximate]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in (x) around 0
1.217 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
1.217 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.217 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
1.217 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.217 * [taylor]: Taking taylor expansion of x in x
1.217 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
1.217 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.217 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
1.217 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.217 * [taylor]: Taking taylor expansion of x in x
1.221 * [approximate]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in (x) around 0
1.221 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
1.221 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.221 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.221 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
1.221 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.221 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.221 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.229 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in (x) around 0
1.229 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
1.229 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.230 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
1.230 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
1.237 * * * [progress]: simplifying candidates
1.238 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)) (+.f64 (*.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) 1)
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 1 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 1 1)
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 1 (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) 1)
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))) 1)
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (neg.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (neg.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (exp.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (-.f64 (log.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (log.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 (sqrt.f64 x) 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 (cbrt.f64 x) 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 x (*.f64 (cbrt.f64 5193027025280559198049186179841/81129638414606681695789005144064) (cbrt.f64 5193027025280559198049186179841/81129638414606681695789005144064)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 x) (sqrt.f64 5193027025280559198049186179841/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)) (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)) (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 5193027025280559198049186179841/81129638414606681695789005144064) 5193027025280559198049186179841/81129638414606681695789005144064))
  (exp.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (log.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (+.f64 (log.f64 x) (log.f64 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 (pow.f64 x (/.f64 3 2)) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (sqrt.f64 (pow.f64 x 3)) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (*.f64 x x) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 (sqrt.f64 x) 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 (cbrt.f64 x) 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (cbrt.f64 (pow.f64 x 3)) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 (sqrt.f64 x) 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 (cbrt.f64 x) 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1)
  (*.f64 (pow.f64 x 3) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 x 3) (*.f64 (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064) (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (pow.f64 x (/.f64 3 2)) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 x (/.f64 3 2)) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 (pow.f64 x 3)) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 (pow.f64 x 3)) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 (pow.f64 x 3) (pow.f64 x 3)) (pow.f64 x 3)) (*.f64 (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 1168266793170336129950248828561/81129638414606681695789005144064) 1168266793170336129950248828561/81129638414606681695789005144064))
  (exp.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (+.f64 (log.f64 (pow.f64 x 3)) (log.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (+.f64 (*.f64 (log.f64 x) 3) (log.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (+.f64 (*.f64 (log.f64 x) 3) (log.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (neg.f64 (*.f64 x 1080863910568919/9007199254740992))
  (-.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))
  (+.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (+.f64 (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)) (*.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (exp.f64 2278821411449471/9007199254740992) (exp.f64 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (+.f64 (*.f64 1080863910568919/9007199254740992 (pow.f64 x 2)) (*.f64 2278821411449471/9007199254740992 x))
  (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 x)
  (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 x)
  (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 x)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 3))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 3))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 3))
  (-.f64 2278821411449471/9007199254740992 (*.f64 1080863910568919/9007199254740992 x))
  (-.f64 2278821411449471/9007199254740992 (*.f64 1080863910568919/9007199254740992 x))
  (-.f64 2278821411449471/9007199254740992 (*.f64 1080863910568919/9007199254740992 x))
1.310 * * [simplify]: iteration  0 :  5197  enodes  (cost  1639 )
1.321 * [simplify]: Simplified to:
   (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 (pow.f64 x 6) 1364847300024500937567031294156360605736703596919552769330721/6582018229284824168619876730229402019930943462534319453394436096) (*.f64 x (+.f64 (*.f64 x 26967529685294253620242215685951648880390168735323351194785281/6582018229284824168619876730229402019930943462534319453394436096) (*.f64 (pow.f64 x 3) 6066841029671408945764918034792274955700666539342300923238801/6582018229284824168619876730229402019930943462534319453394436096)))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 1 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  1
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 1 (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 x (-.f64 9007199254740992/2278821411449471 (/.f64 x 5193027025280559198049186179841/9735556609752801443206710427648)))
  (/.f64 (pow.f64 x 3) (-.f64 20525798518895490685207400415232/1168266793170336129950248828561 (/.f64 x 1080863910568919/9007199254740992)))
  (-.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064) (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (-.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (exp.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 (sqrt.f64 x))
  (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 (cbrt.f64 x))
  x
  (*.f64 2278821411449471/9007199254740992 x)
  (*.f64 x (*.f64 (cbrt.f64 5193027025280559198049186179841/81129638414606681695789005144064) (cbrt.f64 5193027025280559198049186179841/81129638414606681695789005144064)))
  (*.f64 2278821411449471/9007199254740992 (sqrt.f64 x))
  (*.f64 2278821411449471/9007199254740992 (sqrt.f64 x))
  (sqrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (pow.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) 3)
  (*.f64 (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)) (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 (pow.f64 x 3) 140043110460788792628995691057697967369339852202213627514614354124764275100718149052645720321/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144)
  (exp.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (log.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (log.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 3/2))
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (sqrt.f64 (pow.f64 x 3)))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (*.f64 x (sqrt.f64 x)))
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (*.f64 x (sqrt.f64 x)))
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (pow.f64 x 3)
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 3))
  (*.f64 (pow.f64 x 3) (*.f64 (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064) (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 3/2))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 3/2))
  (*.f64 1080863910568919/9007199254740992 (sqrt.f64 (pow.f64 x 3)))
  (*.f64 1080863910568919/9007199254740992 (sqrt.f64 (pow.f64 x 3)))
  (*.f64 1080863910568919/9007199254740992 (*.f64 x (sqrt.f64 x)))
  (*.f64 1080863910568919/9007199254740992 (*.f64 x (sqrt.f64 x)))
  (*.f64 1080863910568919/9007199254740992 (*.f64 x (sqrt.f64 x)))
  (*.f64 1080863910568919/9007199254740992 (*.f64 x (sqrt.f64 x)))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (pow.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064) 3)
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 (pow.f64 x 3) 3) 1594505778366815338816148515429655556605728584560565347108314091561258083131550078239522481/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144)
  (exp.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064))
  (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x -1080863910568919/9007199254740992)
  (-.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))
  (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (+.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) 2463095822267458791072031591849/81129638414606681695789005144064)))
  (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (pow.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) 3)
  (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)
  (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
  (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))
1.322 * * * [progress]: adding candidates to table
1.620 * [progress]: [Phase 3 of 3] Extracting.
1.620 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))> #<alt (λ (x) (-.f64 1 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))>)
1.621 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) x)
1.621 * * * * [regimes]: Trying to branch on (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) from (#<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))> #<alt (λ (x) (-.f64 1 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))>)
1.680 * * * * [regimes]: Trying to branch on (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) from (#<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))> #<alt (λ (x) (-.f64 1 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))>)
1.723 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))> #<alt (λ (x) (-.f64 1 (/.f64 (-.f64 (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064) (*.f64 (pow.f64 x 3) 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))>)
1.781 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.781 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
1.784 * * [simplify]: iteration  0 :  73  enodes  (cost  16 )
1.784 * * [simplify]: iteration  1 :  73  enodes  (cost  16 )
1.784 * [simplify]: Simplified to:
   (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
2.958 * [regime-testing]: End program error score: 0.13776518392207265