2.419 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [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.327 * * [simplify]: iteration  0 :  4828  enodes  (cost  7 )
0.327 * * [simplify]: iteration  1 :  4828  enodes  (cost  7 )
0.328 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
0.331 * * [progress]: iteration 1 / 4
0.331 * * * [progress]: picking best candidate
0.331 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.332 * * * [progress]: localizing error
0.335 * * * [progress]: generating rewritten candidates
0.335 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.344 * * * [progress]: generating series expansions
0.344 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.344 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.344 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.344 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.344 * [taylor]: Taking taylor expansion of t in t
0.344 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.344 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.344 * [taylor]: Taking taylor expansion of t in t
0.348 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.348 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.348 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.348 * [taylor]: Taking taylor expansion of t in t
0.348 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.348 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.348 * [taylor]: Taking taylor expansion of t in t
0.352 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.352 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.352 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.352 * [taylor]: Taking taylor expansion of t in t
0.353 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.353 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.353 * [taylor]: Taking taylor expansion of t in t
0.356 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.357 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.357 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.357 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.357 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.357 * [taylor]: Taking taylor expansion of t in t
0.357 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.357 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.357 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.357 * [taylor]: Taking taylor expansion of t in t
0.363 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.363 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.363 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.363 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.363 * [taylor]: Taking taylor expansion of t in t
0.363 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.363 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.363 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.363 * [taylor]: Taking taylor expansion of t in t
0.370 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.370 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.370 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.370 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.370 * [taylor]: Taking taylor expansion of t in t
0.371 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.371 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.371 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.371 * [taylor]: Taking taylor expansion of t in t
0.378 * * * [progress]: simplifying candidates
0.378 * [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.478 * * [simplify]: iteration  0 :  4985  enodes  (cost  290 )
0.479 * * [simplify]: iteration  1 :  4985  enodes  (cost  290 )
0.483 * [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.483 * * * [progress]: adding candidates to table
0.503 * * [progress]: iteration 2 / 4
0.503 * * * [progress]: picking best candidate
0.509 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))>
0.509 * * * [progress]: localizing error
0.514 * * * [progress]: generating rewritten candidates
0.514 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.522 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.529 * * * [progress]: generating series expansions
0.529 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.530 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.530 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.530 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.530 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.530 * [taylor]: Taking taylor expansion of t in t
0.530 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.530 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.530 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.530 * [taylor]: Taking taylor expansion of t in t
0.535 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.535 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.535 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.535 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.535 * [taylor]: Taking taylor expansion of t in t
0.535 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.535 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.535 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.535 * [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.743 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.744 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.744 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.744 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.744 * [taylor]: Taking taylor expansion of t in t
0.744 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.744 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.744 * [taylor]: Taking taylor expansion of t in t
0.747 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.747 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.747 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.747 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.747 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.751 * [approximate]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in (t) around 0
0.751 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.751 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.751 * [taylor]: Taking taylor expansion of t in t
0.751 * [taylor]: Taking taylor expansion of (/ -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t) in t
0.751 * [taylor]: Taking taylor expansion of -4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.751 * [taylor]: Taking taylor expansion of t in t
0.756 * * * [progress]: simplifying candidates
0.756 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (+.f64 (log.f64 t) (+.f64 (+.f64 (log.f64 t) (log.f64 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 t) (+.f64 (log.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (log.f64 (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (+.f64 (log.f64 t) (log.f64 (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))))
  (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 (*.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 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 t)
0.859 * * [simplify]: iteration  0 :  5067  enodes  (cost  335 )
0.863 * [simplify]: Simplified to:
   (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (log.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (exp.f64 (*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (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)
  (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)
  (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))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
0.863 * * * [progress]: adding candidates to table
0.879 * * [progress]: iteration 3 / 4
0.879 * * * [progress]: picking best candidate
0.883 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008)) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>
0.883 * * * [progress]: localizing error
0.889 * * * [progress]: generating rewritten candidates
0.889 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.897 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.903 * * * [progress]: generating series expansions
0.903 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.903 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.904 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.904 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.904 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.904 * [taylor]: Taking taylor expansion of t in t
0.904 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.904 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.904 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.904 * [taylor]: Taking taylor expansion of t in t
0.910 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.910 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.910 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.910 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.910 * [taylor]: Taking taylor expansion of t in t
0.910 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.910 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.910 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.910 * [taylor]: Taking taylor expansion of t in t
0.917 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
0.917 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.917 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.917 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.917 * [taylor]: Taking taylor expansion of t in t
0.917 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
0.917 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
0.917 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.917 * [taylor]: Taking taylor expansion of t in t
0.927 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.927 * [approximate]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.927 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.927 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.927 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.927 * [taylor]: Taking taylor expansion of t in t
0.927 * [taylor]: Taking taylor expansion of (* 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.927 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.927 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.927 * [taylor]: Taking taylor expansion of t in t
0.933 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.933 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.933 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.933 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.933 * [taylor]: Taking taylor expansion of t in t
0.933 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.933 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.933 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.933 * [taylor]: Taking taylor expansion of t in t
0.939 * [approximate]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in (t) around 0
0.939 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.939 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.939 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.939 * [taylor]: Taking taylor expansion of t in t
0.939 * [taylor]: Taking taylor expansion of (/ 2028240960365167/10141204801825835211973625643008 (pow t 2)) in t
0.939 * [taylor]: Taking taylor expansion of 2028240960365167/10141204801825835211973625643008 in t
0.939 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.939 * [taylor]: Taking taylor expansion of t in t
0.945 * * * [progress]: simplifying candidates
0.945 * [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))
1.027 * * [simplify]: iteration  0 :  4960  enodes  (cost  395 )
1.027 * * [simplify]: iteration  1 :  4960  enodes  (cost  395 )
1.030 * [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))
1.031 * * * [progress]: adding candidates to table
1.048 * * [progress]: iteration 4 / 4
1.048 * * * [progress]: picking best candidate
1.052 * * * * [pick]: Picked  #<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))>
1.052 * * * [progress]: localizing error
1.055 * * * [progress]: generating rewritten candidates
1.055 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.062 * * * [progress]: generating series expansions
1.062 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.062 * [approximate]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
1.062 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.062 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.062 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.062 * [taylor]: Taking taylor expansion of t in t
1.062 * [taylor]: Taking taylor expansion of (* 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.062 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.062 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.062 * [taylor]: Taking taylor expansion of t in t
1.068 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
1.068 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.068 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.068 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.068 * [taylor]: Taking taylor expansion of t in t
1.068 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.068 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.068 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.068 * [taylor]: Taking taylor expansion of t in t
1.075 * [approximate]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in (t) around 0
1.075 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.075 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.075 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.075 * [taylor]: Taking taylor expansion of t in t
1.075 * [taylor]: Taking taylor expansion of (/ 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow t 2)) in t
1.075 * [taylor]: Taking taylor expansion of 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 in t
1.075 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.075 * [taylor]: Taking taylor expansion of t in t
1.082 * * * [progress]: simplifying candidates
1.082 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (+.f64 (+.f64 (log.f64 t) (log.f64 t)) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (+.f64 (log.f64 (*.f64 t t)) (log.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) (*.f64 t t)) (*.f64 t t)) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 (*.f64 t t) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (*.f64 t t) 1)
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
  (*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))
1.188 * * [simplify]: iteration  0 :  5393  enodes  (cost  176 )
1.190 * [simplify]: Simplified to:
   (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (exp.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (log.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)) (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (cbrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (*.f64 (pow.f64 t 6) 69617318994479288428505409468106852619915340402670484572597162535910920607533699795135926369/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144)
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (sqrt.f64 (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.f64 t 2028240960365167/10141204801825835211973625643008)
  (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) (*.f64 (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064) (cbrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
  (*.f64 t (*.f64 t 2028240960365167/10141204801825835211973625643008))
  (*.f64 t t)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
  (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)
1.191 * * * [progress]: adding candidates to table
1.198 * [progress]: [Phase 3 of 3] Extracting.
1.198 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008) (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008))))> #<alt (λ (t) (*.f64 (*.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)))))> #<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))))> #<alt (λ (t) (*.f64 (*.f64 (sqrt.f64 t) (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 3/2))) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
1.198 * * * [regime-changes]: Trying 1 branch expressions: (t)
1.198 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (*.f64 (*.f64 t t) 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))> #<alt (λ (t) (*.f64 t (*.f64 (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008) (*.f64 (sqrt.f64 t) 2028240960365167/10141204801825835211973625643008))))> #<alt (λ (t) (*.f64 (*.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)))))> #<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))))> #<alt (λ (t) (*.f64 (*.f64 (sqrt.f64 t) (*.f64 2028240960365167/10141204801825835211973625643008 (pow.f64 t 3/2))) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))>)
1.210 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
1.210 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 t (*.f64 (*.f64 t 2028240960365167/10141204801825835211973625643008) (sqrt.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)))
1.213 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
1.213 * * [simplify]: iteration  1 :  10  enodes  (cost  10 )
1.213 * [simplify]: Simplified to:
   (*.f64 t (*.f64 2028240960365167/10141204801825835211973625643008 (*.f64 t 2028240960365167/10141204801825835211973625643008)))
2.228 * [regime-testing]: End program error score: 0.315289411176397
2.252 * [regime-testing]: Target error score: 50.55246784540659