5.486 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008))))
0.237 * * [simplify]: iteration  0 :  4839  enodes  (cost  5 )
0.237 * * [simplify]: iteration  1 :  4839  enodes  (cost  5 )
0.238 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.241 * * [progress]: iteration 1 / 4
0.241 * * * [progress]: picking best candidate
0.242 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.242 * * * [progress]: localizing error
0.245 * * * [progress]: generating rewritten candidates
0.245 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.251 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.255 * * * [progress]: generating series expansions
0.255 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.255 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.255 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.255 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.255 * [taylor]: Taking taylor expansion of t in t
0.255 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.255 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.255 * [taylor]: Taking taylor expansion of t in t
0.256 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.256 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.256 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.256 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.256 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.256 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.256 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.257 * [taylor]: Taking taylor expansion of t in t
0.257 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.258 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.258 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.258 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.258 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.258 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.258 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.259 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.259 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.259 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.259 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.259 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.259 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.259 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.259 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.260 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.260 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.260 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.260 * [taylor]: Taking taylor expansion of t in t
0.260 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.260 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.260 * [taylor]: Taking taylor expansion of t in t
0.261 * * * [progress]: simplifying candidates
0.261 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (+.f64 (log.f64 t) (+.f64 (log.f64 t) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (log.f64 t) (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t t)
  (*.f64 (cbrt.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (sqrt.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (+.f64 (log.f64 t) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (sqrt.f64 t) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (sqrt.f64 t) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 1)
  (*.f64 (cbrt.f64 t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (sqrt.f64 t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
0.324 * * [simplify]: iteration  0 :  4867  enodes  (cost  199 )
0.324 * * [simplify]: iteration  1 :  4867  enodes  (cost  199 )
0.330 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))
  (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t t)
  (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 t))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008)
  (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008)
  (*.f64 t (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  t
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (cbrt.f64 t))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (sqrt.f64 t))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
0.330 * * * [progress]: adding candidates to table
0.348 * * [progress]: iteration 2 / 4
0.348 * * * [progress]: picking best candidate
0.354 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))>
0.354 * * * [progress]: localizing error
0.359 * * * [progress]: generating rewritten candidates
0.359 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.367 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.375 * * * [progress]: generating series expansions
0.375 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.375 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.375 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.375 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.375 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.375 * [taylor]: Taking taylor expansion of t in t
0.375 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.375 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.375 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.375 * [taylor]: Taking taylor expansion of t in t
0.376 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.376 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.376 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.376 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.376 * [taylor]: Taking taylor expansion of t in t
0.376 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.376 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.377 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.377 * [taylor]: Taking taylor expansion of t in t
0.377 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.378 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.378 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.378 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.378 * [taylor]: Taking taylor expansion of t in t
0.378 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.378 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.378 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.378 * [taylor]: Taking taylor expansion of t in t
0.379 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.379 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.379 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.379 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.379 * [taylor]: Taking taylor expansion of t in t
0.379 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.379 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.379 * [taylor]: Taking taylor expansion of t in t
0.379 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.379 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.379 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.379 * [taylor]: Taking taylor expansion of t in t
0.379 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.379 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.379 * [taylor]: Taking taylor expansion of t in t
0.380 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.380 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.380 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.380 * [taylor]: Taking taylor expansion of t in t
0.380 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.380 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.380 * [taylor]: Taking taylor expansion of t in t
0.381 * * * [progress]: simplifying candidates
0.381 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (log.f64 t) (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 t) (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 t) (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (log.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (exp.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (cbrt.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (cbrt.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (sqrt.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (sqrt.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (cbrt.f64 t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (sqrt.f64 t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 1))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 1)
  (*.f64 2028240960365167/10141204801825835211973625643008 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
0.435 * * [simplify]: iteration  0 :  4810  enodes  (cost  230 )
0.436 * * [simplify]: iteration  1 :  4810  enodes  (cost  230 )
0.438 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 t))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008) (cbrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (fabs.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
0.439 * * * [progress]: adding candidates to table
0.454 * * [progress]: iteration 3 / 4
0.454 * * * [progress]: picking best candidate
0.462 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.462 * * * [progress]: localizing error
0.467 * * * [progress]: generating rewritten candidates
0.467 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.475 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.481 * * * [progress]: generating series expansions
0.481 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.482 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.482 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.482 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.482 * [taylor]: Taking taylor expansion of t in t
0.482 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.482 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.482 * [taylor]: Taking taylor expansion of t in t
0.483 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.483 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.483 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.483 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.483 * [taylor]: Taking taylor expansion of t in t
0.483 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.483 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.483 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.483 * [taylor]: Taking taylor expansion of t in t
0.484 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.484 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.484 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.484 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.484 * [taylor]: Taking taylor expansion of t in t
0.484 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.484 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.484 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.484 * [taylor]: Taking taylor expansion of t in t
0.485 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.485 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.485 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.485 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.485 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.485 * [taylor]: Taking taylor expansion of t in t
0.485 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.485 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.485 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.485 * [taylor]: Taking taylor expansion of t in t
0.486 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.486 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.486 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.486 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.486 * [taylor]: Taking taylor expansion of t in t
0.486 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.486 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.486 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.486 * [taylor]: Taking taylor expansion of t in t
0.487 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.487 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.487 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.487 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.487 * [taylor]: Taking taylor expansion of t in t
0.487 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.487 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.487 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.487 * [taylor]: Taking taylor expansion of t in t
0.488 * * * [progress]: simplifying candidates
0.489 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (+.f64 (+.f64 (log.f64 t) (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (+.f64 (log.f64 t) (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 1))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) 1)
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (+.f64 (log.f64 t) (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)))
  (+.f64 (log.f64 t) (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (exp.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))))
  (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 t t)
  (*.f64 (cbrt.f64 t) (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (sqrt.f64 t) (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 2))
  (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 2))
  (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 2))
0.551 * * [simplify]: iteration  0 :  4914  enodes  (cost  270 )
0.552 * * [simplify]: iteration  1 :  4914  enodes  (cost  270 )
0.554 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) 2)
  (*.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) 2)
  (*.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) 2)
  (*.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) 2)
  (pow.f64 (exp.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (cbrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008) (cbrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (fabs.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (exp.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))) (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))))
  (cbrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 t t)
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (cbrt.f64 t))
  (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 3/2))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
0.554 * * * [progress]: adding candidates to table
0.570 * * [progress]: iteration 4 / 4
0.570 * * * [progress]: picking best candidate
0.576 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))>
0.576 * * * [progress]: localizing error
0.579 * * * [progress]: generating rewritten candidates
0.579 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.586 * * * [progress]: generating series expansions
0.586 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.586 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.586 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.586 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.586 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.586 * [taylor]: Taking taylor expansion of t in t
0.586 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.586 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.586 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.586 * [taylor]: Taking taylor expansion of t in t
0.587 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.587 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.587 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.587 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.587 * [taylor]: Taking taylor expansion of t in t
0.587 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.587 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.587 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.587 * [taylor]: Taking taylor expansion of t in t
0.588 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.588 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.588 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.588 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.588 * [taylor]: Taking taylor expansion of t in t
0.588 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.588 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.588 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.588 * [taylor]: Taking taylor expansion of t in t
0.589 * * * [progress]: simplifying candidates
0.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (+.f64 (+.f64 (log.f64 t) (log.f64 t)) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (+.f64 (log.f64 (*.f64 t t)) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) (*.f64 t t)) (*.f64 t t)) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t t) (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t t) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t t) 1)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
0.651 * * [simplify]: iteration  0 :  4908  enodes  (cost  121 )
0.651 * * [simplify]: iteration  1 :  4908  enodes  (cost  121 )
0.653 * [simplify]: Simplified to:
   (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.f64 (*.f64 t t) (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t t)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
0.653 * * * [progress]: adding candidates to table
0.659 * [progress]: [Phase 3 of 3] Extracting.
0.659 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))))> #<alt (λ (t) (*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144))))> #<alt (λ (t) (*.f64 (*.f64 (*.f64 t t) 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.659 * * * [regime-changes]: Trying 2 branch expressions: ((*.f64 t 2028240960365167/10141204801825835211973625643008) t)
0.660 * * * * [regimes]: Trying to branch on (*.f64 t 2028240960365167/10141204801825835211973625643008) from (#<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))))> #<alt (λ (t) (*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144))))> #<alt (λ (t) (*.f64 (*.f64 (*.f64 t t) 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.684 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))))> #<alt (λ (t) (*.f64 t (cbrt.f64 (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144))))> #<alt (λ (t) (*.f64 (*.f64 (*.f64 t t) 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.706 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.707 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
0.708 * * [simplify]: iteration  0 :  9  enodes  (cost  7 )
0.708 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.708 * [simplify]: Simplified to:
   (*.f64 t (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
1.819 * [regime-testing]: End program error score: 0.30416302037754717
1.859 * [regime-testing]: Target error score: 50.558403002787564