3.739 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.039 * [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.248 * * [simplify]: iteration  0 :  4839  enodes  (cost  5 )
0.248 * * [simplify]: iteration  1 :  4839  enodes  (cost  5 )
0.249 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.252 * * [progress]: iteration 1 / 4
0.252 * * * [progress]: picking best candidate
0.254 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.254 * * * [progress]: localizing error
0.257 * * * [progress]: generating rewritten candidates
0.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.261 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.266 * * * [progress]: generating series expansions
0.266 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.267 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.267 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.267 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.267 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.267 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.267 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.267 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.268 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.268 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.268 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.268 * [taylor]: Taking taylor expansion of t in t
0.268 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.268 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.268 * [taylor]: Taking taylor expansion of t in t
0.269 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.269 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.269 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.269 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.269 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.269 * [taylor]: Taking taylor expansion of t in t
0.269 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.269 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.269 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.269 * [taylor]: Taking taylor expansion of t in t
0.270 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.270 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.270 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.270 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.270 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.270 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.271 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.271 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.271 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.271 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.271 * [taylor]: Taking taylor expansion of t in t
0.271 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.271 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.271 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.271 * [taylor]: Taking taylor expansion of t in t
0.272 * * * [progress]: simplifying candidates
0.273 * [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.337 * * [simplify]: iteration  0 :  4867  enodes  (cost  199 )
0.337 * * [simplify]: iteration  1 :  4867  enodes  (cost  199 )
0.339 * [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.340 * * * [progress]: adding candidates to table
0.371 * * [progress]: iteration 2 / 4
0.371 * * * [progress]: picking best candidate
0.381 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))>
0.382 * * * [progress]: localizing error
0.387 * * * [progress]: generating rewritten candidates
0.387 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.395 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.402 * * * [progress]: generating series expansions
0.403 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.403 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.403 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.403 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.403 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.403 * [taylor]: Taking taylor expansion of t in t
0.403 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.403 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.403 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.403 * [taylor]: Taking taylor expansion of t in t
0.404 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.404 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.404 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.404 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.404 * [taylor]: Taking taylor expansion of t in t
0.404 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.404 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.404 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.404 * [taylor]: Taking taylor expansion of t in t
0.405 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.405 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.405 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.405 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.405 * [taylor]: Taking taylor expansion of t in t
0.405 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.405 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.405 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.405 * [taylor]: Taking taylor expansion of t in t
0.406 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.406 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.406 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.406 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.406 * [taylor]: Taking taylor expansion of t in t
0.406 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.406 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.406 * [taylor]: Taking taylor expansion of t in t
0.407 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.407 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.407 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.407 * [taylor]: Taking taylor expansion of t in t
0.407 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.407 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.407 * [taylor]: Taking taylor expansion of t in t
0.407 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.408 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.408 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.408 * [taylor]: Taking taylor expansion of t in t
0.408 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.408 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.408 * [taylor]: Taking taylor expansion of t in t
0.408 * * * [progress]: simplifying candidates
0.409 * [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.462 * * [simplify]: iteration  0 :  4810  enodes  (cost  230 )
0.463 * * [simplify]: iteration  1 :  4810  enodes  (cost  230 )
0.467 * [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.468 * * * [progress]: adding candidates to table
0.494 * * [progress]: iteration 3 / 4
0.495 * * * [progress]: picking best candidate
0.501 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.501 * * * [progress]: localizing error
0.506 * * * [progress]: generating rewritten candidates
0.506 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.514 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.521 * * * [progress]: generating series expansions
0.521 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.521 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.521 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.521 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.521 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.521 * [taylor]: Taking taylor expansion of t in t
0.521 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.521 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.521 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.521 * [taylor]: Taking taylor expansion of t in t
0.522 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.522 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.522 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.522 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.522 * [taylor]: Taking taylor expansion of t in t
0.522 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.522 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.522 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.522 * [taylor]: Taking taylor expansion of t in t
0.523 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.523 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.523 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.523 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.523 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.523 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.524 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.524 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.524 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.524 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.524 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.524 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.524 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.524 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.525 * [taylor]: Taking taylor expansion of t in t
0.525 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.525 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.525 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.525 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.525 * [taylor]: Taking taylor expansion of t in t
0.525 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.525 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.525 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.526 * [taylor]: Taking taylor expansion of t in t
0.526 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.526 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.526 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.527 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.527 * [taylor]: Taking taylor expansion of t in t
0.527 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.527 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.527 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.527 * [taylor]: Taking taylor expansion of t in t
0.528 * * * [progress]: simplifying candidates
0.528 * [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.592 * * [simplify]: iteration  0 :  4914  enodes  (cost  270 )
0.592 * * [simplify]: iteration  1 :  4914  enodes  (cost  270 )
0.595 * [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.595 * * * [progress]: adding candidates to table
0.619 * * [progress]: iteration 4 / 4
0.619 * * * [progress]: picking best candidate
0.624 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))>
0.624 * * * [progress]: localizing error
0.627 * * * [progress]: generating rewritten candidates
0.627 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.633 * * * [progress]: generating series expansions
0.633 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.633 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.633 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.633 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.633 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.633 * [taylor]: Taking taylor expansion of t in t
0.633 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.633 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.633 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.633 * [taylor]: Taking taylor expansion of t in t
0.634 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.634 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.634 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.634 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.634 * [taylor]: Taking taylor expansion of t in t
0.634 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.635 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.635 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.635 * [taylor]: Taking taylor expansion of t in t
0.636 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.636 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.636 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.636 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.636 * [taylor]: Taking taylor expansion of t in t
0.636 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.636 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.636 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.636 * [taylor]: Taking taylor expansion of t in t
0.637 * * * [progress]: simplifying candidates
0.637 * [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.700 * * [simplify]: iteration  0 :  4908  enodes  (cost  121 )
0.700 * * [simplify]: iteration  1 :  4908  enodes  (cost  121 )
0.702 * [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.702 * * * [progress]: adding candidates to table
0.714 * [progress]: [Phase 3 of 3] Extracting.
0.714 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.714 * * * [regime-changes]: Trying 2 branch expressions: ((*.f64 t 2028240960365167/10141204801825835211973625643008) t)
0.714 * * * * [regimes]: Trying to branch on (*.f64 t 2028240960365167/10141204801825835211973625643008) from (#<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.744 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)))> #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
0.772 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
0.773 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.774 * * [simplify]: iteration  0 :  9  enodes  (cost  7 )
0.774 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.774 * [simplify]: Simplified to:
   (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
2.007 * [regime-testing]: End program error score: 0.3264300897004254
2.067 * [regime-testing]: Target error score: 50.570332497744076