6.722 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [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.320 * * [simplify]: iteration  0 :  4828  enodes  (cost  7 )
0.320 * * [simplify]: iteration  1 :  4828  enodes  (cost  7 )
0.321 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.324 * * [progress]: iteration 1 / 4
0.324 * * * [progress]: picking best candidate
0.325 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.325 * * * [progress]: localizing error
0.328 * * * [progress]: generating rewritten candidates
0.328 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.331 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.337 * * * [progress]: generating series expansions
0.337 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.337 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.337 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.337 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.337 * [taylor]: Taking taylor expansion of t in t
0.337 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.337 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.337 * [taylor]: Taking taylor expansion of t in t
0.341 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.341 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.341 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.341 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.341 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.345 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.345 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.345 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.345 * [taylor]: Taking taylor expansion of t in t
0.345 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.345 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.345 * [taylor]: Taking taylor expansion of t in t
0.349 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.349 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.349 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.349 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.349 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.349 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.349 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.349 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.355 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.355 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.355 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.355 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.355 * [taylor]: Taking taylor expansion of t in t
0.355 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.355 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.355 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.355 * [taylor]: Taking taylor expansion of t in t
0.362 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.362 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.362 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.362 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.362 * [taylor]: Taking taylor expansion of t in t
0.362 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.362 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.362 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.362 * [taylor]: Taking taylor expansion of t in t
0.369 * * * [progress]: simplifying candidates
0.369 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (+.f64 (log.f64 t) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 t 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 t) t) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 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 (cbrt.f64 t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (sqrt.f64 t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 1)
  (*.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)))
  (exp.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.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)))
  (*.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 t) t) (*.f64 (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (sqrt.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (cbrt.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (sqrt.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t t)
  (*.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.465 * * [simplify]: iteration  0 :  4985  enodes  (cost  290 )
0.465 * * [simplify]: iteration  1 :  4985  enodes  (cost  290 )
0.469 * [simplify]: Simplified to:
   (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3)
  (*.f64 (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3)
  (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 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (cbrt.f64 t))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (sqrt.f64 t))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  t
  (*.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)))
  (pow.f64 (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) t)
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.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))
  (*.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 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (cbrt.f64 t)))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t t)
  (*.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.469 * * * [progress]: adding candidates to table
0.489 * * [progress]: iteration 2 / 4
0.489 * * * [progress]: picking best candidate
0.495 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))>
0.495 * * * [progress]: localizing error
0.500 * * * [progress]: generating rewritten candidates
0.500 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.515 * * * [progress]: generating series expansions
0.515 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.515 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.515 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.515 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.516 * [taylor]: Taking taylor expansion of t in t
0.516 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.516 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.516 * [taylor]: Taking taylor expansion of t in t
0.519 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.519 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.519 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.520 * [taylor]: Taking taylor expansion of t in t
0.520 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.520 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.520 * [taylor]: Taking taylor expansion of t in t
0.524 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.524 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.524 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.524 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.524 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.528 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.528 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.528 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.528 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.528 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.528 * [taylor]: Taking taylor expansion of t in t
0.528 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.528 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.528 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.528 * [taylor]: Taking taylor expansion of t in t
0.536 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.536 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.536 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.536 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.536 * [taylor]: Taking taylor expansion of t in t
0.536 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.536 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.536 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.536 * [taylor]: Taking taylor expansion of t in t
0.542 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.542 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.542 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.542 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.542 * [taylor]: Taking taylor expansion of t in t
0.542 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.542 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.542 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.542 * [taylor]: Taking taylor expansion of t in t
0.548 * * * [progress]: simplifying candidates
0.548 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.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)))
  (exp.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.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)))
  (*.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) (*.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 t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (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 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 (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) 1)
  (*.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))))
  (exp.f64 (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (log.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))))
  (*.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 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 (*.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 t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (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 (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 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.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.646 * * [simplify]: iteration  0 :  5067  enodes  (cost  335 )
0.650 * [simplify]: Simplified to:
   (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3)
  (*.f64 (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3)
  (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3)
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008) (cbrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.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 t 2028240960365167/10141204801825835211973625643008)
  (*.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)
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (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)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (fabs.f64 (*.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 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.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.650 * * * [progress]: adding candidates to table
0.667 * * [progress]: iteration 3 / 4
0.667 * * * [progress]: picking best candidate
0.673 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.673 * * * [progress]: localizing error
0.678 * * * [progress]: generating rewritten candidates
0.678 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.685 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.691 * * * [progress]: generating series expansions
0.691 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.692 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.692 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.692 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.692 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.692 * [taylor]: Taking taylor expansion of t in t
0.692 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.692 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.692 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.692 * [taylor]: Taking taylor expansion of t in t
0.699 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.700 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.700 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.700 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.700 * [taylor]: Taking taylor expansion of t in t
0.700 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.700 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.700 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.700 * [taylor]: Taking taylor expansion of t in t
0.706 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.706 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.706 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.706 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.706 * [taylor]: Taking taylor expansion of t in t
0.706 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.706 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.706 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.706 * [taylor]: Taking taylor expansion of t in t
0.711 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.712 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.712 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.712 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.712 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.712 * [taylor]: Taking taylor expansion of t in t
0.712 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.712 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.712 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.712 * [taylor]: Taking taylor expansion of t in t
0.717 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.717 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.717 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.717 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.717 * [taylor]: Taking taylor expansion of t in t
0.717 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.717 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.717 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.717 * [taylor]: Taking taylor expansion of t in t
0.723 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.723 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.723 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.723 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.723 * [taylor]: Taking taylor expansion of t in t
0.723 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.723 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.723 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.723 * [taylor]: Taking taylor expansion of t in t
0.728 * * * [progress]: simplifying candidates
0.729 * [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)))
  (exp.f64 (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.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)))
  (*.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)) (*.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 (*.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 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)))
  (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 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 (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)) 1)
  (*.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)))
  (exp.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (log.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)))
  (*.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 t) t) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (cbrt.f64 t) (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (sqrt.f64 t) (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t t)
  (*.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.805 * * [simplify]: iteration  0 :  4960  enodes  (cost  395 )
0.806 * * [simplify]: iteration  1 :  4960  enodes  (cost  395 )
0.809 * [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)
  (pow.f64 (exp.f64 t) (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) 2)
  (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)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008) (cbrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.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 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.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)))
  (exp.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.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))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 t 6))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (cbrt.f64 t))
  (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 3/2))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t t)
  (*.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.809 * * * [progress]: adding candidates to table
0.827 * * [progress]: iteration 4 / 4
0.827 * * * [progress]: picking best candidate
0.832 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))>
0.832 * * * [progress]: localizing error
0.840 * * * [progress]: generating rewritten candidates
0.840 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.848 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.860 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.872 * * * [progress]: generating series expansions
0.872 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.873 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (sqrt 2028240960365167/10141204801825835211973625643008))) in (t) around 0
0.873 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (sqrt 2028240960365167/10141204801825835211973625643008))) in t
0.873 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.873 * [taylor]: Taking taylor expansion of (* t (sqrt 2028240960365167/10141204801825835211973625643008)) in t
0.873 * [taylor]: Taking taylor expansion of t in t
0.873 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.873 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.873 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (sqrt 2028240960365167/10141204801825835211973625643008))) in t
0.873 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.873 * [taylor]: Taking taylor expansion of (* t (sqrt 2028240960365167/10141204801825835211973625643008)) in t
0.873 * [taylor]: Taking taylor expansion of t in t
0.873 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.873 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.885 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in (t) around 0
0.885 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in t
0.885 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.885 * [taylor]: Taking taylor expansion of (/ (sqrt 2028240960365167/10141204801825835211973625643008) t) in t
0.885 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.885 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.886 * [taylor]: Taking taylor expansion of t in t
0.886 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in t
0.886 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.886 * [taylor]: Taking taylor expansion of (/ (sqrt 2028240960365167/10141204801825835211973625643008) t) in t
0.886 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.886 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.886 * [taylor]: Taking taylor expansion of t in t
0.896 * [approximate]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in (t) around 0
0.896 * [taylor]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in t
0.896 * [taylor]: Taking taylor expansion of -2028240960365167/10141204801825835211973625643008 in t
0.896 * [taylor]: Taking taylor expansion of (/ (sqrt 2028240960365167/10141204801825835211973625643008) t) in t
0.896 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.896 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.897 * [taylor]: Taking taylor expansion of t in t
0.897 * [taylor]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (sqrt 2028240960365167/10141204801825835211973625643008) t)) in t
0.897 * [taylor]: Taking taylor expansion of -2028240960365167/10141204801825835211973625643008 in t
0.897 * [taylor]: Taking taylor expansion of (/ (sqrt 2028240960365167/10141204801825835211973625643008) t) in t
0.897 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.897 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.897 * [taylor]: Taking taylor expansion of t in t
0.907 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.908 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* (pow t 2) (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in (t) around 0
0.908 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* (pow t 2) (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in t
0.908 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.908 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2)) in t
0.908 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.908 * [taylor]: Taking taylor expansion of t in t
0.908 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.908 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.908 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.908 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* (pow t 2) (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in t
0.908 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.908 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2)) in t
0.908 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.908 * [taylor]: Taking taylor expansion of t in t
0.908 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.908 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.908 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.923 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in (t) around 0
0.923 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in t
0.923 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.923 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2)) in t
0.923 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.923 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.923 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.923 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.923 * [taylor]: Taking taylor expansion of t in t
0.924 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in t
0.924 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.924 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2)) in t
0.924 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.924 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.924 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.924 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.924 * [taylor]: Taking taylor expansion of t in t
0.940 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in (t) around 0
0.940 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in t
0.940 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.940 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2)) in t
0.940 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.940 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.940 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.940 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.940 * [taylor]: Taking taylor expansion of t in t
0.941 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2))) in t
0.941 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.941 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) (pow t 2)) in t
0.941 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.941 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.941 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.941 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.941 * [taylor]: Taking taylor expansion of t in t
0.957 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.957 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in (t) around 0
0.957 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in t
0.957 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.957 * [taylor]: Taking taylor expansion of (* t (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2)) in t
0.957 * [taylor]: Taking taylor expansion of t in t
0.957 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.957 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.957 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.958 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (* t (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2))) in t
0.958 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.958 * [taylor]: Taking taylor expansion of (* t (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2)) in t
0.958 * [taylor]: Taking taylor expansion of t in t
0.958 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.958 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.958 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.976 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in (t) around 0
0.976 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in t
0.976 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.976 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t) in t
0.976 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.977 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.977 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.977 * [taylor]: Taking taylor expansion of t in t
0.977 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in t
0.977 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.977 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t) in t
0.977 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.977 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.977 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.978 * [taylor]: Taking taylor expansion of t in t
0.994 * [approximate]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in (t) around 0
0.994 * [taylor]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in t
0.994 * [taylor]: Taking taylor expansion of -2028240960365167/10141204801825835211973625643008 in t
0.994 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t) in t
0.994 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.994 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.994 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.994 * [taylor]: Taking taylor expansion of t in t
0.995 * [taylor]: Taking taylor expansion of (* -2028240960365167/10141204801825835211973625643008 (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t)) in t
0.995 * [taylor]: Taking taylor expansion of -2028240960365167/10141204801825835211973625643008 in t
0.995 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) t) in t
0.995 * [taylor]: Taking taylor expansion of (pow (sqrt 2028240960365167/10141204801825835211973625643008) 2) in t
0.995 * [taylor]: Taking taylor expansion of (sqrt 2028240960365167/10141204801825835211973625643008) in t
0.995 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.995 * [taylor]: Taking taylor expansion of t in t
1.013 * * * [progress]: simplifying candidates
1.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (exp.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))))
  (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (*.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008) (cbrt.f64 2028240960365167/10141204801825835211973625643008))))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 1))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 1)
  (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 t) (+.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (+.f64 (log.f64 t) (+.f64 (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (+.f64 (log.f64 t) (+.f64 (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (+.f64 (log.f64 t) (log.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (exp.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (log.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))) (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (cbrt.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))) (cbrt.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))))
  (cbrt.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (sqrt.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (sqrt.f64 (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (cbrt.f64 t) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (sqrt.f64 t) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (log.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (exp.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (log.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))) (cbrt.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (cbrt.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 t 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2028240960365167/10141204801825835211973625643008 2028240960365167/10141204801825835211973625643008) 2028240960365167/10141204801825835211973625643008)) (*.f64 (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))) (cbrt.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 1)))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 1))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 1)
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 (pow.f64 t 2) (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 (pow.f64 t 2) (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 (pow.f64 t 2) (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (pow.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) 2)))
1.115 * * [simplify]: iteration  0 :  5042  enodes  (cost  695 )
1.121 * [simplify]: Simplified to:
   (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (exp.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 3))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))) (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))))
  (cbrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 3))
  (*.f64 8343699359066054486150202998521431101588112463/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512 (pow.f64 (*.f64 t (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 3))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (sqrt.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2028240960365167/10141204801825835211973625643008 (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008))))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (fabs.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.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 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 2 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (*.f64 2 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (pow.f64 (exp.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) t)
  (*.f64 2 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
  (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)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (pow.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) 6)
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (fabs.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 t))
  (*.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (sqrt.f64 t))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)))
  (*.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))
  (log.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)
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (pow.f64 t 3) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  2028240960365167/10141204801825835211973625643008
  (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (*.f64 (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (cbrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)))))
  (*.f64 t (pow.f64 (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 7))
  (*.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008) (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (fabs.f64 (cbrt.f64 2028240960365167/10141204801825835211973625643008))))
  (*.f64 t (pow.f64 (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 7))
  (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (fabs.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (*.f64 t (pow.f64 (sqrt.f64 (sqrt.f64 2028240960365167/10141204801825835211973625643008)) 7))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008))
  (*.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)
1.122 * * * [progress]: adding candidates to table
1.155 * [progress]: [Phase 3 of 3] Extracting.
1.155 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (*.f64 t (*.f64 (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008) (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008))))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))> #<alt (λ (t) (*.f64 t (cbrt.f64 (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3))))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (cbrt.f64 t)))))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))> #<alt (λ (t) (*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))))>)
1.155 * * * [regime-changes]: Trying 1 branch expressions: (t)
1.155 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (*.f64 t (*.f64 (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008) (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008))))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))))> #<alt (λ (t) (*.f64 t (cbrt.f64 (pow.f64 (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 3))))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (cbrt.f64 t)))))> #<alt (λ (t) (cbrt.f64 (*.f64 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144 (pow.f64 t 6))))> #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))> #<alt (λ (t) (*.f64 (sqrt.f64 t) (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 3/2))))>)
1.170 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1.170 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
1.173 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
1.173 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
1.173 * [simplify]: Simplified to:
   (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)))
2.182 * [regime-testing]: End program error score: 0.3281259782480022
2.206 * [regime-testing]: Target error score: 50.5683538519475