3.518 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (*.f64 (*.f64 x x) x)))
0.179 * * [simplify]: iteration  0 :  4725  enodes  (cost  13 )
0.179 * * [simplify]: iteration  1 :  4725  enodes  (cost  13 )
0.180 * [simplify]: Simplified to:
   (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.182 * * [progress]: iteration 1 / 4
0.182 * * * [progress]: picking best candidate
0.184 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))>
0.184 * * * [progress]: localizing error
0.190 * * * [progress]: generating rewritten candidates
0.190 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.196 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.201 * * * [progress]: generating series expansions
0.201 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.201 * [approximate]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.201 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.201 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.201 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.202 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.202 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.210 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.210 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in x
0.210 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.211 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in x
0.211 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.211 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.220 * [approximate]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.221 * [taylor]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in x
0.221 * [taylor]: Taking taylor expansion of -4647935950575487/36028797018963968 in x
0.221 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in x
0.221 * [taylor]: Taking taylor expansion of -4647935950575487/36028797018963968 in x
0.221 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.230 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.231 * [approximate]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in (x) around 0
0.231 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in x
0.231 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 x) in x
0.231 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.231 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.231 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in x
0.231 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 x) in x
0.231 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.231 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.231 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.245 * [approximate]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in (x) around 0
0.245 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in x
0.245 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.245 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.245 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.245 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.245 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.245 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in x
0.245 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.245 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.245 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.245 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.245 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.267 * [approximate]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in (x) around 0
0.268 * [taylor]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in x
0.268 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.268 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.268 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.268 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in x
0.268 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.268 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.268 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.268 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.294 * * * [progress]: simplifying candidates
0.295 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (log.f64 4647935950575487/36028797018963968) (*.f64 (log.f64 x) 3))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (*.f64 (log.f64 x) 3))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (log.f64 (pow.f64 x 3)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (pow.f64 x 3) (pow.f64 x 3)) (pow.f64 x 3)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 (sqrt.f64 x) 3))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 (sqrt.f64 x) 3))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 (sqrt.f64 x) 3))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 (sqrt.f64 x) 3))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 x (/.f64 3 2)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 x (/.f64 3 2)))
  (*.f64 (cbrt.f64 4647935950575487/36028797018963968) (pow.f64 x 3))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 (sqrt.f64 x) 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 1 3))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 (cbrt.f64 (pow.f64 x 3)) (cbrt.f64 (pow.f64 x 3))))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 4647935950575487/36028797018963968 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 (sqrt.f64 x) 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 1 3))
  (*.f64 4647935950575487/36028797018963968 (sqrt.f64 (pow.f64 x 3)))
  (*.f64 4647935950575487/36028797018963968 1)
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x (/.f64 3 2)))
  (/.f64 (exp.f64 (*.f64 2150310427208497/2251799813685248 x)) (exp.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (exp.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (log.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (*.f64 (*.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))))
  (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (-.f64 (pow.f64 (*.f64 2150310427208497/2251799813685248 x) 3) (pow.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) 3))
  (+.f64 (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 2150310427208497/2251799813685248 x)) (+.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))))
  (neg.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 2150310427208497/2251799813685248 x)) (*.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (+.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.369 * * [simplify]: iteration  0 :  4931  enodes  (cost  565 )
0.369 * * [simplify]: iteration  1 :  4931  enodes  (cost  565 )
0.373 * [simplify]: Simplified to:
   (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (pow.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) 3)
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (pow.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) 3)
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x (sqrt.f64 x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x (sqrt.f64 x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x (sqrt.f64 x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x (sqrt.f64 x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 x 3/2))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (pow.f64 x 3/2))
  (*.f64 (pow.f64 x 3) (cbrt.f64 4647935950575487/36028797018963968))
  (*.f64 (pow.f64 x 3) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x (sqrt.f64 x)))
  4647935950575487/36028797018963968
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x (sqrt.f64 x)))
  4647935950575487/36028797018963968
  (*.f64 4647935950575487/36028797018963968 (sqrt.f64 (pow.f64 x 3)))
  4647935950575487/36028797018963968
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3/2))
  (pow.f64 (exp.f64 x) (+.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x -4647935950575487/36028797018963968))))
  (pow.f64 (exp.f64 x) (+.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x -4647935950575487/36028797018963968))))
  (log.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (pow.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))))
  (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (*.f64 (pow.f64 x 3) (+.f64 9942680470898330431816669642821080673409379473/11417981541647679048466287755595961091061972992 (*.f64 (pow.f64 x 6) -100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)))
  (+.f64 (*.f64 21603308600652055932446485287169/1298074214633706907132624082305024 (pow.f64 x 6)) (*.f64 x (+.f64 (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504) (*.f64 9994505139519707048590086313039/81129638414606681695789005144064 (pow.f64 x 3)))))
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (+.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 (pow.f64 x 6) -21603308600652055932446485287169/1298074214633706907132624082305024))
  (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.374 * * * [progress]: adding candidates to table
0.412 * * [progress]: iteration 2 / 4
0.412 * * * [progress]: picking best candidate
0.417 * * * * [pick]: Picked  #<alt (λ (x) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))>
0.417 * * * [progress]: localizing error
0.423 * * * [progress]: generating rewritten candidates
0.423 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.429 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.436 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.442 * * * [progress]: generating series expansions
0.442 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.442 * [approximate]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.442 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.443 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.443 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.449 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.449 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.449 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.449 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.456 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.456 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.456 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.456 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.463 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.464 * [approximate]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.464 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.464 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.464 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.464 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.464 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.472 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in x
0.472 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 3)) in x
0.472 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.481 * [approximate]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in (x) around 0
0.481 * [taylor]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in x
0.481 * [taylor]: Taking taylor expansion of -4647935950575487/36028797018963968 in x
0.481 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (/ -4647935950575487/36028797018963968 (pow x 3)) in x
0.481 * [taylor]: Taking taylor expansion of -4647935950575487/36028797018963968 in x
0.481 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.489 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.489 * [approximate]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in (x) around 0
0.489 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in x
0.489 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 x) in x
0.490 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.490 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.490 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 x) (* 4647935950575487/36028797018963968 (pow x 3))) in x
0.490 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 x) in x
0.490 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 3)) in x
0.490 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.490 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.503 * [approximate]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in (x) around 0
0.503 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in x
0.503 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.503 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.503 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (- (* 2150310427208497/2251799813685248 (/ 1 x)) (* 4647935950575487/36028797018963968 (/ 1 (pow x 3)))) in x
0.503 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.503 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.503 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.504 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.504 * [taylor]: Taking taylor expansion of x in x
0.526 * [approximate]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in (x) around 0
0.526 * [taylor]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in x
0.526 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.526 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.526 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.527 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (- (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) (* 2150310427208497/2251799813685248 (/ 1 x))) in x
0.527 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 3))) in x
0.527 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.527 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (* 2150310427208497/2251799813685248 (/ 1 x)) in x
0.527 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.551 * * * [progress]: simplifying candidates
0.552 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (+.f64 (log.f64 x) (log.f64 x)))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (log.f64 (*.f64 x x)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) x)
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) x)
  (*.f64 (cbrt.f64 4647935950575487/36028797018963968) (*.f64 x x))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)
  (+.f64 (+.f64 (log.f64 4647935950575487/36028797018963968) (+.f64 (log.f64 x) (log.f64 x))) (log.f64 x))
  (+.f64 (+.f64 (log.f64 4647935950575487/36028797018963968) (log.f64 (*.f64 x x))) (log.f64 x))
  (+.f64 (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (log.f64 x))
  (exp.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (log.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (*.f64 (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)) (cbrt.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (cbrt.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (*.f64 (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (*.f64 (*.f64 x x) x))
  (*.f64 (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x))) (*.f64 (*.f64 x x) x))
  (*.f64 (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x))) (*.f64 (*.f64 x x) x))
  (sqrt.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (sqrt.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (*.f64 (*.f64 x x) x)
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (sqrt.f64 x))
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) 1)
  (/.f64 (exp.f64 (*.f64 2150310427208497/2251799813685248 x)) (exp.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (exp.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (log.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (*.f64 (*.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))) (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))))
  (cbrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (sqrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (sqrt.f64 (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (-.f64 (pow.f64 (*.f64 2150310427208497/2251799813685248 x) 3) (pow.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x) 3))
  (+.f64 (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 2150310427208497/2251799813685248 x)) (+.f64 (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)) (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))))
  (neg.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (-.f64 (*.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 2150310427208497/2251799813685248 x)) (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)))
  (+.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.643 * * [simplify]: iteration  0 :  4822  enodes  (cost  644 )
0.643 * * [simplify]: iteration  1 :  4822  enodes  (cost  644 )
0.648 * [simplify]: Simplified to:
   (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (*.f64 x x) (cbrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (pow.f64 (exp.f64 4647935950575487/36028797018963968) (pow.f64 x 3))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 9))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 9))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 9))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 9))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (pow.f64 x 3)
  (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 5/2))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (pow.f64 (exp.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (pow.f64 (exp.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (log.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (pow.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))))
  (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (sqrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))
  (-.f64 (pow.f64 (*.f64 x 2150310427208497/2251799813685248) 3) (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 9)))
  (+.f64 (*.f64 21603308600652055932446485287169/1298074214633706907132624082305024 (pow.f64 x 6)) (*.f64 (*.f64 x (*.f64 x 2150310427208497/2251799813685248)) (+.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) 2150310427208497/2251799813685248)))
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (-.f64 (*.f64 x (*.f64 x 4623834933361588875239908999009/5070602400912917605986812821504)) (*.f64 21603308600652055932446485287169/1298074214633706907132624082305024 (pow.f64 x 6)))
  (+.f64 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)) (*.f64 x 2150310427208497/2251799813685248))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.648 * * * [progress]: adding candidates to table
0.678 * * [progress]: iteration 3 / 4
0.679 * * * [progress]: picking best candidate
0.682 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))>
0.682 * * * [progress]: localizing error
0.690 * * * [progress]: generating rewritten candidates
0.690 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.695 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.701 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.706 * * * [progress]: generating series expansions
0.706 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.706 * [approximate]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.706 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.706 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.706 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.706 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.706 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.712 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.712 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.712 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.713 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.713 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.720 * [approximate]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in (x) around 0
0.720 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.720 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (/ 4647935950575487/36028797018963968 (pow x 2)) in x
0.720 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.727 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.728 * [approximate]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2)))) in (x) around 0
0.728 * [taylor]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2)))) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2))) in x
0.728 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.728 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.728 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2)))) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2))) in x
0.728 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.728 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.728 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.743 * [approximate]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x) in (x) around 0
0.743 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x) in x
0.743 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.743 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.743 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.743 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x) in x
0.743 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.743 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.743 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.744 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.744 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.764 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x)) in (x) around 0
0.764 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x)) in x
0.764 * [taylor]: Taking taylor expansion of -1 in x
0.764 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x) in x
0.764 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.764 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.764 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.765 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.765 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x)) in x
0.765 * [taylor]: Taking taylor expansion of -1 in x
0.765 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) x) in x
0.765 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.765 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.765 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.765 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.765 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.787 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.788 * [approximate]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2))) in (x) around 0
0.788 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2))) in x
0.788 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.788 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.788 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (pow x 2))) in x
0.788 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.788 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (pow x 2)) in x
0.788 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.794 * [approximate]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in (x) around 0
0.794 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.794 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.794 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.794 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.794 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.794 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.794 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.794 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.794 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.808 * [approximate]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in (x) around 0
0.808 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.808 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.808 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.808 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.809 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* 4647935950575487/36028797018963968 (/ 1 (pow x 2)))) in x
0.809 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
0.809 * [taylor]: Taking taylor expansion of (* 4647935950575487/36028797018963968 (/ 1 (pow x 2))) in x
0.809 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.809 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.822 * * * [progress]: simplifying candidates
0.823 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (+.f64 (log.f64 x) (log.f64 x)))
  (+.f64 (log.f64 4647935950575487/36028797018963968) (log.f64 (*.f64 x x)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))
  (*.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 4647935950575487/36028797018963968) 4647935950575487/36028797018963968) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) x)
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) x)
  (*.f64 (cbrt.f64 4647935950575487/36028797018963968) (*.f64 x x))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (+.f64 (log.f64 x) (log.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (exp.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (*.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))) (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))))
  (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 2150310427208497/2251799813685248 x)
  (*.f64 (neg.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) x)
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 x (neg.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (-.f64 (pow.f64 2150310427208497/2251799813685248 3) (pow.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) 3)))
  (*.f64 x (-.f64 (*.f64 2150310427208497/2251799813685248 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (cbrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 (sqrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))))
  (*.f64 x (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 x 1)
  (/.f64 (exp.f64 2150310427208497/2251799813685248) (exp.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (exp.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (log.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 (*.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (-.f64 (pow.f64 2150310427208497/2251799813685248 3) (pow.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) 3))
  (+.f64 (*.f64 2150310427208497/2251799813685248 2150310427208497/2251799813685248) (+.f64 (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (*.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (neg.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 2150310427208497/2251799813685248) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (+.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2)))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2)))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (pow.f64 x 2)))
0.913 * * [simplify]: iteration  0 :  4853  enodes  (cost  753 )
0.913 * * [simplify]: iteration  1 :  4853  enodes  (cost  753 )
0.918 * [simplify]: Simplified to:
   (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (exp.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (log.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (*.f64 (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (cbrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (*.f64 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232 (pow.f64 x 6))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (sqrt.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (*.f64 x x) (cbrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 x)
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (exp.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (pow.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))) (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))))
  (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (pow.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) 3)
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (*.f64 x (+.f64 9942680470898330431816669642821080673409379473/11417981541647679048466287755595961091061972992 (*.f64 (pow.f64 x 6) -100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)))
  (*.f64 x (+.f64 4623834933361588875239908999009/5070602400912917605986812821504 (*.f64 (pow.f64 x 4) -21603308600652055932446485287169/1298074214633706907132624082305024)))
  (*.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (cbrt.f64 x))
  (*.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) (sqrt.f64 x))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))))
  (*.f64 x (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  x
  (exp.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (exp.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (log.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (pow.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))) 3)
  (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))
  (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (+.f64 9942680470898330431816669642821080673409379473/11417981541647679048466287755595961091061972992 (*.f64 (pow.f64 x 6) -100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232))
  (+.f64 4623834933361588875239908999009/5070602400912917605986812821504 (*.f64 x (*.f64 x (+.f64 (*.f64 (*.f64 x x) 21603308600652055932446485287169/1298074214633706907132624082305024) 9994505139519707048590086313039/81129638414606681695789005144064))))
  (*.f64 x (*.f64 x -4647935950575487/36028797018963968))
  (+.f64 4623834933361588875239908999009/5070602400912917605986812821504 (*.f64 (pow.f64 x 4) -21603308600652055932446485287169/1298074214633706907132624082305024))
  (+.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) 2150310427208497/2251799813685248)
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 4647935950575487/36028797018963968 (*.f64 x x))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
  (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))
0.918 * * * [progress]: adding candidates to table
0.951 * * [progress]: iteration 4 / 4
0.951 * * * [progress]: picking best candidate
0.954 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))>
0.954 * * * [progress]: localizing error
0.960 * * * [progress]: generating rewritten candidates
0.960 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.965 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.990 * * * [progress]: generating series expansions
0.990 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.991 * [approximate]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in (x) around 0
0.991 * [taylor]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
0.991 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.991 * [taylor]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
0.991 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
0.999 * [approximate]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in (x) around 0
1.000 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.000 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.000 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.000 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.000 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.000 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.008 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in (x) around 0
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in x
1.008 * [taylor]: Taking taylor expansion of -1 in x
1.008 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.008 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.008 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in x
1.008 * [taylor]: Taking taylor expansion of -1 in x
1.008 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.008 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.008 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.018 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.019 * [approximate]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in (x) around 0
1.019 * [taylor]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.019 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.019 * [taylor]: Taking taylor expansion of (* x (sqrt 4647935950575487/36028797018963968)) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.019 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.019 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.026 * [approximate]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in (x) around 0
1.026 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.026 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.026 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.026 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.026 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.033 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in (x) around 0
1.033 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.033 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.033 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 4647935950575487/36028797018963968) x)) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of (/ (sqrt 4647935950575487/36028797018963968) x) in x
1.033 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.033 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.042 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.043 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)) in (x) around 0
1.043 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)) in x
1.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.043 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.043 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.043 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)) in x
1.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.043 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.043 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.043 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.055 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in (x) around 0
1.055 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.056 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.056 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.056 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.056 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.056 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.056 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.056 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.056 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.070 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in (x) around 0
1.070 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.070 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.070 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.070 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.070 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.070 * [taylor]: Taking taylor expansion of x in x
1.071 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.071 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.071 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.071 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.071 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.071 * [taylor]: Taking taylor expansion of x in x
1.084 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.084 * [approximate]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)))) in (x) around 0
1.084 * [taylor]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)))) in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.084 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2))) in x
1.084 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.085 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)) in x
1.085 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.085 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.085 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.085 * [taylor]: Taking taylor expansion of (* x (- 2150310427208497/2251799813685248 (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)))) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2))) in x
1.085 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.085 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 4647935950575487/36028797018963968) 2)) in x
1.085 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.085 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.085 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.110 * [approximate]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x) in (x) around 0
1.110 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x) in x
1.110 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) in x
1.110 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.110 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.110 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.110 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.110 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.110 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.112 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x) in x
1.112 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) in x
1.112 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.112 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.112 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.112 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.112 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.112 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.147 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x)) in (x) around 0
1.147 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x)) in x
1.147 * [taylor]: Taking taylor expansion of -1 in x
1.147 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x) in x
1.147 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) in x
1.147 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.147 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.147 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.147 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.147 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.147 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.147 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.149 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x)) in x
1.149 * [taylor]: Taking taylor expansion of -1 in x
1.149 * [taylor]: Taking taylor expansion of (/ (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) x) in x
1.149 * [taylor]: Taking taylor expansion of (- 2150310427208497/2251799813685248 (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2))) in x
1.149 * [taylor]: Taking taylor expansion of 2150310427208497/2251799813685248 in x
1.149 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 4647935950575487/36028797018963968) 2) (pow x 2)) in x
1.149 * [taylor]: Taking taylor expansion of (pow (sqrt 4647935950575487/36028797018963968) 2) in x
1.149 * [taylor]: Taking taylor expansion of (sqrt 4647935950575487/36028797018963968) in x
1.149 * [taylor]: Taking taylor expansion of 4647935950575487/36028797018963968 in x
1.149 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.149 * [taylor]: Taking taylor expansion of x in x
1.150 * [taylor]: Taking taylor expansion of x in x
1.188 * * * [progress]: simplifying candidates
1.189 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (exp.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (cbrt.f64 x) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (sqrt.f64 x) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968)) (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 4647935950575487/36028797018963968) (cbrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 1))
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (exp.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (cbrt.f64 x) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (sqrt.f64 x) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968)) (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 4647935950575487/36028797018963968) (cbrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 1))
  (*.f64 x 1)
  (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968))) (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (+.f64 (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968))) (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (+.f64 (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (+.f64 (log.f64 x) (log.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (+.f64 (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (exp.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (log.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))) (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))) (cbrt.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (cbrt.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 4647935950575487/36028797018963968))))
  (sqrt.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (sqrt.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 x x)
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) x)
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (+.f64 (log.f64 x) (log.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (exp.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (*.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))) (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))))
  (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))) (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))) (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 2150310427208497/2251799813685248 x)
  (*.f64 (neg.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))) x)
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 x (neg.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (*.f64 x (-.f64 (pow.f64 2150310427208497/2251799813685248 3) (pow.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) 3)))
  (*.f64 x (-.f64 (*.f64 2150310427208497/2251799813685248 2150310427208497/2251799813685248) (*.f64 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 (cbrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (*.f64 (sqrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))))))
  (*.f64 x (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))
  (*.f64 x 1)
  (*.f64 x (+.f64 (sqrt.f64 2150310427208497/2251799813685248) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2))
  (*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2))
  (*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2)))
  (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4647935950575487/36028797018963968) 2)))
1.260 * * [simplify]: iteration  0 :  4923  enodes  (cost  1023 )
1.261 * * [simplify]: iteration  1 :  4923  enodes  (cost  1023 )
1.268 * [simplify]: Simplified to:
   (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (exp.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (pow.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (pow.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) 3)
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (cbrt.f64 x))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 x))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968)) (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (fabs.f64 (cbrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  x
  x
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (exp.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (pow.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))) (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))
  (cbrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (pow.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) 3)
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (sqrt.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (cbrt.f64 x))
  (*.f64 (sqrt.f64 4647935950575487/36028797018963968) (sqrt.f64 x))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968)) (cbrt.f64 (sqrt.f64 4647935950575487/36028797018963968))))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (fabs.f64 (cbrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (sqrt.f64 (sqrt.f64 4647935950575487/36028797018963968)))
  x
  x
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  2
  2
  2
  2
  2
  2
  (log.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (log.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (pow.f64 (exp.f64 x) (*.f64 x 4647935950575487/36028797018963968))
  (log.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))) (cbrt.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (cbrt.f64 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))
  (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)
  (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)
  (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)
  (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)
  (fabs.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (fabs.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  2
  2
  2
  2
  (*.f64 x x)
  4647935950575487/36028797018963968
  (*.f64 x 4647935950575487/36028797018963968)
  (*.f64 x (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (pow.f64 (exp.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (log.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (pow.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))) (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))))
  (cbrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (pow.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))) 3)
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (sqrt.f64 (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (*.f64 x 2150310427208497/2251799813685248)
  (*.f64 (pow.f64 x 3) -4647935950575487/36028797018963968)
  (*.f64 x (-.f64 9942680470898330431816669642821080673409379473/11417981541647679048466287755595961091061972992 (*.f64 (pow.f64 x 6) 100410794696347307466492240129774699304007026303/46768052394588893382517914646921056628989841375232)))
  (*.f64 x (-.f64 4623834933361588875239908999009/5070602400912917605986812821504 (*.f64 21603308600652055932446485287169/1298074214633706907132624082305024 (pow.f64 x 4))))
  (*.f64 (cbrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (*.f64 (sqrt.f64 x) (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))) (cbrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))))
  (*.f64 x (sqrt.f64 (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968)))))
  x
  (*.f64 x (+.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (sqrt.f64 2150310427208497/2251799813685248)))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (*.f64 x 4647935950575487/36028797018963968))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
  (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 x (*.f64 x 4647935950575487/36028797018963968))))
1.268 * * * [progress]: adding candidates to table
1.326 * [progress]: [Phase 3 of 3] Extracting.
1.327 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))> #<alt (λ (x) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))> #<alt (λ (x) (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))))> #<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))>)
1.327 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.327 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))))> #<alt (λ (x) (-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))> #<alt (λ (x) (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))) (cbrt.f64 (-.f64 (*.f64 x 2150310427208497/2251799813685248) (*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))))))> #<alt (λ (x) (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 (*.f64 x (sqrt.f64 4647935950575487/36028797018963968)) (*.f64 x (sqrt.f64 4647935950575487/36028797018963968))))))>)
1.337 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
1.340 * * [simplify]: iteration  0 :  44  enodes  (cost  13 )
1.340 * * [simplify]: iteration  1 :  44  enodes  (cost  13 )
1.340 * [simplify]: Simplified to:
   (*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))
1.741 * [regime-testing]: End program error score: 0.09563960221394055