3.891 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [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.254 * * [simplify]: iteration  0 :  4839  enodes  (cost  5 )
0.255 * * [simplify]: iteration  1 :  4839  enodes  (cost  5 )
0.255 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.264 * * [progress]: iteration 1 / 4
0.264 * * * [progress]: picking best candidate
0.266 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.266 * * * [progress]: localizing error
0.269 * * * [progress]: generating rewritten candidates
0.270 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.274 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.280 * * * [progress]: generating series expansions
0.280 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.280 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.280 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.280 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.280 * [taylor]: Taking taylor expansion of t in t
0.280 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.280 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.280 * [taylor]: Taking taylor expansion of t in t
0.281 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.281 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.281 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.281 * [taylor]: Taking taylor expansion of t in t
0.281 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.281 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.281 * [taylor]: Taking taylor expansion of t in t
0.281 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.281 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.281 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.281 * [taylor]: Taking taylor expansion of t in t
0.281 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.281 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.281 * [taylor]: Taking taylor expansion of t in t
0.282 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.282 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.282 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.282 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.282 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.282 * [taylor]: Taking taylor expansion of t in t
0.282 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.282 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.282 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.282 * [taylor]: Taking taylor expansion of t in t
0.283 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.283 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.283 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.283 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.283 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.283 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.283 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.283 * [taylor]: Taking taylor expansion of t in t
0.284 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.284 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.284 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.284 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.284 * [taylor]: Taking taylor expansion of t in t
0.284 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.284 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.284 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.284 * [taylor]: Taking taylor expansion of t in t
0.285 * * * [progress]: simplifying candidates
0.286 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.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 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 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
0.354 * * [simplify]: iteration  0 :  4867  enodes  (cost  199 )
0.354 * * [simplify]: iteration  1 :  4867  enodes  (cost  199 )
0.357 * [simplify]: Simplified to:
   (*.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))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (pow.f64 (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) t)
  (*.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 t (*.f64 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)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.357 * * * [progress]: adding candidates to table
0.389 * * [progress]: iteration 2 / 4
0.389 * * * [progress]: picking best candidate
0.399 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))>
0.399 * * * [progress]: localizing error
0.404 * * * [progress]: generating rewritten candidates
0.404 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.413 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.420 * * * [progress]: generating series expansions
0.420 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.421 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.421 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.421 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.421 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.421 * [taylor]: Taking taylor expansion of t in t
0.421 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.421 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.421 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.421 * [taylor]: Taking taylor expansion of t in t
0.422 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.422 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.422 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.422 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.422 * [taylor]: Taking taylor expansion of t in t
0.422 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.422 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.422 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.422 * [taylor]: Taking taylor expansion of t in t
0.423 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.423 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.423 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.423 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.423 * [taylor]: Taking taylor expansion of t in t
0.423 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.423 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.423 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.423 * [taylor]: Taking taylor expansion of t in t
0.424 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.424 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.424 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.424 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.424 * [taylor]: Taking taylor expansion of t in t
0.424 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.424 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.424 * [taylor]: Taking taylor expansion of t in t
0.425 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.425 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.425 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.425 * [taylor]: Taking taylor expansion of t in t
0.425 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.425 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.425 * [taylor]: Taking taylor expansion of t in t
0.425 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.425 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.425 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.425 * [taylor]: Taking taylor expansion of t in t
0.425 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.426 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.426 * [taylor]: Taking taylor expansion of t in t
0.426 * * * [progress]: simplifying candidates
0.427 * [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.483 * * [simplify]: iteration  0 :  4810  enodes  (cost  230 )
0.483 * * [simplify]: iteration  1 :  4810  enodes  (cost  230 )
0.486 * [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.487 * * * [progress]: adding candidates to table
0.516 * * [progress]: iteration 3 / 4
0.516 * * * [progress]: picking best candidate
0.523 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.523 * * * [progress]: localizing error
0.528 * * * [progress]: generating rewritten candidates
0.528 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.537 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.543 * * * [progress]: generating series expansions
0.543 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.544 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.544 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.544 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.544 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.544 * [taylor]: Taking taylor expansion of t in t
0.544 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.544 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.544 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.544 * [taylor]: Taking taylor expansion of t in t
0.545 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.545 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.545 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.545 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.545 * [taylor]: Taking taylor expansion of t in t
0.545 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.545 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.545 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.545 * [taylor]: Taking taylor expansion of t in t
0.546 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.546 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.546 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.546 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.546 * [taylor]: Taking taylor expansion of t in t
0.546 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.546 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.546 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.546 * [taylor]: Taking taylor expansion of t in t
0.547 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.547 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.547 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.547 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.547 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.547 * [taylor]: Taking taylor expansion of t in t
0.547 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.547 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.547 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.547 * [taylor]: Taking taylor expansion of t in t
0.548 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.548 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.548 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.548 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.548 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.548 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.548 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.549 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.549 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.549 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.549 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.549 * [taylor]: Taking taylor expansion of t in t
0.549 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.549 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.549 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.549 * [taylor]: Taking taylor expansion of t in t
0.550 * * * [progress]: simplifying candidates
0.551 * [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.616 * * [simplify]: iteration  0 :  4914  enodes  (cost  270 )
0.616 * * [simplify]: iteration  1 :  4914  enodes  (cost  270 )
0.618 * [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.619 * * * [progress]: adding candidates to table
0.645 * * [progress]: iteration 4 / 4
0.645 * * * [progress]: picking best candidate
0.650 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))>
0.650 * * * [progress]: localizing error
0.653 * * * [progress]: generating rewritten candidates
0.653 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.659 * * * [progress]: generating series expansions
0.659 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.660 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.660 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.660 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.660 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.660 * [taylor]: Taking taylor expansion of t in t
0.660 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.660 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.660 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.660 * [taylor]: Taking taylor expansion of t in t
0.661 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.661 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.661 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.661 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.661 * [taylor]: Taking taylor expansion of t in t
0.661 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.661 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.661 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.661 * [taylor]: Taking taylor expansion of t in t
0.662 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.662 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.662 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.662 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.662 * [taylor]: Taking taylor expansion of t in t
0.662 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.662 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.662 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.662 * [taylor]: Taking taylor expansion of t in t
0.663 * * * [progress]: simplifying candidates
0.663 * [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.727 * * [simplify]: iteration  0 :  4908  enodes  (cost  121 )
0.727 * * [simplify]: iteration  1 :  4908  enodes  (cost  121 )
0.729 * [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.729 * * * [progress]: adding candidates to table
0.741 * [progress]: [Phase 3 of 3] Extracting.
0.741 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))>)
0.741 * * * [regime-changes]: Trying 2 branch expressions: ((*.f64 t 2028240960365167/10141204801825835211973625643008) t)
0.741 * * * * [regimes]: Trying to branch on (*.f64 t 2028240960365167/10141204801825835211973625643008) from (#<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))>)
0.770 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))>)
0.796 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.796 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.798 * * [simplify]: iteration  0 :  9  enodes  (cost  7 )
0.798 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.798 * [simplify]: Simplified to:
   (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
1.954 * [regime-testing]: End program error score: 0.3264300897004254
2.013 * [regime-testing]: Target error score: 50.570332497744076