3.329 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
0.026 * * [simplify]: iteration  0 :  25  enodes  (cost  6 )
0.027 * * [simplify]: iteration  1 :  65  enodes  (cost  6 )
0.028 * * [simplify]: iteration  2 :  132  enodes  (cost  6 )
0.030 * * [simplify]: iteration  3 :  208  enodes  (cost  6 )
0.033 * * [simplify]: iteration  4 :  250  enodes  (cost  6 )
0.036 * * [simplify]: iteration  5 :  287  enodes  (cost  6 )
0.039 * * [simplify]: iteration  6 :  307  enodes  (cost  6 )
0.043 * * [simplify]: iteration  7 :  347  enodes  (cost  6 )
0.046 * * [simplify]: iteration  8 :  420  enodes  (cost  6 )
0.052 * * [simplify]: iteration  9 :  573  enodes  (cost  6 )
0.061 * * [simplify]: iteration  10 :  1883  enodes  (cost  6 )
0.096 * * [simplify]: iteration  11 :  5001  enodes  (cost  6 )
0.097 * [simplify]: Simplified to:
  (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
0.097 * * [progress]: iteration 1 / 4
0.097 * * * [progress]: picking best candidate
0.100 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))>
0.101 * * * [progress]: localizing error
0.107 * * * [progress]: generating rewritten candidates
0.107 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.123 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.133 * * * [progress]: generating series expansions
0.134 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.134 * [approximate]: Approximating (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
0.136 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.137 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.142 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.142 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.163 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.164 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.171 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.172 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.174 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.175 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.178 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.181 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.182 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.189 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.190 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.197 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.198 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.205 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.206 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.209 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.212 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.213 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.220 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.220 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.220 * [approximate]: Approximating (pow (+ t1 u) 2) in (t1 u) around 0
0.221 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.221 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.222 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.223 * [approximate]: Approximating (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
0.226 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.226 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.229 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.230 * [approximate]: Approximating (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
0.233 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.233 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.235 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.237 * * * [progress]: simplifying candidates
0.238 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (+ (log (neg t1)) (log v)) (+ (log (+ t1 u)) (log (+ t1 u))))
  (- (+ (log (neg t1)) (log v)) (log (* (+ t1 u) (+ t1 u))))
  (- (log (* (neg t1) v)) (+ (log (+ t1 u)) (log (+ t1 u))))
  (- (log (* (neg t1) v)) (log (* (+ t1 u) (+ t1 u))))
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (exp (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (/ (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (/ (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))))
  (/ (* (* (* (neg t1) v) (* (neg t1) v)) (* (neg t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (/ (* (* (* (neg t1) v) (* (neg t1) v)) (* (neg t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))))
  (* (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))))
  (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (* (* (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (neg (* (neg t1) v))
  (neg (* (+ t1 u) (+ t1 u)))
  (/ (neg t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (* (+ t1 u) (+ t1 u)))
  (/ (* (+ t1 u) (+ t1 u)) (* (neg t1) v))
  (/ (* t1 v) (* (+ t1 u) (+ t1 u)))
  (/ (* (neg t1) v) (+ t1 u))
  (/ (* (+ t1 u) (+ t1 u)) v)
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))))
  (/ (* (neg t1) v) (* (+ t1 u) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (+ t1 u) (- (* t1 t1) (* u u))))
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u)))
  (+ 1 1)
  (* (+ t1 u) (+ t1 u))
  (+ 1 1)
  (+ (log (+ t1 u)) (log (+ t1 u)))
  (log (* (+ t1 u) (+ t1 u)))
  (exp (* (+ t1 u) (+ t1 u)))
  (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u))))
  (cbrt (* (+ t1 u) (+ t1 u)))
  (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))
  (sqrt (* (+ t1 u) (+ t1 u)))
  (sqrt (* (+ t1 u) (+ t1 u)))
  (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1 u))
  (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))
  (* (- t1 u) (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))
  (* (- t1 u) (- t1 u))
  (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* 2 1)
  (* (+ t1 u) t1)
  (* (+ t1 u) u)
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (+ t1 u) (sqrt (+ t1 u)))
  (* (+ t1 u) 1)
  (* (+ t1 u) 1)
  (* (cbrt (+ t1 u)) (+ t1 u))
  (* (sqrt (+ t1 u)) (+ t1 u))
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ (pow t1 3) (pow u 3)))
  (* (+ t1 u) (- (* t1 t1) (* u u)))
  (* (+ (pow t1 3) (pow u 3)) (+ t1 u))
  (* (- (* t1 t1) (* u u)) (+ t1 u))
  0
  0
  0
  (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2)))
  (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2)))
  (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2)))
0.242 * * [simplify]: iteration  0 :  381  enodes  (cost  490 )
0.250 * * [simplify]: iteration  1 :  2039  enodes  (cost  406 )
0.291 * * [simplify]: iteration  2 :  5001  enodes  (cost  402 )
0.294 * [simplify]: Simplified to:
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (log (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (exp (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (pow (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (* (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))))
  (cbrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (pow (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (sqrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))
  (* t1 v)
  (neg (* (+ t1 u) (+ t1 u)))
  (/ (neg t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (* (+ t1 u) (+ t1 u)))
  (/ (* (+ t1 u) (+ t1 u)) (* (neg t1) v))
  (/ (* t1 v) (* (+ t1 u) (+ t1 u)))
  (/ (* (neg t1) v) (+ t1 u))
  (/ (* (+ t1 u) (+ t1 u)) v)
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))))
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u)))
  (/ (* (neg t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)))
  (/ (* (neg t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u)))
  2
  (* (+ t1 u) (+ t1 u))
  2
  (* 2 (log (+ t1 u)))
  (* 2 (log (+ t1 u)))
  (exp (* (+ t1 u) (+ t1 u)))
  (pow (* (+ t1 u) (+ t1 u)) 3)
  (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u))))
  (cbrt (* (+ t1 u) (+ t1 u)))
  (pow (* (+ t1 u) (+ t1 u)) 3)
  (fabs (+ t1 u))
  (fabs (+ t1 u))
  (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* u (- u t1)) (pow t1 2)) (+ (pow t1 2) (* u (- u t1))))
  (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))
  (* (- t1 u) (+ (pow t1 2) (* u (- u t1))))
  (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))
  (* (- t1 u) (+ (pow t1 2) (* u (- u t1))))
  (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))
  (* (- t1 u) (- t1 u))
  (pow (cbrt (+ t1 u)) 4)
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (+ t1 u)
  (+ t1 u)
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  (+ t1 u)
  (+ t1 u)
  2
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (pow (sqrt (+ t1 u)) 3)
  (+ t1 u)
  (+ t1 u)
  (pow (cbrt (+ t1 u)) 4)
  (pow (sqrt (+ t1 u)) 3)
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ (pow t1 3) (pow u 3)))
  (* (- (* t1 t1) (* u u)) (+ t1 u))
  (* (+ t1 u) (+ (pow t1 3) (pow u 3)))
  (* (- (* t1 t1) (* u u)) (+ t1 u))
  0
  0
  0
  (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2)))
  (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2)))
  (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2)))
0.295 * * * [progress]: adding candidates to table
0.428 * * [progress]: iteration 2 / 4
0.428 * * * [progress]: picking best candidate
0.442 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))>
0.442 * * * [progress]: localizing error
0.449 * * * [progress]: generating rewritten candidates
0.449 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.476 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.481 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.495 * * * [progress]: generating series expansions
0.495 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.496 * [approximate]: Approximating (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
0.498 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.504 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.512 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.515 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.518 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.530 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.539 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.540 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.547 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.548 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.550 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.554 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.554 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.557 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.564 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.566 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.566 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.570 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.583 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.586 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.589 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.589 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.590 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.597 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.597 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.600 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.603 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.604 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.607 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.618 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.620 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.620 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.625 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.637 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.640 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.643 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.643 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.643 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.643 * [approximate]: Approximating (/ v (+ t1 u)) in (v t1 u) around 0
0.643 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.644 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.645 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.645 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.645 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.650 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.650 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.650 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.650 * [approximate]: Approximating (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.653 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.654 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.656 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.657 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.660 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.660 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.660 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.660 * [approximate]: Approximating (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.664 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.665 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.670 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.671 * [approximate]: Approximating (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
0.671 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
0.672 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
0.677 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
0.685 * [approximate]: Approximating (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.694 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.696 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.701 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.706 * [approximate]: Approximating (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.712 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.714 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.718 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.723 * * * [progress]: simplifying candidates
0.725 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (+ (- (log (neg t1)) (log (+ t1 u))) (- (log v) (log (+ t1 u))))
  (+ (- (log (neg t1)) (log (+ t1 u))) (log (/ v (+ t1 u))))
  (+ (log (/ (neg t1) (+ t1 u))) (- (log v) (log (+ t1 u))))
  (+ (log (/ (neg t1) (+ t1 u))) (log (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (exp (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (/ (* (* (neg t1) (neg t1)) (neg t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (/ (* (* (neg t1) (neg t1)) (neg t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (* (* (/ (neg t1) (+ t1 u)) (/ (neg t1) (+ t1 u))) (/ (neg t1) (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (/ (neg t1) (+ t1 u)) (/ (neg t1) (+ t1 u))) (/ (neg t1) (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))))
  (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (* (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (neg t1) v)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (/ (neg t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (sqrt (/ v (+ t1 u))))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) 1))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) 1))
  (* (/ (neg t1) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (/ 1 (sqrt (+ t1 u))))
  (* (/ (neg t1) (+ t1 u)) (/ 1 1))
  (* (/ (neg t1) (+ t1 u)) (/ 1 1))
  (* (/ (neg t1) (+ t1 u)) 1)
  (* (/ (neg t1) (+ t1 u)) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (/ (neg t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ 1 (+ t1 u)) (/ v (+ t1 u)))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (/ v (+ t1 u)))
  (* (- t1 u) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) v)
  (* (neg t1) (/ v (+ t1 u)))
  (- (log v) (log (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (neg v)
  (neg (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  (/ v 1)
  (/ v 1)
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ v (- (* t1 t1) (* u u)))
  (- (log (neg t1)) (log (+ t1 u)))
  (log (/ (neg t1) (+ t1 u)))
  (exp (/ (neg t1) (+ t1 u)))
  (/ (* (* (neg t1) (neg t1)) (neg t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (neg t1) (+ t1 u))) (cbrt (/ (neg t1) (+ t1 u))))
  (cbrt (/ (neg t1) (+ t1 u)))
  (* (* (/ (neg t1) (+ t1 u)) (/ (neg t1) (+ t1 u))) (/ (neg t1) (+ t1 u)))
  (sqrt (/ (neg t1) (+ t1 u)))
  (sqrt (/ (neg t1) (+ t1 u)))
  (neg (neg t1))
  (neg (+ t1 u))
  (/ 0 (+ t1 u))
  (/ t1 (+ t1 u))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (neg t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) (sqrt (+ t1 u)))
  (/ (cbrt (neg t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) 1)
  (/ (cbrt (neg t1)) (+ t1 u))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) 1)
  (/ (cbrt (neg t1)) (+ t1 u))
  (/ (sqrt (neg t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (neg t1)) (cbrt (+ t1 u)))
  (/ (sqrt (neg t1)) (sqrt (+ t1 u)))
  (/ (sqrt (neg t1)) (sqrt (+ t1 u)))
  (/ (sqrt (neg t1)) 1)
  (/ (sqrt (neg t1)) (+ t1 u))
  (/ (sqrt (neg t1)) 1)
  (/ (sqrt (neg t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (neg t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (neg t1) (+ t1 u))
  (/ 1 1)
  (/ (neg t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ (neg (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (neg (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (neg (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (neg (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (neg (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (neg (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (neg (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (neg 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ (neg 1) (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (neg 1) 1)
  (/ t1 (+ t1 u))
  (/ (neg 1) 1)
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (neg (cbrt t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (neg (cbrt t1)) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (neg (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (neg (sqrt t1)) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (neg (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (neg t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (neg t1) (+ t1 u))
  (/ 1 1)
  (/ (neg t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (neg t1))
  (/ t1 (+ t1 u))
  (/ (neg t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (sqrt (+ t1 u)))
  (/ (neg t1) 1)
  (/ (neg t1) 1)
  (/ (+ t1 u) (cbrt (neg t1)))
  (/ (+ t1 u) (sqrt (neg t1)))
  (/ (+ t1 u) (neg t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (neg (cbrt t1)))
  (/ (+ t1 u) (neg (sqrt t1)))
  (/ (+ t1 u) (neg t1))
  (/ (neg t1) (+ (pow t1 3) (pow u 3)))
  (/ (neg t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.733 * * [simplify]: iteration  0 :  593  enodes  (cost  1281 )
0.743 * * [simplify]: iteration  1 :  2692  enodes  (cost  1197 )
0.775 * * [simplify]: iteration  2 :  5002  enodes  (cost  1197 )
0.782 * [simplify]: Simplified to:
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (exp (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (pow (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (* (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))))
  (cbrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (pow (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (neg t1) v)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (/ (neg t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (sqrt (/ v (+ t1 u))))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (/ (* (neg t1) (* (cbrt v) (cbrt v))) (+ t1 u))
  (/ (* (neg t1) (* (cbrt v) (cbrt v))) (+ t1 u))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (/ (* (neg t1) (sqrt v)) (+ t1 u))
  (/ (* (neg t1) (sqrt v)) (+ t1 u))
  (/ (/ (neg t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (/ (neg t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ (neg t1) (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (* (neg t1) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (/ (neg t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (sqrt (/ (neg t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (neg t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (/ (/ v (+ t1 u)) (+ t1 u))
  (* (/ v (+ t1 u)) (+ (* u (- u t1)) (* t1 t1)))
  (* (- t1 u) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (log (/ v (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (neg v)
  (neg (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  1
  (/ v (+ t1 u))
  1
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  v
  v
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ v (- (* t1 t1) (* u u)))
  (log (/ (neg t1) (+ t1 u)))
  (log (/ (neg t1) (+ t1 u)))
  (exp (/ (neg t1) (+ t1 u)))
  (pow (/ (neg t1) (+ t1 u)) 3)
  (* (cbrt (/ (neg t1) (+ t1 u))) (cbrt (/ (neg t1) (+ t1 u))))
  (cbrt (/ (neg t1) (+ t1 u)))
  (pow (/ (neg t1) (+ t1 u)) 3)
  (sqrt (/ (neg t1) (+ t1 u)))
  (sqrt (/ (neg t1) (+ t1 u)))
  t1
  (neg (+ t1 u))
  0
  (/ t1 (+ t1 u))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (neg t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (neg t1)) (cbrt (neg t1))) (sqrt (+ t1 u)))
  (/ (cbrt (neg t1)) (sqrt (+ t1 u)))
  (* (cbrt (neg t1)) (cbrt (neg t1)))
  (/ (cbrt (neg t1)) (+ t1 u))
  (* (cbrt (neg t1)) (cbrt (neg t1)))
  (/ (cbrt (neg t1)) (+ t1 u))
  (/ (sqrt (neg t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (neg t1)) (cbrt (+ t1 u)))
  (/ (sqrt (neg t1)) (sqrt (+ t1 u)))
  (/ (sqrt (neg t1)) (sqrt (+ t1 u)))
  (sqrt (neg t1))
  (/ (sqrt (neg t1)) (+ t1 u))
  (sqrt (neg t1))
  (/ (sqrt (neg t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (neg t1) (sqrt (+ t1 u)))
  1
  (/ (neg t1) (+ t1 u))
  1
  (/ (neg t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (neg (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (neg (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (neg (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (neg (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (/ (neg (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (neg (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (neg (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (neg (cbrt t1)) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (neg (cbrt t1)) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (neg (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (neg (sqrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (neg (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (neg t1) (sqrt (+ t1 u)))
  1
  (/ (neg t1) (+ t1 u))
  1
  (/ (neg t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (neg t1))
  (/ t1 (+ t1 u))
  (/ (neg t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (sqrt (+ t1 u)))
  (neg t1)
  (neg t1)
  (/ (+ t1 u) (cbrt (neg t1)))
  (/ (+ t1 u) (sqrt (neg t1)))
  (/ (+ t1 u) (neg t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (neg (cbrt t1)))
  (/ (+ t1 u) (neg (sqrt t1)))
  (/ (+ t1 u) (neg t1))
  (/ (neg t1) (+ (pow t1 3) (pow u 3)))
  (/ (neg t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.783 * * * [progress]: adding candidates to table
1.579 * * [progress]: iteration 3 / 4
1.579 * * * [progress]: picking best candidate
1.607 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))>
1.607 * * * [progress]: localizing error
1.615 * * * [progress]: generating rewritten candidates
1.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.626 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.694 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.705 * * * [progress]: generating series expansions
1.705 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.705 * [approximate]: Approximating (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0
1.707 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
1.707 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
1.713 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
1.713 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
1.716 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
1.719 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
1.719 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
1.726 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
1.726 * [approximate]: Approximating (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0
1.732 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.732 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.734 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.734 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.736 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.739 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.740 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.745 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.745 * [approximate]: Approximating (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0
1.751 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.752 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.754 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.754 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.756 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.759 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.760 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.765 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.765 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.766 * [approximate]: Approximating (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
1.768 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
1.768 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.773 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
1.773 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.780 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.784 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
1.784 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.800 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.800 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
1.808 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.809 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.811 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.812 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.815 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.818 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.819 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.827 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.827 * [approximate]: Approximating (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
1.835 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.836 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.838 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.839 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.842 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.845 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.846 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.854 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.854 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.854 * [approximate]: Approximating (/ 1 (+ t1 u)) in (t1 u) around 0
1.854 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in u
1.856 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in u
1.860 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in u
1.873 * [approximate]: Approximating (/ 1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.876 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u
1.877 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u
1.880 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u
1.885 * [approximate]: Approximating (/ -1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.888 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u
1.890 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u
1.893 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u
1.898 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.898 * [approximate]: Approximating (/ v (+ t1 u)) in (v t1 u) around 0
1.899 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
1.899 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.900 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
1.900 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.901 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.905 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
1.905 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.905 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.905 * [approximate]: Approximating (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.911 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.912 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.912 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.916 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.916 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.916 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.916 * [approximate]: Approximating (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.926 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.926 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.927 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.927 * * * [progress]: simplifying candidates
1.929 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (neg t1) (/ v (+ t1 u)))
  (+ (log (neg t1)) (- (log v) (log (+ t1 u))))
  (+ (log (neg t1)) (log (/ v (+ t1 u))))
  (log (* (neg t1) (/ v (+ t1 u))))
  (exp (* (neg t1) (/ v (+ t1 u))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (cbrt (* (neg t1) (/ v (+ t1 u)))) (cbrt (* (neg t1) (/ v (+ t1 u)))))
  (cbrt (* (neg t1) (/ v (+ t1 u))))
  (* (* (* (neg t1) (/ v (+ t1 u))) (* (neg t1) (/ v (+ t1 u)))) (* (neg t1) (/ v (+ t1 u))))
  (sqrt (* (neg t1) (/ v (+ t1 u))))
  (sqrt (* (neg t1) (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (sqrt (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (sqrt (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (neg t1)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* t1 (/ v (+ t1 u)))
  (* (neg t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (neg t1) (sqrt (/ v (+ t1 u))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) 1))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) 1))
  (* (neg t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (neg t1) (/ (sqrt v) 1))
  (* (neg t1) (/ (sqrt v) 1))
  (* (neg t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ 1 (sqrt (+ t1 u))))
  (* (neg t1) (/ 1 1))
  (* (neg t1) (/ 1 1))
  (* (neg t1) 1)
  (* (neg t1) v)
  (* (neg t1) (/ v (+ (pow t1 3) (pow u 3))))
  (* (neg t1) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (neg t1)) (/ v (+ t1 u)))
  (* (sqrt (neg t1)) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (cbrt t1) (/ v (+ t1 u)))
  (* (sqrt t1) (/ v (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (neg (cbrt t1)) (/ v (+ t1 u)))
  (* (neg (sqrt t1)) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) v)
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))
  (+ (+ (log (neg t1)) (- (log v) (log (+ t1 u)))) (neg (log (+ t1 u))))
  (+ (+ (log (neg t1)) (- (log v) (log (+ t1 u)))) (- 0 (log (+ t1 u))))
  (+ (+ (log (neg t1)) (- (log v) (log (+ t1 u)))) (- (log 1) (log (+ t1 u))))
  (+ (+ (log (neg t1)) (- (log v) (log (+ t1 u)))) (log (/ 1 (+ t1 u))))
  (+ (+ (log (neg t1)) (log (/ v (+ t1 u)))) (neg (log (+ t1 u))))
  (+ (+ (log (neg t1)) (log (/ v (+ t1 u)))) (- 0 (log (+ t1 u))))
  (+ (+ (log (neg t1)) (log (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u))))
  (+ (+ (log (neg t1)) (log (/ v (+ t1 u)))) (log (/ 1 (+ t1 u))))
  (+ (log (* (neg t1) (/ v (+ t1 u)))) (neg (log (+ t1 u))))
  (+ (log (* (neg t1) (/ v (+ t1 u)))) (- 0 (log (+ t1 u))))
  (+ (log (* (neg t1) (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u))))
  (+ (log (* (neg t1) (/ v (+ t1 u)))) (log (/ 1 (+ t1 u))))
  (log (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (exp (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (* (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u))))
  (* (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u))))
  (* (* (* (* (neg t1) (/ v (+ t1 u))) (* (neg t1) (/ v (+ t1 u)))) (* (neg t1) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (* (neg t1) (/ v (+ t1 u))) (* (neg t1) (/ v (+ t1 u)))) (* (neg t1) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u))))
  (* (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))))
  (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (* (* (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (sqrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (sqrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (* (* (neg t1) v) 1)
  (* (+ t1 u) (+ t1 u))
  (* (* t1 (/ v (+ t1 u))) (/ 1 (+ t1 u)))
  (* (* (neg t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))))
  (* (* (neg t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (sqrt 1) 1))
  (* (* (neg t1) (/ v (+ t1 u))) (/ (sqrt 1) 1))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (sqrt (+ t1 u))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 1))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 1))
  (* (* (neg t1) (/ v (+ t1 u))) 1)
  (* (* (neg t1) (/ v (+ t1 u))) 1)
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ (pow t1 3) (pow u 3))))
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (- (* t1 t1) (* u u))))
  (* (/ v (+ t1 u)) (/ 1 (+ t1 u)))
  (* (* (neg t1) (/ v (+ t1 u))) 1)
  (* (* (neg t1) v) (/ 1 (+ t1 u)))
  (neg 1)
  (neg (log (+ t1 u)))
  (- 0 (log (+ t1 u)))
  (- (log 1) (log (+ t1 u)))
  (log (/ 1 (+ t1 u)))
  (exp (/ 1 (+ t1 u)))
  (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))
  (cbrt (/ 1 (+ t1 u)))
  (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))
  (sqrt (/ 1 (+ t1 u)))
  (sqrt (/ 1 (+ t1 u)))
  (neg 1)
  (neg (+ t1 u))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt 1) (cbrt (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u)))
  (/ (cbrt 1) (sqrt (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ t1 u))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ t1 u))
  (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt 1) (cbrt (+ t1 u)))
  (/ (sqrt 1) (sqrt (+ t1 u)))
  (/ (sqrt 1) (sqrt (+ t1 u)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ t1 u))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 1)
  (/ 1 (+ t1 u))
  (/ 1 1)
  (/ 1 (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) 1)
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 1)
  (/ 1 1)
  (/ (+ t1 u) (cbrt 1))
  (/ (+ t1 u) (sqrt 1))
  (/ (+ t1 u) 1)
  (/ 1 (+ (pow t1 3) (pow u 3)))
  (/ 1 (- (* t1 t1) (* u u)))
  (- (log v) (log (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (neg v)
  (neg (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  (/ v 1)
  (/ v 1)
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ v (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
1.936 * * [simplify]: iteration  0 :  546  enodes  (cost  1033 )
1.948 * * [simplify]: iteration  1 :  3346  enodes  (cost  882 )
1.997 * * [simplify]: iteration  2 :  5001  enodes  (cost  847 )
2.002 * [simplify]: Simplified to:
  (* (neg t1) (/ v (+ t1 u)))
  (log (* (neg t1) (/ v (+ t1 u))))
  (log (* (neg t1) (/ v (+ t1 u))))
  (log (* (neg t1) (/ v (+ t1 u))))
  (exp (* (neg t1) (/ v (+ t1 u))))
  (pow (* (neg t1) (/ v (+ t1 u))) 3)
  (pow (* (neg t1) (/ v (+ t1 u))) 3)
  (* (cbrt (* (neg t1) (/ v (+ t1 u)))) (cbrt (* (neg t1) (/ v (+ t1 u)))))
  (cbrt (* (neg t1) (/ v (+ t1 u))))
  (pow (* (neg t1) (/ v (+ t1 u))) 3)
  (sqrt (* (neg t1) (/ v (+ t1 u))))
  (sqrt (* (neg t1) (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (sqrt (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (sqrt (/ v (+ t1 u))))
  (* (sqrt (neg t1)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (neg t1)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* t1 (/ v (+ t1 u)))
  (* (neg t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (neg t1) (sqrt (/ v (+ t1 u))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (neg (* t1 (* (cbrt v) (cbrt v))))
  (neg (* t1 (* (cbrt v) (cbrt v))))
  (* (neg t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (sqrt v) (sqrt (+ t1 u))))
  (neg (* t1 (sqrt v)))
  (neg (* t1 (sqrt v)))
  (/ (neg t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (sqrt (+ t1 u)))
  (neg t1)
  (neg t1)
  (neg t1)
  (* (neg t1) v)
  (* (neg t1) (/ v (+ (pow t1 3) (pow u 3))))
  (* (neg t1) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (neg t1)) (/ v (+ t1 u)))
  (* (sqrt (neg t1)) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (cbrt t1) (/ v (+ t1 u)))
  (* (sqrt t1) (/ v (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (neg (cbrt t1)) (/ v (+ t1 u)))
  (* (neg (sqrt t1)) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) v)
  (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u))
  (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (- (log (* (neg t1) (/ v (+ t1 u)))) (log (+ t1 u)))
  (pow (exp (neg t1)) (/ (/ v (+ t1 u)) (+ t1 u)))
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (* (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))))
  (cbrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (pow (/ (* (neg t1) (/ v (+ t1 u))) (+ t1 u)) 3)
  (sqrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (sqrt (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))
  (* (neg t1) v)
  (* (+ t1 u) (+ t1 u))
  (/ (* t1 (/ v (+ t1 u))) (+ t1 u))
  (* (* (neg t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))))
  (* (* (neg t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u))))
  (/ (* (neg t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* (neg t1) (/ v (+ t1 u))) (sqrt (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (/ (* (neg t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* (neg t1) (/ v (+ t1 u))) (sqrt (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (/ (* (neg t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* (neg t1) (/ v (+ t1 u))) (sqrt (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  (/ (* (neg t1) (/ v (+ t1 u))) (+ (pow t1 3) (pow u 3)))
  (/ (* (neg t1) (/ v (+ t1 u))) (- (* t1 t1) (* u u)))
  (/ (/ v (+ t1 u)) (+ t1 u))
  (* (neg t1) (/ v (+ t1 u)))
  (* (neg t1) (/ v (+ t1 u)))
  -1
  (log (/ 1 (+ t1 u)))
  (log (/ 1 (+ t1 u)))
  (log (/ 1 (+ t1 u)))
  (log (/ 1 (+ t1 u)))
  (exp (/ 1 (+ t1 u)))
  (/ 1 (pow (+ t1 u) 3))
  (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))
  (cbrt (/ 1 (+ t1 u)))
  (/ 1 (pow (+ t1 u) 3))
  (sqrt (/ 1 (+ t1 u)))
  (sqrt (/ 1 (+ t1 u)))
  -1
  (neg (+ t1 u))
  (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  1
  (/ 1 (+ t1 u))
  1
  (/ 1 (+ t1 u))
  (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  1
  (/ 1 (+ t1 u))
  1
  (/ 1 (+ t1 u))
  (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  1
  (/ 1 (+ t1 u))
  1
  (/ 1 (+ t1 u))
  (/ 1 (+ t1 u))
  (+ t1 u)
  (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  1
  1
  (+ t1 u)
  (+ t1 u)
  (+ t1 u)
  (/ 1 (+ (pow t1 3) (pow u 3)))
  (/ 1 (- (* t1 t1) (* u u)))
  (log (/ v (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (neg v)
  (neg (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  1
  (/ v (+ t1 u))
  1
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  v
  v
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ (/ v (+ t1 u)) (- t1 u))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
2.003 * * * [progress]: adding candidates to table
2.573 * * [progress]: iteration 4 / 4
2.573 * * * [progress]: picking best candidate
2.599 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (cbrt v) (cbrt (+ t1 u)))) (/ 1 (+ t1 u))))>
2.599 * * * [progress]: localizing error
2.617 * * * [progress]: generating rewritten candidates
2.617 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.635 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
2.638 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2)
2.641 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1)
2.647 * * * [progress]: generating series expansions
2.647 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.647 * [approximate]: Approximating (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in (t1 v u) around 0
2.653 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in v
2.654 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.656 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in v
2.658 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.660 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.664 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in v
2.666 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.671 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.672 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.683 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in v
2.684 * [taylor]: Taking taylor expansion of (* -1 (* t1 (pow (/ (pow v 2) (pow (+ t1 u) 2)) 1/3))) in u
2.688 * [approximate]: Approximating (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in (t1 v u) around 0
2.697 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in v
2.698 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.703 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in v
2.705 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.716 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.727 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in v
2.729 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.753 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.761 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3))) in u
2.762 * [approximate]: Approximating (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in (t1 v u) around 0
2.771 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in v
2.772 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.777 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in v
2.779 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.789 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.799 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in v
2.801 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.826 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.833 * [taylor]: Taking taylor expansion of (* (/ 1 t1) (pow (/ 1 (* (pow v 2) (pow (+ (/ 1 u) (/ 1 t1)) 2))) 1/3)) in u
2.834 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
2.834 * [approximate]: Approximating (pow (+ t1 u) 1/3) in (t1 u) around 0
2.834 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
2.836 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
2.842 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
2.845 * [approximate]: Approximating (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in (t1 u) around 0
2.849 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
2.851 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
2.860 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
2.882 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
2.906 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in (t1 u) around 0
2.914 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
2.918 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
2.932 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
2.963 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
2.992 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2)
2.992 * [approximate]: Approximating (pow (+ t1 u) 1/3) in (t1 u) around 0
2.993 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
2.995 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
3.001 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
3.004 * [approximate]: Approximating (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in (t1 u) around 0
3.008 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.010 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.019 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.041 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.059 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in (t1 u) around 0
3.072 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.091 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.122 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.145 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1)
3.145 * [approximate]: Approximating (pow (+ t1 u) 1/3) in (t1 u) around 0
3.145 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
3.147 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
3.159 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 1/3) in u
3.162 * [approximate]: Approximating (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in (t1 u) around 0
3.166 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.168 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.177 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.199 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 1/3) in u
3.217 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in (t1 u) around 0
3.225 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.229 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.248 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.278 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 u) (/ 1 t1)) 1/3)) in u
3.301 * * * [progress]: simplifying candidates
3.302 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (+ (log (neg t1)) (- (+ (log (cbrt v)) (log (cbrt v))) (+ (log (cbrt (+ t1 u))) (log (cbrt (+ t1 u))))))
  (+ (log (neg t1)) (- (+ (log (cbrt v)) (log (cbrt v))) (log (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (+ (log (neg t1)) (- (log (* (cbrt v) (cbrt v))) (+ (log (cbrt (+ t1 u))) (log (cbrt (+ t1 u))))))
  (+ (log (neg t1)) (- (log (* (cbrt v) (cbrt v))) (log (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (+ (log (neg t1)) (log (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (log (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (exp (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* v v) (* (+ t1 u) (+ t1 u))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* v v) (* (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* (* (* (cbrt v) (cbrt v)) (* (cbrt v) (cbrt v))) (* (cbrt v) (cbrt v))) (* (+ t1 u) (+ t1 u))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (/ (* (* (* (cbrt v) (cbrt v)) (* (cbrt v) (cbrt v))) (* (cbrt v) (cbrt v))) (* (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (* (neg t1) (neg t1)) (neg t1)) (* (* (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))) (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))))
  (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))) (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (sqrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (sqrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (sqrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (sqrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (/ (cbrt v) (cbrt (+ t1 u))))
  (* (sqrt (neg t1)) (/ (cbrt v) (cbrt (+ t1 u))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (* (cbrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (cbrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))))
  (* (neg t1) (sqrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (neg t1) (/ (cbrt v) (cbrt (+ t1 u))))
  (* (neg t1) 1)
  (* (neg t1) (* (cbrt v) (cbrt v)))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (- (* t1 t1) (* u u))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (- (* t1 t1) (* u u))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (- (* t1 t1) (* u u))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ t1 u)))))
  (* (cbrt (neg t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (sqrt (neg t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (cbrt t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (sqrt t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg (cbrt t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg (sqrt t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (* (cbrt v) (cbrt v)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (- (* 2/3 (* (pow t1 2) (exp (* 1/3 (- (* 2 (log v)) (* 5 (log u))))))) (+ (* t1 (exp (* 1/3 (- (* 2 (log v)) (* 2 (log u)))))) (* 5/9 (* (pow t1 3) (exp (* 1/3 (- (* 2 (log v)) (* 8 (log u)))))))))
  (* -1 (* t1 (exp (* 1/3 (- (* 2 (log (/ 1 t1))) (* 2 (log (/ 1 v))))))))
  (* -1 (* t1 (exp (* 1/3 (- (* 2 (log (/ -1 t1))) (* 2 (log (/ -1 v))))))))
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
3.309 * * [simplify]: iteration  0 :  574  enodes  (cost  939 )
3.318 * * [simplify]: iteration  1 :  2593  enodes  (cost  833 )
3.363 * * [simplify]: iteration  2 :  5001  enodes  (cost  809 )
3.367 * [simplify]: Simplified to:
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (- (+ (log (neg t1)) (* 2 (log (cbrt v)))) (* 2 (log (cbrt (+ t1 u)))))
  (exp (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (* (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))) (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))))
  (cbrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (neg (* (/ v (+ t1 u)) (/ v (+ t1 u)))) (pow t1 3))
  (sqrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (sqrt (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (sqrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (sqrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (sqrt (neg t1)) (/ (cbrt v) (cbrt (+ t1 u))))
  (* (sqrt (neg t1)) (/ (cbrt v) (cbrt (+ t1 u))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (* (cbrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (cbrt (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))))
  (* (neg t1) (fabs (/ (cbrt v) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (cbrt v) (cbrt (+ t1 u))))
  (neg t1)
  (* (neg t1) (* (cbrt v) (cbrt v)))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ (pow t1 3) (pow u 3))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (- (* t1 t1) (* u u))))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ (pow t1 3) (pow u 3))) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- (* t1 t1) (* u u))) (cbrt (+ t1 u)))))
  (* (cbrt (neg t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (sqrt (neg t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (cbrt t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (sqrt t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg (cbrt t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg (sqrt t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (neg t1) (* (cbrt v) (cbrt v)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (+ t1 u)
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (+ t1 u)
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (log (cbrt (+ t1 u)))
  (exp (cbrt (+ t1 u)))
  (cbrt (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt (sqrt (+ t1 u)))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt 1)
  (cbrt (+ t1 u))
  (cbrt (+ (pow t1 3) (pow u 3)))
  (cbrt (+ (* t1 t1) (- (* u u) (* t1 u))))
  (cbrt (- (* t1 t1) (* u u)))
  (cbrt (- t1 u))
  (* (cbrt (cbrt (+ t1 u))) (cbrt (cbrt (+ t1 u))))
  (cbrt (cbrt (+ t1 u)))
  (+ t1 u)
  (sqrt (cbrt (+ t1 u)))
  (sqrt (cbrt (+ t1 u)))
  (- (* 2/3 (* (pow t1 2) (exp (* 1/3 (- (* 2 (log v)) (* 5 (log u))))))) (+ (* t1 (exp (* 1/3 (- (* 2 (log v)) (* 2 (log u)))))) (* 5/9 (* (pow t1 3) (exp (* 1/3 (- (* 2 (log v)) (* 8 (log u)))))))))
  (* (neg (pow (exp (* 2 (- (log (/ 1 t1)) (log (/ 1 v))))) 1/3)) t1)
  (* (neg (pow (exp (* 2 (- (log (/ -1 t1)) (log (/ -1 v))))) 1/3)) t1)
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
  (- (+ (pow u 1/3) (* 1/3 (* t1 (pow (/ 1 (pow u 2)) 1/3)))) (* 1/9 (* (pow t1 2) (pow (/ 1 (pow u 5)) 1/3))))
  (pow (/ 1 t1) -1/3)
  (* (pow (* -1 t1) 1/3) (cbrt -1))
3.368 * * * [progress]: adding candidates to table
4.211 * [progress]: [Phase 3 of 3] Extracting.
4.211 * * [regime]: Finding splitpoints for: (#<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (+ (* t1 (+ t1 u)) (* u (+ t1 u)))))> #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))))> #<alt (λ (u v t1) (* (cbrt (pow (* (neg t1) (/ v (+ t1 u))) 3)) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (/ -1 (sqrt (+ t1 u))) (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))))> #<alt (λ (u v t1) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (cbrt v) (cbrt (+ t1 u)))) (/ 1 (+ t1 u))))>)
4.213 * * * [regime-changes]: Trying 3 branch expressions: (t1 v u)
4.214 * * * * [regimes]: Trying to branch on t1 from (#<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (+ (* t1 (+ t1 u)) (* u (+ t1 u)))))> #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))))> #<alt (λ (u v t1) (* (cbrt (pow (* (neg t1) (/ v (+ t1 u))) 3)) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (/ -1 (sqrt (+ t1 u))) (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))))> #<alt (λ (u v t1) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (cbrt v) (cbrt (+ t1 u)))) (/ 1 (+ t1 u))))>)
4.287 * * * * [regimes]: Trying to branch on v from (#<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (+ (* t1 (+ t1 u)) (* u (+ t1 u)))))> #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))))> #<alt (λ (u v t1) (* (cbrt (pow (* (neg t1) (/ v (+ t1 u))) 3)) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (/ -1 (sqrt (+ t1 u))) (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))))> #<alt (λ (u v t1) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (cbrt v) (cbrt (+ t1 u)))) (/ 1 (+ t1 u))))>)
4.356 * * * * [regimes]: Trying to branch on u from (#<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (+ (* t1 (+ t1 u)) (* u (+ t1 u)))))> #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))) (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))))> #<alt (λ (u v t1) (* (cbrt (pow (* (neg t1) (/ v (+ t1 u))) 3)) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (/ -1 (sqrt (+ t1 u))) (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))))> #<alt (λ (u v t1) (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))> #<alt (λ (u v t1) (* (* (* (neg t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (/ (cbrt v) (cbrt (+ t1 u)))) (/ 1 (+ t1 u))))>)
4.424 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
4.424 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))
4.425 * * [simplify]: iteration  0 :  17  enodes  (cost  7 )
4.425 * * [simplify]: iteration  1 :  25  enodes  (cost  7 )
4.425 * * [simplify]: iteration  2 :  31  enodes  (cost  7 )
4.426 * * [simplify]: iteration  3 :  33  enodes  (cost  7 )
4.426 * * [simplify]: iteration  4 :  33  enodes  (cost  7 )
4.426 * [simplify]: Simplified to:
  (* (* (neg t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))