2.121 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
0.043 * * [simplify]: iteration  0 :  290  enodes  (cost  13 )
0.043 * * [simplify]: iteration  1 :  290  enodes  (cost  13 )
0.044 * [simplify]: Simplified to:
   (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))>
0.046 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.061 * * * [progress]: generating series expansions
0.061 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.061 * [approximate]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in (x) around 0
0.061 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in x
0.061 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.061 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.061 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.061 * [taylor]: Taking taylor expansion of x in x
0.061 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) x) in x
0.062 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.062 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.062 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.063 * [approximate]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in (x) around 0
0.063 * [taylor]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.063 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.063 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.063 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.063 * [taylor]: Taking taylor expansion of x in x
0.063 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.063 * [taylor]: Taking taylor expansion of x in x
0.063 * [taylor]: Taking taylor expansion of (/ (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.063 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.064 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.064 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.065 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in (x) around 0
0.065 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in x
0.065 * [taylor]: Taking taylor expansion of -1 in x
0.065 * [taylor]: Taking taylor expansion of (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x) in x
0.065 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.065 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.065 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.065 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x)) in x
0.066 * [taylor]: Taking taylor expansion of -1 in x
0.066 * [taylor]: Taking taylor expansion of (/ (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) x) in x
0.066 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.066 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.066 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.066 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.066 * [taylor]: Taking taylor expansion of x in x
0.068 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.068 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in (x) around 0
0.068 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.068 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.068 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.068 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992) in x
0.068 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.068 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.069 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.069 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.069 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.069 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.069 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.069 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.070 * [approximate]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in (x) around 0
0.070 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.070 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.070 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.070 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.070 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.070 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.070 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.072 * * * [progress]: simplifying candidates
0.072 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (+.f64 (log.f64 x) (log.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (exp.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))))
  (*.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 (+.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))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.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))))
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 2278821411449471/9007199254740992 x)
  (*.f64 (*.f64 x 1080863910568919/9007199254740992) x)
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (sqrt.f64 x) (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (*.f64 x (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (exp.f64 2278821411449471/9007199254740992) (exp.f64 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (+.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)))
  (*.f64 (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 2278821411449471/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 (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))))
  (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)))
  (-.f64 2278821411449471/9007199254740992 (*.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.189 * * [simplify]: iteration  0 :  4886  enodes  (cost  455 )
0.189 * * [simplify]: iteration  1 :  4886  enodes  (cost  455 )
0.193 * [simplify]: Simplified to:
   (*.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))))
  (exp.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)
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.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))))
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x 2278821411449471/9007199254740992)
  (*.f64 x (*.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 (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  x
  (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 x))
  (*.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 x))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x (+.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (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 (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)))
  (pow.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) 3)
  (sqrt.f64 (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (+.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)))
  (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (-.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.193 * * * [progress]: adding candidates to table
0.227 * * [progress]: iteration 2 / 4
0.227 * * * [progress]: picking best candidate
0.234 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))))>
0.234 * * * [progress]: localizing error
0.240 * * * [progress]: generating rewritten candidates
0.240 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
0.248 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.253 * * * [progress]: generating series expansions
0.253 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
0.253 * [approximate]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.253 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.254 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.254 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.255 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.255 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.255 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.255 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.255 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.255 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.256 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.256 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.257 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.257 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in (x) around 0
0.257 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.257 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.257 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.257 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.257 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.259 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.259 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.259 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.259 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.259 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.259 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.262 * [approximate]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.262 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.262 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.262 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.262 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.262 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.264 * * * [progress]: simplifying candidates
0.265 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (+.f64 (log.f64 x) (+.f64 (log.f64 x) (log.f64 1080863910568919/9007199254740992)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 x 1080863910568919/9007199254740992)))
  (log.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)) (*.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 (*.f64 x 1080863910568919/9007199254740992)) (*.f64 x (*.f64 x 1080863910568919/9007199254740992))) (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x x)
  (*.f64 (cbrt.f64 x) (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (sqrt.f64 x) (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 (exp.f64 (*.f64 x 2278821411449471/9007199254740992)) (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992))))
  (log.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))))
  (*.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))))
  (*.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))))
  (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 (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)))))
  (-.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 2278821411449471/9007199254740992 (*.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.331 * * [simplify]: iteration  0 :  5193  enodes  (cost  375 )
0.334 * [simplify]: Simplified to:
   (*.f64 x (*.f64 x 1080863910568919/9007199254740992))
  (*.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)))
  (exp.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))
  (*.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))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (sqrt.f64 (*.f64 x (*.f64 x 1080863910568919/9007199254740992)))
  (*.f64 x x)
  (*.f64 (*.f64 x 1080863910568919/9007199254740992) (cbrt.f64 x))
  (*.f64 1080863910568919/9007199254740992 (pow.f64 x 3/2))
  (*.f64 x (*.f64 x 1080863910568919/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 (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 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)) 3)
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/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))))
  (*.f64 (*.f64 x x) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 (*.f64 x x) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 x (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (+.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.334 * * * [progress]: adding candidates to table
0.361 * * [progress]: iteration 3 / 4
0.361 * * * [progress]: picking best candidate
0.366 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))))>
0.366 * * * [progress]: localizing error
0.372 * * * [progress]: generating rewritten candidates
0.372 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
0.378 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.384 * * * [progress]: generating series expansions
0.384 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
0.384 * [approximate]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.384 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.384 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.384 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.384 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.384 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.385 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.385 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.385 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.385 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.385 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.385 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.386 * [approximate]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in (x) around 0
0.386 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.386 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.386 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.386 * [taylor]: Taking taylor expansion of (/ 1080863910568919/9007199254740992 (pow x 2)) in x
0.386 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.386 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.387 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.387 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in (x) around 0
0.387 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.387 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.387 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.387 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.387 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (pow x 2)) (* 2278821411449471/9007199254740992 x)) in x
0.387 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (pow x 2)) in x
0.388 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.388 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.388 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 x) in x
0.388 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.389 * [approximate]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.389 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.389 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.389 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.389 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.389 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.389 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.389 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.389 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.389 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.392 * [approximate]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in (x) around 0
0.392 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.392 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.392 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.392 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.392 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (- (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) (* 2278821411449471/9007199254740992 (/ 1 x))) in x
0.392 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 (pow x 2))) in x
0.392 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.392 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (* 2278821411449471/9007199254740992 (/ 1 x)) in x
0.392 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.394 * * * [progress]: simplifying candidates
0.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 1080863910568919/9007199254740992))
  (+.f64 (log.f64 (*.f64 x x)) (log.f64 1080863910568919/9007199254740992))
  (log.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (exp.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 1080863910568919/9007199254740992))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 1080863910568919/9007199254740992 1080863910568919/9007199254740992) 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) 1080863910568919/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 1080863910568919/9007199254740992) (cbrt.f64 1080863910568919/9007199254740992)))
  (*.f64 (*.f64 x x) (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) 1)
  (*.f64 x 1080863910568919/9007199254740992)
  (*.f64 (exp.f64 (*.f64 x 2278821411449471/9007199254740992)) (exp.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
  (log.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)))
  (*.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)))
  (*.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)))
  (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 (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))))
  (-.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 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.462 * * [simplify]: iteration  0 :  4902  enodes  (cost  384 )
0.462 * * [simplify]: iteration  1 :  4902  enodes  (cost  384 )
0.465 * [simplify]: Simplified to:
   (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (log.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (log.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (log.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (exp.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (*.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 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488)
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (sqrt.f64 (*.f64 (*.f64 x x) 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 x (sqrt.f64 1080863910568919/9007199254740992))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 1080863910568919/9007199254740992) (cbrt.f64 1080863910568919/9007199254740992)))
  (*.f64 x (*.f64 x (sqrt.f64 1080863910568919/9007199254740992)))
  (*.f64 x x)
  (*.f64 x 1080863910568919/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 (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 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)) 3)
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (sqrt.f64 (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)))
  (+.f64 (*.f64 (pow.f64 x 6) 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488) (pow.f64 (*.f64 x 2278821411449471/9007199254740992) 3))
  (*.f64 (*.f64 x x) (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (+.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) -2463095822267458791072031591849/81129638414606681695789005144064))))
  (-.f64 (*.f64 x (*.f64 x 5193027025280559198049186179841/81129638414606681695789005144064)) (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 4)))
  (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x -1080863910568919/9007199254740992)))
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)
  (*.f64 (*.f64 x 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.466 * * * [progress]: adding candidates to table
0.489 * * [progress]: iteration 4 / 4
0.489 * * * [progress]: picking best candidate
0.493 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 1 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))>
0.493 * * * [progress]: localizing error
0.504 * * * [progress]: generating rewritten candidates
0.504 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2)
0.508 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
0.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.533 * * * [progress]: generating series expansions
0.533 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2)
0.534 * [approximate]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 x) in (x) around 0
0.534 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.534 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.534 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [approximate]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 x) in (x) around 0
0.534 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.534 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.534 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.535 * [approximate]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 x) in (x) around 0
0.535 * [taylor]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.535 * [taylor]: Taking taylor expansion of -1168266793170336129950248828561/81129638414606681695789005144064 in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (/ -1168266793170336129950248828561/81129638414606681695789005144064 x) in x
0.535 * [taylor]: Taking taylor expansion of -1168266793170336129950248828561/81129638414606681695789005144064 in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.536 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
0.536 * [approximate]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in (x) around 0
0.536 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.536 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.536 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.536 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.536 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.537 * [approximate]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in (x) around 0
0.537 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.537 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.537 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.537 * [taylor]: Taking taylor expansion of x in x
0.537 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.537 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.537 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.537 * [taylor]: Taking taylor expansion of x in x
0.538 * [approximate]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in (x) around 0
0.538 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.538 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.538 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.538 * [taylor]: Taking taylor expansion of x in x
0.538 * [taylor]: Taking taylor expansion of (/ 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.538 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.538 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.538 * [taylor]: Taking taylor expansion of x in x
0.539 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.539 * [approximate]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in (x) around 0
0.539 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
0.539 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) in x
0.539 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.539 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.539 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.539 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
0.539 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.539 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.539 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
0.540 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) in x
0.540 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.540 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.540 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.540 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
0.540 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.540 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.540 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.542 * [approximate]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in (x) around 0
0.542 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
0.542 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.542 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.542 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.542 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.542 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.542 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.542 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
0.542 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.542 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.542 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.542 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.542 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.542 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.542 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.545 * [approximate]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in (x) around 0
0.545 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in x
0.545 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.545 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.545 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.545 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.545 * [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.546 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.546 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.546 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.546 * [taylor]: Taking taylor expansion of x in x
0.546 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.546 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992)) in x
0.546 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.546 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.546 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.546 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.546 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.546 * [taylor]: Taking taylor expansion of x in x
0.546 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.546 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.546 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.546 * [taylor]: Taking taylor expansion of x in x
0.546 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.549 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.549 * [approximate]: Taking taylor expansion of (/ (* (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) x) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in (x) around 0
0.549 * [taylor]: Taking taylor expansion of (/ (* (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) x) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
0.549 * [taylor]: Taking taylor expansion of (* (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) x) in x
0.549 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) in x
0.549 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.549 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.549 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
0.549 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.549 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.549 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (/ (* (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) x) (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x))) in x
0.549 * [taylor]: Taking taylor expansion of (* (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) x) in x
0.549 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2))) in x
0.549 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.549 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (pow x 2)) in x
0.549 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.550 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 x)) in x
0.550 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.550 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 x) in x
0.550 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.552 * [approximate]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* x (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))))) in (x) around 0
0.552 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* x (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))))) in x
0.552 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.552 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.552 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.552 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.552 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (* x (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.552 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.552 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.553 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* x (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))))) in x
0.553 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.553 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.553 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.553 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.553 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (* x (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x)))) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (- 2278821411449471/9007199254740992 (* 1080863910568919/9007199254740992 (/ 1 x))) in x
0.553 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.553 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.553 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.557 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x))) in (x) around 0
0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x))) in x
0.557 * [taylor]: Taking taylor expansion of -1 in x
0.557 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x)) in x
0.557 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.557 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.557 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.557 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.557 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.557 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.557 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.557 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x))) in x
0.558 * [taylor]: Taking taylor expansion of -1 in x
0.558 * [taylor]: Taking taylor expansion of (/ (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x)) in x
0.558 * [taylor]: Taking taylor expansion of (- 5193027025280559198049186179841/81129638414606681695789005144064 (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2)))) in x
0.558 * [taylor]: Taking taylor expansion of 5193027025280559198049186179841/81129638414606681695789005144064 in x
0.558 * [taylor]: Taking taylor expansion of (* 1168266793170336129950248828561/81129638414606681695789005144064 (/ 1 (pow x 2))) in x
0.558 * [taylor]: Taking taylor expansion of 1168266793170336129950248828561/81129638414606681695789005144064 in x
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.558 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.558 * [taylor]: Taking taylor expansion of x in x
0.558 * [taylor]: Taking taylor expansion of (* (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) x) in x
0.558 * [taylor]: Taking taylor expansion of (+ (* 1080863910568919/9007199254740992 (/ 1 x)) 2278821411449471/9007199254740992) in x
0.558 * [taylor]: Taking taylor expansion of (* 1080863910568919/9007199254740992 (/ 1 x)) in x
0.558 * [taylor]: Taking taylor expansion of 1080863910568919/9007199254740992 in x
0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.558 * [taylor]: Taking taylor expansion of x in x
0.558 * [taylor]: Taking taylor expansion of 2278821411449471/9007199254740992 in x
0.558 * [taylor]: Taking taylor expansion of x in x
0.562 * * * [progress]: simplifying candidates
0.566 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (+.f64 (log.f64 x) (log.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (exp.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 1168266793170336129950248828561/81129638414606681695789005144064) 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (*.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 x) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 x) (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064) (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 x (sqrt.f64 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 (sqrt.f64 x) 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (+.f64 (log.f64 x) (+.f64 (log.f64 x) (log.f64 1168266793170336129950248828561/81129638414606681695789005144064)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (log.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (exp.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 1168266793170336129950248828561/81129638414606681695789005144064) 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 (*.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (sqrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (sqrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 x x)
  (*.f64 (cbrt.f64 x) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 x) (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (-.f64 (log.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (log.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (exp.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (*.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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))))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (*.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (neg.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (neg.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 5193027025280559198049186179841/81129638414606681695789005144064 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) 1)
  (/.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) 1)
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 1 (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 1 1)
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 1 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) 1)
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 5193027025280559198049186179841/81129638414606681695789005144064) (+.f64 (*.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))))
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (+.f64 (log.f64 x) (-.f64 (log.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (log.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (+.f64 (log.f64 x) (log.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (log.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (exp.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (*.f64 (*.f64 x x) x) (/.f64 (*.f64 (*.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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)))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))) (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (*.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))) (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (sqrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (sqrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (*.f64 (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) 1))
  (*.f64 x (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) 1))
  (*.f64 x (/.f64 1 (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (/.f64 1 (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (/.f64 1 1))
  (*.f64 x 1)
  (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 (pow.f64 2278821411449471/9007199254740992 3) (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 (*.f64 2278821411449471/9007199254740992 2278821411449471/9007199254740992) (*.f64 (*.f64 x 1080863910568919/9007199254740992) (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (cbrt.f64 x) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (sqrt.f64 x) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 x)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 x)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 x)
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 2))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 2))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 2))
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992)
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/9007199254740992)
  (+.f64 (*.f64 1080863910568919/9007199254740992 x) 2278821411449471/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))
0.640 * * [simplify]: iteration  0 :  4894  enodes  (cost  2077 )
0.640 * * [simplify]: iteration  1 :  4894  enodes  (cost  2077 )
0.653 * [simplify]: Simplified to:
   (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (log.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (exp.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 x 3) 1594505778366815338816148515429655556605728584560565347108314091561258083131550078239522481/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144)
  (*.f64 (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (cbrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (pow.f64 x 3) 1594505778366815338816148515429655556605728584560565347108314091561258083131550078239522481/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144)
  (sqrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (sqrt.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 (sqrt.f64 x) 1080863910568919/9007199254740992)
  (*.f64 (sqrt.f64 x) 1080863910568919/9007199254740992)
  (*.f64 x (*.f64 (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064) (cbrt.f64 1168266793170336129950248828561/81129638414606681695789005144064)))
  (*.f64 x 1080863910568919/9007199254740992)
  x
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (cbrt.f64 x))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (sqrt.f64 x))
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (log.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (log.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (pow.f64 (exp.f64 (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) x)
  (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 6)
  (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 6)
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (cbrt.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 6)
  (fabs.f64 (*.f64 x 1080863910568919/9007199254740992))
  (fabs.f64 (*.f64 x 1080863910568919/9007199254740992))
  (*.f64 x x)
  (*.f64 x (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (cbrt.f64 x)))
  (*.f64 1168266793170336129950248828561/81129638414606681695789005144064 (pow.f64 x 3/2))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (log.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (exp.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (pow.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) 3)
  (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (-.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) 5193027025280559198049186179841/81129638414606681695789005144064)
  (-.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)
  (/.f64 5193027025280559198049186179841/81129638414606681695789005144064 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (-.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 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 1 (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  1
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 1 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3)))
  1
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 26967529685294253620242215685951648880390168735323351194785281/6582018229284824168619876730229402019930943462534319453394436096 (+.f64 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 4) (*.f64 (*.f64 x x) 6066841029671408945764918034792274955700666539342300923238801/6582018229284824168619876730229402019930943462534319453394436096))))
  (*.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)) (+.f64 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)) 5193027025280559198049186179841/81129638414606681695789005144064))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (log.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (log.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (log.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (pow.f64 (exp.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) x)
  (pow.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) 3)
  (pow.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))) (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (cbrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (pow.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) 3)
  (sqrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (sqrt.f64 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (*.f64 (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) (cbrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (sqrt.f64 (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (/.f64 (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (cbrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))))
  (*.f64 x (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))))
  (*.f64 x (/.f64 (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))) (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (*.f64 x (sqrt.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)))))
  (/.f64 x (*.f64 (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) (cbrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))
  (/.f64 x (sqrt.f64 (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  x
  x
  (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 11833981175445091632647353121053333137090314111/730750818665451459101842416358141509827966271488 (pow.f64 (*.f64 x 1080863910568919/9007199254740992) 3))))
  x
  (*.f64 (cbrt.f64 x) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 (sqrt.f64 x) (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))))
  (*.f64 x (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))))
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064)
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))
  (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)
  (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992)
  (+.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))
  (*.f64 x (+.f64 (*.f64 x 1080863910568919/9007199254740992) 2278821411449471/9007199254740992))
0.654 * * * [progress]: adding candidates to table
0.755 * [progress]: [Phase 3 of 3] Extracting.
0.755 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))> #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.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 (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)))))))>)
0.756 * * * [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)
0.756 * * * * [regimes]: Trying to branch on (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992))) from (#<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))> #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.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 (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)))))))>)
0.778 * * * * [regimes]: Trying to branch on (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))) from (#<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))> #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.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 (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)))))))>)
0.795 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (cbrt.f64 (*.f64 1262737414653899981135968515026527746806095559/730750818665451459101842416358141509827966271488 (pow.f64 x 6))))))> #<alt (λ (x) (-.f64 1 (*.f64 x (+.f64 2278821411449471/9007199254740992 (*.f64 x 1080863910568919/9007199254740992)))))> #<alt (λ (x) (-.f64 1 (*.f64 x (/.f64 (-.f64 5193027025280559198049186179841/81129638414606681695789005144064 (*.f64 x (*.f64 x 1168266793170336129950248828561/81129638414606681695789005144064))) (-.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 (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)))))))>)
0.813 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
0.814 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
0.819 * * [simplify]: iteration  0 :  74  enodes  (cost  16 )
0.819 * * [simplify]: iteration  1 :  74  enodes  (cost  16 )
0.819 * [simplify]: Simplified to:
   (-.f64 1 (+.f64 (*.f64 x 2278821411449471/9007199254740992) (*.f64 (*.f64 x x) 1080863910568919/9007199254740992)))
1.302 * [regime-testing]: End program error score: 0.13776518392207265