2.610 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.290 * * * [progress]: [2/2] Setting up program.
0.293 * [progress]: [Phase 2 of 3] Improving.
0.293 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
0.340 * * [simplify]: iteration  0 :  5073  enodes  (cost  12 )
0.340 * [simplify]: Simplified to:
   (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
0.345 * * [progress]: iteration 1 / 4
0.345 * * * [progress]: picking best candidate
0.350 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))>
0.350 * * * [progress]: localizing error
0.360 * * * [progress]: generating rewritten candidates
0.361 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.371 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.381 * * * [progress]: generating series expansions
0.381 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.381 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.381 * [taylor]: Taking taylor expansion of -1 in u
0.381 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.381 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.381 * [taylor]: Taking taylor expansion of t1 in u
0.381 * [taylor]: Taking taylor expansion of v in u
0.382 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.382 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.382 * [taylor]: Taking taylor expansion of t1 in u
0.382 * [taylor]: Taking taylor expansion of u in u
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.382 * [taylor]: Taking taylor expansion of -1 in v
0.382 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.382 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.382 * [taylor]: Taking taylor expansion of t1 in v
0.382 * [taylor]: Taking taylor expansion of v in v
0.382 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.382 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.382 * [taylor]: Taking taylor expansion of t1 in v
0.382 * [taylor]: Taking taylor expansion of u in v
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.382 * [taylor]: Taking taylor expansion of -1 in t1
0.382 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.382 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.382 * [taylor]: Taking taylor expansion of t1 in t1
0.382 * [taylor]: Taking taylor expansion of v in t1
0.382 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.382 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.382 * [taylor]: Taking taylor expansion of t1 in t1
0.382 * [taylor]: Taking taylor expansion of u in t1
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.382 * [taylor]: Taking taylor expansion of -1 in t1
0.382 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.382 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.382 * [taylor]: Taking taylor expansion of t1 in t1
0.382 * [taylor]: Taking taylor expansion of v in t1
0.382 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.382 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.382 * [taylor]: Taking taylor expansion of t1 in t1
0.382 * [taylor]: Taking taylor expansion of u in t1
0.383 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v
0.383 * [taylor]: Taking taylor expansion of -1 in v
0.383 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
0.383 * [taylor]: Taking taylor expansion of v in v
0.383 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.383 * [taylor]: Taking taylor expansion of u in v
0.383 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.383 * [taylor]: Taking taylor expansion of -1 in u
0.383 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.383 * [taylor]: Taking taylor expansion of u in u
0.384 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v
0.384 * [taylor]: Taking taylor expansion of 2 in v
0.384 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
0.384 * [taylor]: Taking taylor expansion of v in v
0.384 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.384 * [taylor]: Taking taylor expansion of u in v
0.384 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u
0.384 * [taylor]: Taking taylor expansion of 2 in u
0.384 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.384 * [taylor]: Taking taylor expansion of u in u
0.385 * [taylor]: Taking taylor expansion of 0 in u
0.386 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in v
0.386 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v
0.386 * [taylor]: Taking taylor expansion of 3 in v
0.386 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v
0.386 * [taylor]: Taking taylor expansion of v in v
0.386 * [taylor]: Taking taylor expansion of (pow u 4) in v
0.386 * [taylor]: Taking taylor expansion of u in v
0.386 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 4)))) in u
0.386 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u
0.386 * [taylor]: Taking taylor expansion of 3 in u
0.386 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u
0.386 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.386 * [taylor]: Taking taylor expansion of u in u
0.387 * [taylor]: Taking taylor expansion of 0 in u
0.387 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.387 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.387 * [taylor]: Taking taylor expansion of -1 in u
0.387 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.387 * [taylor]: Taking taylor expansion of t1 in u
0.387 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.387 * [taylor]: Taking taylor expansion of v in u
0.387 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.387 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.387 * [taylor]: Taking taylor expansion of u in u
0.387 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.387 * [taylor]: Taking taylor expansion of t1 in u
0.387 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.387 * [taylor]: Taking taylor expansion of -1 in v
0.387 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.387 * [taylor]: Taking taylor expansion of t1 in v
0.387 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.387 * [taylor]: Taking taylor expansion of v in v
0.387 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.387 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.388 * [taylor]: Taking taylor expansion of u in v
0.388 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.388 * [taylor]: Taking taylor expansion of t1 in v
0.388 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.389 * [taylor]: Taking taylor expansion of -1 in t1
0.389 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.389 * [taylor]: Taking taylor expansion of t1 in t1
0.389 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.389 * [taylor]: Taking taylor expansion of v in t1
0.389 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.389 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.389 * [taylor]: Taking taylor expansion of u in t1
0.389 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.389 * [taylor]: Taking taylor expansion of t1 in t1
0.389 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.389 * [taylor]: Taking taylor expansion of -1 in t1
0.389 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.389 * [taylor]: Taking taylor expansion of t1 in t1
0.389 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.389 * [taylor]: Taking taylor expansion of v in t1
0.389 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.389 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.389 * [taylor]: Taking taylor expansion of u in t1
0.389 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.389 * [taylor]: Taking taylor expansion of t1 in t1
0.389 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.390 * [taylor]: Taking taylor expansion of -1 in v
0.390 * [taylor]: Taking taylor expansion of v in v
0.390 * [taylor]: Taking taylor expansion of -1 in u
0.390 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.390 * [taylor]: Taking taylor expansion of 2 in v
0.390 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.390 * [taylor]: Taking taylor expansion of (* v u) in v
0.390 * [taylor]: Taking taylor expansion of v in v
0.390 * [taylor]: Taking taylor expansion of u in v
0.391 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.391 * [taylor]: Taking taylor expansion of 2 in u
0.391 * [taylor]: Taking taylor expansion of u in u
0.391 * [taylor]: Taking taylor expansion of 0 in u
0.391 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.391 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.391 * [taylor]: Taking taylor expansion of 3 in v
0.391 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.392 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.392 * [taylor]: Taking taylor expansion of v in v
0.392 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.392 * [taylor]: Taking taylor expansion of u in v
0.392 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.392 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.392 * [taylor]: Taking taylor expansion of 3 in u
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.392 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.392 * [taylor]: Taking taylor expansion of u in u
0.392 * [taylor]: Taking taylor expansion of 0 in u
0.393 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.393 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.393 * [taylor]: Taking taylor expansion of -1 in u
0.393 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.393 * [taylor]: Taking taylor expansion of t1 in u
0.393 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.393 * [taylor]: Taking taylor expansion of v in u
0.393 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.393 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.393 * [taylor]: Taking taylor expansion of u in u
0.393 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.393 * [taylor]: Taking taylor expansion of t1 in u
0.393 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.393 * [taylor]: Taking taylor expansion of -1 in v
0.393 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.393 * [taylor]: Taking taylor expansion of t1 in v
0.393 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.393 * [taylor]: Taking taylor expansion of v in v
0.393 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.393 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.393 * [taylor]: Taking taylor expansion of u in v
0.393 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.393 * [taylor]: Taking taylor expansion of t1 in v
0.394 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.394 * [taylor]: Taking taylor expansion of -1 in t1
0.394 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.394 * [taylor]: Taking taylor expansion of t1 in t1
0.394 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.394 * [taylor]: Taking taylor expansion of v in t1
0.394 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.394 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.394 * [taylor]: Taking taylor expansion of u in t1
0.394 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.394 * [taylor]: Taking taylor expansion of t1 in t1
0.395 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.395 * [taylor]: Taking taylor expansion of -1 in t1
0.395 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.395 * [taylor]: Taking taylor expansion of t1 in t1
0.395 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.395 * [taylor]: Taking taylor expansion of v in t1
0.395 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.395 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.395 * [taylor]: Taking taylor expansion of u in t1
0.395 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.395 * [taylor]: Taking taylor expansion of t1 in t1
0.395 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.395 * [taylor]: Taking taylor expansion of -1 in v
0.395 * [taylor]: Taking taylor expansion of v in v
0.395 * [taylor]: Taking taylor expansion of -1 in u
0.396 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.396 * [taylor]: Taking taylor expansion of 2 in v
0.396 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.396 * [taylor]: Taking taylor expansion of (* v u) in v
0.396 * [taylor]: Taking taylor expansion of v in v
0.396 * [taylor]: Taking taylor expansion of u in v
0.396 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.396 * [taylor]: Taking taylor expansion of 2 in u
0.396 * [taylor]: Taking taylor expansion of u in u
0.396 * [taylor]: Taking taylor expansion of 0 in u
0.397 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.397 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.397 * [taylor]: Taking taylor expansion of 3 in v
0.397 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.397 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.397 * [taylor]: Taking taylor expansion of v in v
0.397 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.397 * [taylor]: Taking taylor expansion of u in v
0.397 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.397 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.397 * [taylor]: Taking taylor expansion of 3 in u
0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.397 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.397 * [taylor]: Taking taylor expansion of u in u
0.398 * [taylor]: Taking taylor expansion of 0 in u
0.398 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.398 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0
0.398 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.398 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.398 * [taylor]: Taking taylor expansion of t1 in u
0.398 * [taylor]: Taking taylor expansion of u in u
0.398 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.398 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.398 * [taylor]: Taking taylor expansion of t1 in t1
0.398 * [taylor]: Taking taylor expansion of u in t1
0.398 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.398 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.398 * [taylor]: Taking taylor expansion of t1 in t1
0.398 * [taylor]: Taking taylor expansion of u in t1
0.398 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.398 * [taylor]: Taking taylor expansion of u in u
0.398 * [taylor]: Taking taylor expansion of (* 2 u) in u
0.398 * [taylor]: Taking taylor expansion of 2 in u
0.398 * [taylor]: Taking taylor expansion of u in u
0.398 * [taylor]: Taking taylor expansion of 1 in u
0.399 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
0.399 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.399 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.399 * [taylor]: Taking taylor expansion of u in u
0.399 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.399 * [taylor]: Taking taylor expansion of t1 in u
0.399 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.399 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.399 * [taylor]: Taking taylor expansion of u in t1
0.399 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.399 * [taylor]: Taking taylor expansion of t1 in t1
0.399 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.399 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.399 * [taylor]: Taking taylor expansion of u in t1
0.399 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.399 * [taylor]: Taking taylor expansion of t1 in t1
0.399 * [taylor]: Taking taylor expansion of 1 in u
0.399 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.399 * [taylor]: Taking taylor expansion of 2 in u
0.399 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.399 * [taylor]: Taking taylor expansion of u in u
0.400 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.400 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.400 * [taylor]: Taking taylor expansion of u in u
0.400 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
0.400 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.400 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.400 * [taylor]: Taking taylor expansion of u in u
0.400 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.400 * [taylor]: Taking taylor expansion of t1 in u
0.400 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.400 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.400 * [taylor]: Taking taylor expansion of u in t1
0.400 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.400 * [taylor]: Taking taylor expansion of t1 in t1
0.400 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.401 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.401 * [taylor]: Taking taylor expansion of u in t1
0.401 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.401 * [taylor]: Taking taylor expansion of t1 in t1
0.401 * [taylor]: Taking taylor expansion of 1 in u
0.401 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.401 * [taylor]: Taking taylor expansion of 2 in u
0.401 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.401 * [taylor]: Taking taylor expansion of u in u
0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.401 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.401 * [taylor]: Taking taylor expansion of u in u
0.401 * * * [progress]: simplifying candidates
0.402 * [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.444 * * [simplify]: iteration  0 :  4978  enodes  (cost  774 )
0.445 * * [simplify]: iteration  1 :  4978  enodes  (cost  774 )
0.448 * [simplify]: Simplified to:
   (- (log (* t1 (neg v))) (* (log (+ t1 u)) 2))
  (- (log (* t1 (neg v))) (* (log (+ t1 u)) 2))
  (- (log (* t1 (neg v))) (* (log (+ t1 u)) 2))
  (- (log (* t1 (neg v))) (* (log (+ t1 u)) 2))
  (- (log (* t1 (neg v))) (* (log (+ t1 u)) 2))
  (pow (exp (/ (neg t1) (pow (sqrt (+ t1 u)) 4))) v)
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (* (cbrt (* (/ (neg t1) (pow (sqrt (+ t1 u)) 4)) v)) (cbrt (* (/ (neg t1) (pow (sqrt (+ t1 u)) 4)) v)))
  (cbrt (* (/ (neg t1) (pow (sqrt (+ t1 u)) 4)) v))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (sqrt (* (/ (neg t1) (pow (sqrt (+ t1 u)) 4)) v))
  (sqrt (* (/ (neg t1) (pow (sqrt (+ t1 u)) 4)) v))
  (* t1 v)
  (neg (pow (sqrt (+ t1 u)) 4))
  (/ (neg t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (pow (sqrt (+ t1 u)) 4))
  (/ (pow (sqrt (+ t1 u)) 4) (* t1 (neg v)))
  (* (/ t1 (pow (sqrt (+ t1 u)) 4)) v)
  (* t1 (neg (/ v (+ t1 u))))
  (/ (pow (sqrt (+ t1 u)) 4) v)
  (* (/ (neg t1) (+ (pow t1 3) (pow u 3))) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))))
  (* (/ (neg t1) (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))))
  (* (/ (neg t1) (* (pow (sqrt (+ t1 u)) 4) (* (- t1 u) (- t1 u)))) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (* (pow (sqrt (+ t1 u)) 4) (- t1 u))) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (* (pow (sqrt (+ t1 u)) 4) (- t1 u))) v)
  2
  (pow (sqrt (+ t1 u)) 4)
  2
  (* (log (+ t1 u)) 2)
  (* (log (+ t1 u)) 2)
  (exp (pow (sqrt (+ t1 u)) 4))
  (pow (+ t1 u) 6)
  (* (cbrt (pow (sqrt (+ t1 u)) 4)) (cbrt (pow (sqrt (+ t1 u)) 4)))
  (cbrt (pow (sqrt (+ t1 u)) 4))
  (pow (+ t1 u) 6)
  (fabs (+ t1 u))
  (fabs (+ t1 u))
  (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* t1 t1) (* u (- u t1))) (+ (* t1 t1) (* u (- u t1))))
  (* (+ t1 u) (* (- t1 u) (+ (pow t1 3) (pow u 3))))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (+ t1 u) (* (- t1 u) (+ (pow t1 3) (pow u 3))))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (pow (sqrt (+ t1 u)) 4) (* (- t1 u) (- t1 u)))
  (* (- t1 u) (- t1 u))
  (pow (cbrt (+ t1 u)) 4)
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (+ t1 u)
  (+ t1 u)
  1
  (pow (sqrt (+ t1 u)) 4)
  1
  (pow (sqrt (+ t1 u)) 4)
  1
  (pow (sqrt (+ t1 u)) 4)
  1
  (pow (sqrt (+ t1 u)) 4)
  (+ t1 u)
  (+ t1 u)
  2
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (pow (cbrt (+ t1 u)) 5)
  (pow (sqrt (+ t1 u)) 3)
  (+ t1 u)
  (+ t1 u)
  (pow (cbrt (+ t1 u)) 4)
  (pow (sqrt (+ t1 u)) 3)
  (pow (sqrt (+ t1 u)) 4)
  (pow (sqrt (+ t1 u)) 4)
  (* (+ t1 u) (+ (pow t1 3) (pow u 3)))
  (* (pow (sqrt (+ t1 u)) 4) (- t1 u))
  (* (+ t1 u) (+ (pow t1 3) (pow u 3)))
  (* (pow (sqrt (+ t1 u)) 4) (- t1 u))
  0
  0
  0
  (+ (* t1 t1) (* u (+ u (* t1 2))))
  (+ (* t1 t1) (* u (+ u (* t1 2))))
  (+ (* t1 t1) (* u (+ u (* t1 2))))
0.448 * * * [progress]: adding candidates to table
0.517 * * [progress]: iteration 2 / 4
0.517 * * * [progress]: picking best candidate
0.539 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))>
0.540 * * * [progress]: localizing error
0.547 * * * [progress]: generating rewritten candidates
0.547 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.560 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.570 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1)
0.580 * * * [progress]: generating series expansions
0.580 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.580 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0
0.580 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
0.580 * [taylor]: Taking taylor expansion of -1 in u
0.580 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u
0.580 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.580 * [taylor]: Taking taylor expansion of t1 in u
0.580 * [taylor]: Taking taylor expansion of v in u
0.580 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.580 * [taylor]: Taking taylor expansion of t1 in u
0.580 * [taylor]: Taking taylor expansion of u in u
0.580 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
0.580 * [taylor]: Taking taylor expansion of -1 in v
0.580 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v
0.580 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.580 * [taylor]: Taking taylor expansion of t1 in v
0.580 * [taylor]: Taking taylor expansion of v in v
0.580 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.580 * [taylor]: Taking taylor expansion of t1 in v
0.580 * [taylor]: Taking taylor expansion of u in v
0.581 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
0.581 * [taylor]: Taking taylor expansion of -1 in t1
0.581 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
0.581 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.581 * [taylor]: Taking taylor expansion of t1 in t1
0.581 * [taylor]: Taking taylor expansion of v in t1
0.581 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.581 * [taylor]: Taking taylor expansion of t1 in t1
0.581 * [taylor]: Taking taylor expansion of u in t1
0.581 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
0.581 * [taylor]: Taking taylor expansion of -1 in t1
0.581 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
0.581 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.581 * [taylor]: Taking taylor expansion of t1 in t1
0.581 * [taylor]: Taking taylor expansion of v in t1
0.581 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.581 * [taylor]: Taking taylor expansion of t1 in t1
0.581 * [taylor]: Taking taylor expansion of u in t1
0.581 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v
0.581 * [taylor]: Taking taylor expansion of -1 in v
0.581 * [taylor]: Taking taylor expansion of (/ v u) in v
0.581 * [taylor]: Taking taylor expansion of v in v
0.581 * [taylor]: Taking taylor expansion of u in v
0.581 * [taylor]: Taking taylor expansion of (/ -1 u) in u
0.581 * [taylor]: Taking taylor expansion of -1 in u
0.581 * [taylor]: Taking taylor expansion of u in u
0.582 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
0.582 * [taylor]: Taking taylor expansion of v in v
0.582 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.582 * [taylor]: Taking taylor expansion of u in v
0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.582 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.582 * [taylor]: Taking taylor expansion of u in u
0.582 * [taylor]: Taking taylor expansion of 0 in u
0.583 * [taylor]: Taking taylor expansion of (neg (/ v (pow u 3))) in v
0.583 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
0.583 * [taylor]: Taking taylor expansion of v in v
0.583 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.583 * [taylor]: Taking taylor expansion of u in v
0.583 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 3))) in u
0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
0.583 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.583 * [taylor]: Taking taylor expansion of u in u
0.583 * [taylor]: Taking taylor expansion of 0 in u
0.583 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0
0.584 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
0.584 * [taylor]: Taking taylor expansion of -1 in u
0.584 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.584 * [taylor]: Taking taylor expansion of t1 in u
0.584 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.584 * [taylor]: Taking taylor expansion of v in u
0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.584 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.584 * [taylor]: Taking taylor expansion of u in u
0.584 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.584 * [taylor]: Taking taylor expansion of t1 in u
0.584 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
0.584 * [taylor]: Taking taylor expansion of -1 in v
0.584 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.584 * [taylor]: Taking taylor expansion of t1 in v
0.584 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.584 * [taylor]: Taking taylor expansion of v in v
0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.584 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.584 * [taylor]: Taking taylor expansion of u in v
0.584 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.584 * [taylor]: Taking taylor expansion of t1 in v
0.584 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
0.584 * [taylor]: Taking taylor expansion of -1 in t1
0.584 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.584 * [taylor]: Taking taylor expansion of t1 in t1
0.584 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.584 * [taylor]: Taking taylor expansion of v in t1
0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.584 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.585 * [taylor]: Taking taylor expansion of u in t1
0.585 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.585 * [taylor]: Taking taylor expansion of t1 in t1
0.585 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
0.585 * [taylor]: Taking taylor expansion of -1 in t1
0.585 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.585 * [taylor]: Taking taylor expansion of t1 in t1
0.585 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.585 * [taylor]: Taking taylor expansion of v in t1
0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.585 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.585 * [taylor]: Taking taylor expansion of u in t1
0.585 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.585 * [taylor]: Taking taylor expansion of t1 in t1
0.585 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.585 * [taylor]: Taking taylor expansion of -1 in v
0.585 * [taylor]: Taking taylor expansion of v in v
0.585 * [taylor]: Taking taylor expansion of -1 in u
0.585 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.586 * [taylor]: Taking taylor expansion of (* v u) in v
0.586 * [taylor]: Taking taylor expansion of v in v
0.586 * [taylor]: Taking taylor expansion of u in v
0.586 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.586 * [taylor]: Taking taylor expansion of u in u
0.586 * [taylor]: Taking taylor expansion of 0 in u
0.586 * [taylor]: Taking taylor expansion of (neg (/ 1 (* v (pow u 2)))) in v
0.586 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.586 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.586 * [taylor]: Taking taylor expansion of v in v
0.586 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.586 * [taylor]: Taking taylor expansion of u in v
0.587 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.587 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.587 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.587 * [taylor]: Taking taylor expansion of u in u
0.587 * [taylor]: Taking taylor expansion of 0 in u
0.587 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
0.587 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.587 * [taylor]: Taking taylor expansion of t1 in u
0.587 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.587 * [taylor]: Taking taylor expansion of v in u
0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.587 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.587 * [taylor]: Taking taylor expansion of u in u
0.587 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.587 * [taylor]: Taking taylor expansion of t1 in u
0.587 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
0.587 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.587 * [taylor]: Taking taylor expansion of t1 in v
0.587 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.587 * [taylor]: Taking taylor expansion of v in v
0.587 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.587 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.587 * [taylor]: Taking taylor expansion of u in v
0.587 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.587 * [taylor]: Taking taylor expansion of t1 in v
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
0.588 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.588 * [taylor]: Taking taylor expansion of t1 in t1
0.588 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.588 * [taylor]: Taking taylor expansion of v in t1
0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.588 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.588 * [taylor]: Taking taylor expansion of u in t1
0.588 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.588 * [taylor]: Taking taylor expansion of t1 in t1
0.588 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
0.588 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.588 * [taylor]: Taking taylor expansion of t1 in t1
0.588 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.588 * [taylor]: Taking taylor expansion of v in t1
0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.588 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.588 * [taylor]: Taking taylor expansion of u in t1
0.588 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.588 * [taylor]: Taking taylor expansion of t1 in t1
0.589 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.589 * [taylor]: Taking taylor expansion of v in v
0.589 * [taylor]: Taking taylor expansion of 1 in u
0.589 * [taylor]: Taking taylor expansion of (neg (/ 1 (* v u))) in v
0.589 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.589 * [taylor]: Taking taylor expansion of (* v u) in v
0.589 * [taylor]: Taking taylor expansion of v in v
0.589 * [taylor]: Taking taylor expansion of u in v
0.589 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.589 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.589 * [taylor]: Taking taylor expansion of u in u
0.589 * [taylor]: Taking taylor expansion of 0 in u
0.590 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.590 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.590 * [taylor]: Taking taylor expansion of v in v
0.590 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.590 * [taylor]: Taking taylor expansion of u in v
0.590 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.590 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.590 * [taylor]: Taking taylor expansion of u in u
0.590 * [taylor]: Taking taylor expansion of 0 in u
0.590 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.590 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
0.590 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.590 * [taylor]: Taking taylor expansion of -1 in u
0.590 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.591 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.591 * [taylor]: Taking taylor expansion of t1 in u
0.591 * [taylor]: Taking taylor expansion of v in u
0.591 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.591 * [taylor]: Taking taylor expansion of t1 in u
0.591 * [taylor]: Taking taylor expansion of u in u
0.591 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.591 * [taylor]: Taking taylor expansion of -1 in v
0.591 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.591 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.591 * [taylor]: Taking taylor expansion of t1 in v
0.591 * [taylor]: Taking taylor expansion of v in v
0.591 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.591 * [taylor]: Taking taylor expansion of t1 in v
0.591 * [taylor]: Taking taylor expansion of u in v
0.591 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.591 * [taylor]: Taking taylor expansion of -1 in t1
0.591 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.591 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of v in t1
0.591 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of u in t1
0.591 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.591 * [taylor]: Taking taylor expansion of -1 in t1
0.591 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.591 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of v in t1
0.591 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of u in t1
0.592 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v
0.592 * [taylor]: Taking taylor expansion of -1 in v
0.592 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
0.592 * [taylor]: Taking taylor expansion of v in v
0.592 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.592 * [taylor]: Taking taylor expansion of u in v
0.592 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.592 * [taylor]: Taking taylor expansion of -1 in u
0.592 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.592 * [taylor]: Taking taylor expansion of u in u
0.593 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v
0.593 * [taylor]: Taking taylor expansion of 2 in v
0.593 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
0.593 * [taylor]: Taking taylor expansion of v in v
0.593 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.593 * [taylor]: Taking taylor expansion of u in v
0.593 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u
0.593 * [taylor]: Taking taylor expansion of 2 in u
0.593 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.593 * [taylor]: Taking taylor expansion of u in u
0.594 * [taylor]: Taking taylor expansion of 0 in u
0.594 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in v
0.594 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v
0.594 * [taylor]: Taking taylor expansion of 3 in v
0.594 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v
0.594 * [taylor]: Taking taylor expansion of v in v
0.594 * [taylor]: Taking taylor expansion of (pow u 4) in v
0.594 * [taylor]: Taking taylor expansion of u in v
0.595 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 4)))) in u
0.595 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u
0.595 * [taylor]: Taking taylor expansion of 3 in u
0.595 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u
0.595 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.595 * [taylor]: Taking taylor expansion of u in u
0.596 * [taylor]: Taking taylor expansion of 0 in u
0.596 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.596 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.596 * [taylor]: Taking taylor expansion of -1 in u
0.596 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.596 * [taylor]: Taking taylor expansion of t1 in u
0.596 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.596 * [taylor]: Taking taylor expansion of v in u
0.596 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.596 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.596 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.596 * [taylor]: Taking taylor expansion of u in u
0.596 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.596 * [taylor]: Taking taylor expansion of t1 in u
0.597 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.597 * [taylor]: Taking taylor expansion of -1 in v
0.597 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.597 * [taylor]: Taking taylor expansion of t1 in v
0.597 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.597 * [taylor]: Taking taylor expansion of v in v
0.597 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.597 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.597 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.597 * [taylor]: Taking taylor expansion of u in v
0.597 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.597 * [taylor]: Taking taylor expansion of t1 in v
0.598 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.598 * [taylor]: Taking taylor expansion of -1 in t1
0.598 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.598 * [taylor]: Taking taylor expansion of t1 in t1
0.598 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.598 * [taylor]: Taking taylor expansion of v in t1
0.598 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.598 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.598 * [taylor]: Taking taylor expansion of u in t1
0.598 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.598 * [taylor]: Taking taylor expansion of t1 in t1
0.598 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.598 * [taylor]: Taking taylor expansion of -1 in t1
0.598 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.598 * [taylor]: Taking taylor expansion of t1 in t1
0.598 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.598 * [taylor]: Taking taylor expansion of v in t1
0.598 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.598 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.598 * [taylor]: Taking taylor expansion of u in t1
0.598 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.598 * [taylor]: Taking taylor expansion of t1 in t1
0.599 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.599 * [taylor]: Taking taylor expansion of -1 in v
0.599 * [taylor]: Taking taylor expansion of v in v
0.599 * [taylor]: Taking taylor expansion of -1 in u
0.599 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.599 * [taylor]: Taking taylor expansion of 2 in v
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.599 * [taylor]: Taking taylor expansion of (* v u) in v
0.599 * [taylor]: Taking taylor expansion of v in v
0.599 * [taylor]: Taking taylor expansion of u in v
0.599 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.599 * [taylor]: Taking taylor expansion of 2 in u
0.599 * [taylor]: Taking taylor expansion of u in u
0.600 * [taylor]: Taking taylor expansion of 0 in u
0.600 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.600 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.600 * [taylor]: Taking taylor expansion of 3 in v
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.600 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.600 * [taylor]: Taking taylor expansion of v in v
0.600 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.600 * [taylor]: Taking taylor expansion of u in v
0.601 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.601 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.601 * [taylor]: Taking taylor expansion of 3 in u
0.601 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.601 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.601 * [taylor]: Taking taylor expansion of u in u
0.601 * [taylor]: Taking taylor expansion of 0 in u
0.602 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.602 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.602 * [taylor]: Taking taylor expansion of -1 in u
0.602 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.602 * [taylor]: Taking taylor expansion of t1 in u
0.602 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.602 * [taylor]: Taking taylor expansion of v in u
0.602 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.602 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.602 * [taylor]: Taking taylor expansion of u in u
0.602 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.602 * [taylor]: Taking taylor expansion of t1 in u
0.602 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.602 * [taylor]: Taking taylor expansion of -1 in v
0.602 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.602 * [taylor]: Taking taylor expansion of t1 in v
0.602 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.602 * [taylor]: Taking taylor expansion of v in v
0.602 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.602 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.602 * [taylor]: Taking taylor expansion of u in v
0.602 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.602 * [taylor]: Taking taylor expansion of t1 in v
0.603 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.603 * [taylor]: Taking taylor expansion of -1 in t1
0.603 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.603 * [taylor]: Taking taylor expansion of t1 in t1
0.603 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.603 * [taylor]: Taking taylor expansion of v in t1
0.603 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.603 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.603 * [taylor]: Taking taylor expansion of u in t1
0.603 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.603 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.604 * [taylor]: Taking taylor expansion of -1 in t1
0.604 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.604 * [taylor]: Taking taylor expansion of v in t1
0.604 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.604 * [taylor]: Taking taylor expansion of u in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.604 * [taylor]: Taking taylor expansion of -1 in v
0.604 * [taylor]: Taking taylor expansion of v in v
0.604 * [taylor]: Taking taylor expansion of -1 in u
0.605 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.605 * [taylor]: Taking taylor expansion of 2 in v
0.605 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.605 * [taylor]: Taking taylor expansion of (* v u) in v
0.605 * [taylor]: Taking taylor expansion of v in v
0.605 * [taylor]: Taking taylor expansion of u in v
0.605 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.605 * [taylor]: Taking taylor expansion of 2 in u
0.605 * [taylor]: Taking taylor expansion of u in u
0.605 * [taylor]: Taking taylor expansion of 0 in u
0.606 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.606 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.606 * [taylor]: Taking taylor expansion of 3 in v
0.606 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.606 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.606 * [taylor]: Taking taylor expansion of v in v
0.606 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.606 * [taylor]: Taking taylor expansion of u in v
0.606 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.606 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.606 * [taylor]: Taking taylor expansion of 3 in u
0.606 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.606 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.606 * [taylor]: Taking taylor expansion of u in u
0.607 * [taylor]: Taking taylor expansion of 0 in u
0.607 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1)
0.607 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0
0.607 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.607 * [taylor]: Taking taylor expansion of v in u
0.607 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.607 * [taylor]: Taking taylor expansion of t1 in u
0.607 * [taylor]: Taking taylor expansion of u in u
0.607 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.607 * [taylor]: Taking taylor expansion of v in t1
0.607 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.607 * [taylor]: Taking taylor expansion of t1 in t1
0.607 * [taylor]: Taking taylor expansion of u in t1
0.607 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.607 * [taylor]: Taking taylor expansion of v in v
0.607 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.607 * [taylor]: Taking taylor expansion of t1 in v
0.607 * [taylor]: Taking taylor expansion of u in v
0.607 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.607 * [taylor]: Taking taylor expansion of v in v
0.607 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.607 * [taylor]: Taking taylor expansion of t1 in v
0.607 * [taylor]: Taking taylor expansion of u in v
0.607 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1
0.607 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.607 * [taylor]: Taking taylor expansion of t1 in t1
0.607 * [taylor]: Taking taylor expansion of u in t1
0.608 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.608 * [taylor]: Taking taylor expansion of u in u
0.608 * [taylor]: Taking taylor expansion of 0 in t1
0.608 * [taylor]: Taking taylor expansion of 0 in u
0.608 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.608 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.608 * [taylor]: Taking taylor expansion of u in u
0.608 * [taylor]: Taking taylor expansion of 0 in t1
0.608 * [taylor]: Taking taylor expansion of 0 in u
0.608 * [taylor]: Taking taylor expansion of 0 in u
0.608 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.608 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.608 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.608 * [taylor]: Taking taylor expansion of v in u
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.608 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.608 * [taylor]: Taking taylor expansion of u in u
0.608 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.608 * [taylor]: Taking taylor expansion of t1 in u
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.609 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.609 * [taylor]: Taking taylor expansion of v in t1
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.609 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.609 * [taylor]: Taking taylor expansion of u in t1
0.609 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.609 * [taylor]: Taking taylor expansion of t1 in t1
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.609 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.609 * [taylor]: Taking taylor expansion of v in v
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.609 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.609 * [taylor]: Taking taylor expansion of u in v
0.609 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.609 * [taylor]: Taking taylor expansion of t1 in v
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.609 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.609 * [taylor]: Taking taylor expansion of v in v
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.609 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.609 * [taylor]: Taking taylor expansion of u in v
0.609 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.609 * [taylor]: Taking taylor expansion of t1 in v
0.610 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.610 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.610 * [taylor]: Taking taylor expansion of u in t1
0.610 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.610 * [taylor]: Taking taylor expansion of t1 in t1
0.610 * [taylor]: Taking taylor expansion of 1 in u
0.610 * [taylor]: Taking taylor expansion of 0 in t1
0.610 * [taylor]: Taking taylor expansion of 0 in u
0.610 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.610 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.610 * [taylor]: Taking taylor expansion of u in u
0.611 * [taylor]: Taking taylor expansion of 0 in t1
0.611 * [taylor]: Taking taylor expansion of 0 in u
0.611 * [taylor]: Taking taylor expansion of 0 in u
0.611 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.611 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.611 * [taylor]: Taking taylor expansion of v in u
0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.611 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.611 * [taylor]: Taking taylor expansion of u in u
0.611 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.611 * [taylor]: Taking taylor expansion of t1 in u
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.611 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.611 * [taylor]: Taking taylor expansion of v in t1
0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.611 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.611 * [taylor]: Taking taylor expansion of u in t1
0.611 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.611 * [taylor]: Taking taylor expansion of t1 in t1
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.611 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.611 * [taylor]: Taking taylor expansion of v in v
0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.611 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.611 * [taylor]: Taking taylor expansion of u in v
0.611 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.611 * [taylor]: Taking taylor expansion of t1 in v
0.614 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.614 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.614 * [taylor]: Taking taylor expansion of v in v
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.614 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.614 * [taylor]: Taking taylor expansion of u in v
0.614 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.614 * [taylor]: Taking taylor expansion of t1 in v
0.614 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.615 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.615 * [taylor]: Taking taylor expansion of u in t1
0.615 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.615 * [taylor]: Taking taylor expansion of t1 in t1
0.615 * [taylor]: Taking taylor expansion of 1 in u
0.615 * [taylor]: Taking taylor expansion of 0 in t1
0.615 * [taylor]: Taking taylor expansion of 0 in u
0.615 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.615 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.615 * [taylor]: Taking taylor expansion of u in u
0.616 * [taylor]: Taking taylor expansion of 0 in t1
0.616 * [taylor]: Taking taylor expansion of 0 in u
0.616 * [taylor]: Taking taylor expansion of 0 in u
0.616 * * * [progress]: simplifying candidates
0.617 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t1 (neg (/ v (+ t1 u))))
  (+ (log t1) (log (neg (/ v (+ t1 u)))))
  (log (* t1 (neg (/ v (+ t1 u)))))
  (exp (* t1 (neg (/ v (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (neg (/ v (+ t1 u))) (neg (/ v (+ t1 u)))) (neg (/ v (+ t1 u)))))
  (* (cbrt (* t1 (neg (/ v (+ t1 u))))) (cbrt (* t1 (neg (/ v (+ t1 u))))))
  (cbrt (* t1 (neg (/ v (+ t1 u)))))
  (* (* (* t1 (neg (/ v (+ t1 u)))) (* t1 (neg (/ v (+ t1 u))))) (* t1 (neg (/ v (+ t1 u)))))
  (sqrt (* t1 (neg (/ v (+ t1 u)))))
  (sqrt (* t1 (neg (/ v (+ t1 u)))))
  (* (sqrt t1) (sqrt (neg (/ v (+ t1 u)))))
  (* (sqrt t1) (sqrt (neg (/ v (+ t1 u)))))
  (* t1 (/ v (+ t1 u)))
  (* t1 (* (cbrt (neg (/ v (+ t1 u)))) (cbrt (neg (/ v (+ t1 u))))))
  (* t1 (sqrt (neg (/ v (+ t1 u)))))
  (* t1 1)
  (* t1 -1)
  (* t1 (neg (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))))
  (* t1 (neg (sqrt (/ v (+ t1 u)))))
  (* t1 (neg (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* t1 (neg (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))))
  (* t1 (neg (/ (* (cbrt v) (cbrt v)) 1)))
  (* t1 (neg (/ (* (cbrt v) (cbrt v)) 1)))
  (* t1 (neg (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* t1 (neg (/ (sqrt v) (sqrt (+ t1 u)))))
  (* t1 (neg (/ (sqrt v) 1)))
  (* t1 (neg (/ (sqrt v) 1)))
  (* t1 (neg (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* t1 (neg (/ 1 (sqrt (+ t1 u)))))
  (* t1 (neg (/ 1 1)))
  (* t1 (neg (/ 1 1)))
  (* t1 (neg 1))
  (* t1 (neg v))
  (* t1 (neg (/ v (+ (pow t1 3) (pow u 3)))))
  (* t1 (neg (/ v (- (* t1 t1) (* u u)))))
  (* t1 (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* t1 (sqrt (/ v (+ t1 u))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* t1 (/ (* (cbrt v) (cbrt v)) 1))
  (* t1 (/ (* (cbrt v) (cbrt v)) 1))
  (* t1 (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (sqrt v) (sqrt (+ t1 u))))
  (* t1 (/ (sqrt v) 1))
  (* t1 (/ (sqrt v) 1))
  (* t1 (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ 1 (sqrt (+ t1 u))))
  (* t1 (/ 1 1))
  (* t1 (/ 1 1))
  (* t1 1)
  (* t1 v)
  (* t1 (/ v (+ (pow t1 3) (pow u 3))))
  (* t1 (/ v (- (* t1 t1) (* u u))))
  (* (cbrt t1) (neg (/ v (+ t1 u))))
  (* (sqrt t1) (neg (/ v (+ t1 u))))
  (* t1 (neg (/ v (+ t1 u))))
  (* t1 (neg v))
  (- (+ (log t1) (log (neg (/ v (+ t1 u))))) (log (+ t1 u)))
  (- (log (* t1 (neg (/ v (+ t1 u))))) (log (+ t1 u)))
  (log (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (exp (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (/ (* (* (* t1 t1) t1) (* (* (neg (/ v (+ t1 u))) (neg (/ v (+ t1 u)))) (neg (/ v (+ t1 u))))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (/ (* (* (* t1 (neg (/ v (+ t1 u)))) (* t1 (neg (/ v (+ t1 u))))) (* t1 (neg (/ v (+ t1 u))))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u))) (cbrt (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u))))
  (cbrt (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (* (* (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u))) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (sqrt (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (sqrt (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))
  (neg (* t1 (neg (/ v (+ t1 u)))))
  (neg (+ t1 u))
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (/ v (+ t1 u))) (cbrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (neg (/ v (+ t1 u))) (sqrt (+ t1 u)))
  (/ t1 1)
  (/ (neg (/ v (+ t1 u))) (+ t1 u))
  (/ t1 1)
  (/ (neg (/ v (+ t1 u))) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (* t1 (neg (/ v (+ t1 u)))))
  (/ (* t1 (/ v (+ t1 u))) (+ t1 u))
  (/ (* t1 (neg (/ v (+ t1 u)))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* t1 (neg (/ v (+ t1 u)))) (sqrt (+ t1 u)))
  (/ (* t1 (neg (/ v (+ t1 u)))) 1)
  (/ (* t1 (neg (/ v (+ t1 u)))) 1)
  (/ (+ t1 u) (neg (/ v (+ t1 u))))
  (/ (* t1 (neg (/ v (+ t1 u)))) (+ (pow t1 3) (pow u 3)))
  (/ (* t1 (neg (/ v (+ t1 u)))) (- (* t1 t1) (* u u)))
  (* (+ t1 u) (+ 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)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.661 * * [simplify]: iteration  0 :  5003  enodes  (cost  1138 )
0.666 * [simplify]: Simplified to:
   (* t1 (/ (neg v) (+ t1 u)))
  (log (* t1 (/ (neg v) (+ t1 u))))
  (log (* t1 (/ (neg v) (+ t1 u))))
  (pow (exp (/ v (+ t1 u))) (neg t1))
  (pow (* t1 (/ (neg v) (+ t1 u))) 3)
  (* (cbrt (* t1 (/ (neg v) (+ t1 u)))) (cbrt (* t1 (/ (neg v) (+ t1 u)))))
  (cbrt (* t1 (/ (neg v) (+ t1 u))))
  (pow (* t1 (/ (neg v) (+ t1 u))) 3)
  (sqrt (* t1 (/ (neg v) (+ t1 u))))
  (sqrt (* t1 (/ (neg v) (+ t1 u))))
  (* (sqrt t1) (sqrt (/ (neg v) (+ t1 u))))
  (* (sqrt t1) (sqrt (/ (neg v) (+ t1 u))))
  (* t1 (/ v (+ t1 u)))
  (* t1 (* (cbrt (/ (neg v) (+ t1 u))) (cbrt (/ (neg v) (+ t1 u)))))
  (* t1 (sqrt (/ (neg v) (+ t1 u))))
  t1
  (neg t1)
  (* t1 (* (cbrt (/ v (+ t1 u))) (neg (cbrt (/ v (+ t1 u))))))
  (* t1 (neg (sqrt (/ v (+ t1 u)))))
  (* t1 (* (/ (cbrt v) (cbrt (+ t1 u))) (/ (neg (cbrt v)) (cbrt (+ t1 u)))))
  (* t1 (* (/ (cbrt v) (sqrt (+ t1 u))) (neg (cbrt v))))
  (* t1 (* (cbrt v) (neg (cbrt v))))
  (* t1 (* (cbrt v) (neg (cbrt v))))
  (* t1 (/ (neg (sqrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (neg (sqrt v)) (sqrt (+ t1 u))))
  (* t1 (neg (sqrt v)))
  (* t1 (neg (sqrt v)))
  (/ (neg t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (sqrt (+ t1 u)))
  (neg t1)
  (neg t1)
  (neg t1)
  (* t1 (neg v))
  (* t1 (/ (neg v) (+ (pow t1 3) (pow u 3))))
  (* t1 (/ (/ (neg v) (+ t1 u)) (- t1 u)))
  (* t1 (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* t1 (sqrt (/ v (+ t1 u))))
  (* t1 (* (cbrt v) (/ (cbrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* t1 (* (cbrt v) (/ (cbrt v) (sqrt (+ t1 u)))))
  (* t1 (* (cbrt v) (cbrt v)))
  (* t1 (* (cbrt v) (cbrt v)))
  (* t1 (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* t1 (/ (sqrt v) (sqrt (+ t1 u))))
  (* t1 (sqrt v))
  (* t1 (sqrt v))
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (sqrt (+ t1 u)))
  t1
  t1
  t1
  (* t1 v)
  (* t1 (/ v (+ (pow t1 3) (pow u 3))))
  (* t1 (/ v (- (* t1 t1) (* u u))))
  (* (/ v (+ t1 u)) (neg (cbrt t1)))
  (* (/ v (+ t1 u)) (neg (sqrt t1)))
  (* t1 (/ (neg v) (+ t1 u)))
  (* t1 (neg v))
  (log (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (log (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (log (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (pow (exp (/ (neg v) (+ t1 u))) (/ t1 (+ t1 u)))
  (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)
  (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)
  (* (cbrt (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u)))) (cbrt (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u)))))
  (cbrt (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)
  (sqrt (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (sqrt (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))))
  (* t1 (/ v (+ t1 u)))
  (neg (+ t1 u))
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (/ (neg v) (+ t1 u)) (cbrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (/ (neg v) (+ t1 u)) (sqrt (+ t1 u)))
  t1
  (/ (/ (neg v) (+ t1 u)) (+ t1 u))
  t1
  (/ (/ (neg v) (+ t1 u)) (+ t1 u))
  (/ 1 (+ t1 u))
  (* (+ t1 u) (/ (+ t1 u) (* t1 (neg v))))
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* (/ (neg v) (+ t1 u)) (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (neg v) (+ t1 u)) (/ t1 (sqrt (+ t1 u))))
  (* t1 (/ (neg v) (+ t1 u)))
  (* t1 (/ (neg v) (+ t1 u)))
  (* (+ t1 u) (/ (+ t1 u) (neg v)))
  (* (/ (neg v) (+ t1 u)) (/ t1 (+ (pow t1 3) (pow u 3))))
  (* (/ (neg v) (+ t1 u)) (/ t1 (- (* t1 t1) (* u u))))
  (* (+ t1 u) (+ 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)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.666 * * * [progress]: adding candidates to table
0.773 * * [progress]: iteration 3 / 4
0.773 * * * [progress]: picking best candidate
0.800 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))>
0.800 * * * [progress]: localizing error
0.807 * * * [progress]: generating rewritten candidates
0.807 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.831 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.838 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.852 * * * [progress]: generating series expansions
0.852 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.853 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
0.853 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.853 * [taylor]: Taking taylor expansion of -1 in v
0.853 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.853 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.853 * [taylor]: Taking taylor expansion of t1 in v
0.853 * [taylor]: Taking taylor expansion of v in v
0.853 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.853 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.853 * [taylor]: Taking taylor expansion of t1 in v
0.853 * [taylor]: Taking taylor expansion of u in v
0.853 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.853 * [taylor]: Taking taylor expansion of -1 in u
0.853 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.853 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.853 * [taylor]: Taking taylor expansion of t1 in u
0.853 * [taylor]: Taking taylor expansion of v in u
0.853 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.853 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.853 * [taylor]: Taking taylor expansion of t1 in u
0.853 * [taylor]: Taking taylor expansion of u in u
0.853 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.853 * [taylor]: Taking taylor expansion of -1 in t1
0.853 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.854 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.854 * [taylor]: Taking taylor expansion of t1 in t1
0.854 * [taylor]: Taking taylor expansion of v in t1
0.854 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.854 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.854 * [taylor]: Taking taylor expansion of t1 in t1
0.854 * [taylor]: Taking taylor expansion of u in t1
0.854 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.854 * [taylor]: Taking taylor expansion of -1 in t1
0.854 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.854 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.854 * [taylor]: Taking taylor expansion of t1 in t1
0.854 * [taylor]: Taking taylor expansion of v in t1
0.854 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.854 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.854 * [taylor]: Taking taylor expansion of t1 in t1
0.854 * [taylor]: Taking taylor expansion of u in t1
0.854 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
0.854 * [taylor]: Taking taylor expansion of -1 in u
0.854 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
0.854 * [taylor]: Taking taylor expansion of v in u
0.854 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.854 * [taylor]: Taking taylor expansion of u in u
0.854 * [taylor]: Taking taylor expansion of 0 in v
0.855 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
0.855 * [taylor]: Taking taylor expansion of 2 in u
0.855 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
0.855 * [taylor]: Taking taylor expansion of v in u
0.855 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.855 * [taylor]: Taking taylor expansion of u in u
0.855 * [taylor]: Taking taylor expansion of 0 in v
0.856 * [taylor]: Taking taylor expansion of 0 in v
0.856 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in u
0.856 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
0.856 * [taylor]: Taking taylor expansion of 3 in u
0.856 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
0.856 * [taylor]: Taking taylor expansion of v in u
0.856 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.856 * [taylor]: Taking taylor expansion of u in u
0.857 * [taylor]: Taking taylor expansion of 0 in v
0.857 * [taylor]: Taking taylor expansion of 0 in v
0.857 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.857 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.857 * [taylor]: Taking taylor expansion of -1 in v
0.857 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.857 * [taylor]: Taking taylor expansion of t1 in v
0.857 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.858 * [taylor]: Taking taylor expansion of v in v
0.858 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.858 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.858 * [taylor]: Taking taylor expansion of u in v
0.858 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.858 * [taylor]: Taking taylor expansion of t1 in v
0.859 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.859 * [taylor]: Taking taylor expansion of -1 in u
0.859 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.859 * [taylor]: Taking taylor expansion of t1 in u
0.859 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.859 * [taylor]: Taking taylor expansion of v in u
0.859 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.859 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.859 * [taylor]: Taking taylor expansion of u in u
0.859 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.859 * [taylor]: Taking taylor expansion of t1 in u
0.859 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.859 * [taylor]: Taking taylor expansion of -1 in t1
0.859 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.859 * [taylor]: Taking taylor expansion of t1 in t1
0.859 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.859 * [taylor]: Taking taylor expansion of v in t1
0.859 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.859 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.859 * [taylor]: Taking taylor expansion of u in t1
0.859 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.859 * [taylor]: Taking taylor expansion of t1 in t1
0.859 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.859 * [taylor]: Taking taylor expansion of -1 in t1
0.859 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.859 * [taylor]: Taking taylor expansion of t1 in t1
0.859 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.859 * [taylor]: Taking taylor expansion of v in t1
0.860 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.860 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.860 * [taylor]: Taking taylor expansion of u in t1
0.860 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.860 * [taylor]: Taking taylor expansion of t1 in t1
0.860 * [taylor]: Taking taylor expansion of (/ -1 v) in u
0.860 * [taylor]: Taking taylor expansion of -1 in u
0.860 * [taylor]: Taking taylor expansion of v in u
0.860 * [taylor]: Taking taylor expansion of 0 in v
0.861 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
0.861 * [taylor]: Taking taylor expansion of 2 in u
0.861 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
0.861 * [taylor]: Taking taylor expansion of (* v u) in u
0.861 * [taylor]: Taking taylor expansion of v in u
0.861 * [taylor]: Taking taylor expansion of u in u
0.861 * [taylor]: Taking taylor expansion of 0 in v
0.861 * [taylor]: Taking taylor expansion of 0 in v
0.862 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
0.862 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
0.862 * [taylor]: Taking taylor expansion of 3 in u
0.862 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
0.862 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
0.862 * [taylor]: Taking taylor expansion of v in u
0.862 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.862 * [taylor]: Taking taylor expansion of u in u
0.863 * [taylor]: Taking taylor expansion of 0 in v
0.863 * [taylor]: Taking taylor expansion of 0 in v
0.863 * [taylor]: Taking taylor expansion of 0 in v
0.864 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
0.864 * [taylor]: Taking taylor expansion of 4 in u
0.864 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
0.864 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
0.864 * [taylor]: Taking taylor expansion of v in u
0.864 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.864 * [taylor]: Taking taylor expansion of u in u
0.865 * [taylor]: Taking taylor expansion of 0 in v
0.865 * [taylor]: Taking taylor expansion of 0 in v
0.866 * [taylor]: Taking taylor expansion of 0 in v
0.866 * [taylor]: Taking taylor expansion of 0 in v
0.866 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.866 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.866 * [taylor]: Taking taylor expansion of -1 in v
0.866 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.866 * [taylor]: Taking taylor expansion of t1 in v
0.866 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.866 * [taylor]: Taking taylor expansion of v in v
0.866 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.866 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.866 * [taylor]: Taking taylor expansion of u in v
0.866 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.866 * [taylor]: Taking taylor expansion of t1 in v
0.867 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.867 * [taylor]: Taking taylor expansion of -1 in u
0.867 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.867 * [taylor]: Taking taylor expansion of t1 in u
0.867 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.867 * [taylor]: Taking taylor expansion of v in u
0.867 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.867 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.867 * [taylor]: Taking taylor expansion of u in u
0.867 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.867 * [taylor]: Taking taylor expansion of t1 in u
0.867 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.868 * [taylor]: Taking taylor expansion of -1 in t1
0.868 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.868 * [taylor]: Taking taylor expansion of t1 in t1
0.868 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.868 * [taylor]: Taking taylor expansion of v in t1
0.868 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.868 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.868 * [taylor]: Taking taylor expansion of u in t1
0.868 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.868 * [taylor]: Taking taylor expansion of t1 in t1
0.868 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.868 * [taylor]: Taking taylor expansion of -1 in t1
0.868 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.868 * [taylor]: Taking taylor expansion of t1 in t1
0.868 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.868 * [taylor]: Taking taylor expansion of v in t1
0.868 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.868 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.868 * [taylor]: Taking taylor expansion of u in t1
0.868 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.868 * [taylor]: Taking taylor expansion of t1 in t1
0.868 * [taylor]: Taking taylor expansion of (/ -1 v) in u
0.869 * [taylor]: Taking taylor expansion of -1 in u
0.869 * [taylor]: Taking taylor expansion of v in u
0.869 * [taylor]: Taking taylor expansion of 0 in v
0.869 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
0.869 * [taylor]: Taking taylor expansion of 2 in u
0.869 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
0.869 * [taylor]: Taking taylor expansion of (* v u) in u
0.869 * [taylor]: Taking taylor expansion of v in u
0.869 * [taylor]: Taking taylor expansion of u in u
0.870 * [taylor]: Taking taylor expansion of 0 in v
0.870 * [taylor]: Taking taylor expansion of 0 in v
0.870 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
0.870 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
0.870 * [taylor]: Taking taylor expansion of 3 in u
0.870 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
0.870 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
0.870 * [taylor]: Taking taylor expansion of v in u
0.871 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.871 * [taylor]: Taking taylor expansion of u in u
0.871 * [taylor]: Taking taylor expansion of 0 in v
0.871 * [taylor]: Taking taylor expansion of 0 in v
0.871 * [taylor]: Taking taylor expansion of 0 in v
0.872 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
0.872 * [taylor]: Taking taylor expansion of 4 in u
0.872 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
0.872 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
0.872 * [taylor]: Taking taylor expansion of v in u
0.872 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.872 * [taylor]: Taking taylor expansion of u in u
0.873 * [taylor]: Taking taylor expansion of 0 in v
0.874 * [taylor]: Taking taylor expansion of 0 in v
0.874 * [taylor]: Taking taylor expansion of 0 in v
0.874 * [taylor]: Taking taylor expansion of 0 in v
0.874 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.874 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0
0.874 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.874 * [taylor]: Taking taylor expansion of v in u
0.874 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.874 * [taylor]: Taking taylor expansion of t1 in u
0.874 * [taylor]: Taking taylor expansion of u in u
0.874 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.874 * [taylor]: Taking taylor expansion of v in t1
0.874 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.874 * [taylor]: Taking taylor expansion of t1 in t1
0.874 * [taylor]: Taking taylor expansion of u in t1
0.874 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.874 * [taylor]: Taking taylor expansion of v in v
0.874 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.874 * [taylor]: Taking taylor expansion of t1 in v
0.874 * [taylor]: Taking taylor expansion of u in v
0.875 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.875 * [taylor]: Taking taylor expansion of v in v
0.875 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.875 * [taylor]: Taking taylor expansion of t1 in v
0.875 * [taylor]: Taking taylor expansion of u in v
0.875 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1
0.875 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.875 * [taylor]: Taking taylor expansion of t1 in t1
0.875 * [taylor]: Taking taylor expansion of u in t1
0.875 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.875 * [taylor]: Taking taylor expansion of u in u
0.875 * [taylor]: Taking taylor expansion of 0 in t1
0.875 * [taylor]: Taking taylor expansion of 0 in u
0.875 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.875 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.875 * [taylor]: Taking taylor expansion of u in u
0.875 * [taylor]: Taking taylor expansion of 0 in t1
0.875 * [taylor]: Taking taylor expansion of 0 in u
0.875 * [taylor]: Taking taylor expansion of 0 in u
0.876 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.876 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.876 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.876 * [taylor]: Taking taylor expansion of v in u
0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.876 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.876 * [taylor]: Taking taylor expansion of u in u
0.876 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.876 * [taylor]: Taking taylor expansion of t1 in u
0.876 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.876 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.876 * [taylor]: Taking taylor expansion of v in t1
0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.876 * [taylor]: Taking taylor expansion of u in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.876 * [taylor]: Taking taylor expansion of t1 in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.876 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.876 * [taylor]: Taking taylor expansion of v in v
0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.876 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.876 * [taylor]: Taking taylor expansion of u in v
0.876 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.876 * [taylor]: Taking taylor expansion of t1 in v
0.876 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.876 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.876 * [taylor]: Taking taylor expansion of v in v
0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.876 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.876 * [taylor]: Taking taylor expansion of u in v
0.877 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.877 * [taylor]: Taking taylor expansion of t1 in v
0.877 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
0.877 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.877 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.877 * [taylor]: Taking taylor expansion of u in t1
0.877 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.877 * [taylor]: Taking taylor expansion of t1 in t1
0.877 * [taylor]: Taking taylor expansion of 1 in u
0.877 * [taylor]: Taking taylor expansion of 0 in t1
0.877 * [taylor]: Taking taylor expansion of 0 in u
0.877 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.877 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.877 * [taylor]: Taking taylor expansion of u in u
0.878 * [taylor]: Taking taylor expansion of 0 in t1
0.878 * [taylor]: Taking taylor expansion of 0 in u
0.878 * [taylor]: Taking taylor expansion of 0 in u
0.878 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.878 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.878 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.878 * [taylor]: Taking taylor expansion of v in u
0.878 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.878 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.878 * [taylor]: Taking taylor expansion of u in u
0.878 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.878 * [taylor]: Taking taylor expansion of t1 in u
0.878 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.878 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.878 * [taylor]: Taking taylor expansion of v in t1
0.878 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.878 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.878 * [taylor]: Taking taylor expansion of u in t1
0.878 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.878 * [taylor]: Taking taylor expansion of t1 in t1
0.879 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.879 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.879 * [taylor]: Taking taylor expansion of v in v
0.879 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.879 * [taylor]: Taking taylor expansion of u in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.879 * [taylor]: Taking taylor expansion of t1 in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.879 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.879 * [taylor]: Taking taylor expansion of v in v
0.879 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.879 * [taylor]: Taking taylor expansion of u in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.879 * [taylor]: Taking taylor expansion of t1 in v
0.879 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
0.879 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.879 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.879 * [taylor]: Taking taylor expansion of u in t1
0.880 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.880 * [taylor]: Taking taylor expansion of t1 in t1
0.880 * [taylor]: Taking taylor expansion of 1 in u
0.880 * [taylor]: Taking taylor expansion of 0 in t1
0.880 * [taylor]: Taking taylor expansion of 0 in u
0.880 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.880 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.880 * [taylor]: Taking taylor expansion of u in u
0.881 * [taylor]: Taking taylor expansion of 0 in t1
0.881 * [taylor]: Taking taylor expansion of 0 in u
0.881 * [taylor]: Taking taylor expansion of 0 in u
0.881 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.881 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
0.881 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
0.881 * [taylor]: Taking taylor expansion of -1 in u
0.881 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
0.881 * [taylor]: Taking taylor expansion of t1 in u
0.881 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.881 * [taylor]: Taking taylor expansion of t1 in u
0.881 * [taylor]: Taking taylor expansion of u in u
0.881 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
0.881 * [taylor]: Taking taylor expansion of -1 in t1
0.881 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.881 * [taylor]: Taking taylor expansion of t1 in t1
0.881 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.881 * [taylor]: Taking taylor expansion of t1 in t1
0.881 * [taylor]: Taking taylor expansion of u in t1
0.881 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
0.881 * [taylor]: Taking taylor expansion of -1 in t1
0.881 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.881 * [taylor]: Taking taylor expansion of t1 in t1
0.881 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.881 * [taylor]: Taking taylor expansion of t1 in t1
0.881 * [taylor]: Taking taylor expansion of u in t1
0.881 * [taylor]: Taking taylor expansion of (/ -1 u) in u
0.881 * [taylor]: Taking taylor expansion of -1 in u
0.881 * [taylor]: Taking taylor expansion of u in u
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.882 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.882 * [taylor]: Taking taylor expansion of u in u
0.882 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 3))) in u
0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
0.882 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.882 * [taylor]: Taking taylor expansion of u in u
0.883 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.883 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.883 * [taylor]: Taking taylor expansion of -1 in u
0.883 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.883 * [taylor]: Taking taylor expansion of t1 in u
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.883 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.883 * [taylor]: Taking taylor expansion of u in u
0.883 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.883 * [taylor]: Taking taylor expansion of t1 in u
0.883 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.883 * [taylor]: Taking taylor expansion of -1 in t1
0.883 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.883 * [taylor]: Taking taylor expansion of t1 in t1
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.883 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.883 * [taylor]: Taking taylor expansion of u in t1
0.883 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.883 * [taylor]: Taking taylor expansion of t1 in t1
0.883 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.883 * [taylor]: Taking taylor expansion of -1 in t1
0.883 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.883 * [taylor]: Taking taylor expansion of t1 in t1
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.883 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.883 * [taylor]: Taking taylor expansion of u in t1
0.883 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.883 * [taylor]: Taking taylor expansion of t1 in t1
0.883 * [taylor]: Taking taylor expansion of -1 in u
0.884 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.884 * [taylor]: Taking taylor expansion of u in u
0.884 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.884 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.884 * [taylor]: Taking taylor expansion of u in u
0.884 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.884 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.885 * [taylor]: Taking taylor expansion of -1 in u
0.885 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.885 * [taylor]: Taking taylor expansion of t1 in u
0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.885 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.885 * [taylor]: Taking taylor expansion of u in u
0.885 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.885 * [taylor]: Taking taylor expansion of t1 in u
0.885 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.885 * [taylor]: Taking taylor expansion of -1 in t1
0.885 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.885 * [taylor]: Taking taylor expansion of t1 in t1
0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.885 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.885 * [taylor]: Taking taylor expansion of u in t1
0.885 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.885 * [taylor]: Taking taylor expansion of t1 in t1
0.885 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.885 * [taylor]: Taking taylor expansion of -1 in t1
0.885 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.885 * [taylor]: Taking taylor expansion of t1 in t1
0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.885 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.885 * [taylor]: Taking taylor expansion of u in t1
0.885 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.885 * [taylor]: Taking taylor expansion of t1 in t1
0.885 * [taylor]: Taking taylor expansion of -1 in u
0.886 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.886 * [taylor]: Taking taylor expansion of u in u
0.886 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.886 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.886 * [taylor]: Taking taylor expansion of u in u
0.886 * * * [progress]: simplifying candidates
0.888 * [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.937 * * [simplify]: iteration  0 :  4974  enodes  (cost  2183 )
0.938 * * [simplify]: iteration  1 :  4974  enodes  (cost  2183 )
0.945 * [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))))
  (pow (exp (/ v (+ t1 u))) (/ (neg t1) (+ t1 u)))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (/ (pow (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (* (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 (* t1 (neg v)) 3) (pow (+ t1 u) 6))
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (* t1 (neg 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 (/ v (+ t1 u))) (/ (sqrt (neg t1)) (sqrt (+ t1 u))))
  (* (sqrt (/ v (+ t1 u))) (/ (sqrt (neg t1)) (sqrt (+ t1 u))))
  (/ (* (sqrt v) (sqrt (neg t1))) (+ t1 u))
  (/ (* (sqrt v) (sqrt (neg t1))) (+ t1 u))
  (* (/ v (+ t1 u)) (/ t1 (+ 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) (pow (sqrt (+ t1 u)) 3)) (* (cbrt v) (cbrt v)))
  (* (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) (pow (sqrt (+ t1 u)) 3)) (sqrt v))
  (* (neg t1) (/ (sqrt v) (+ t1 u)))
  (* (neg t1) (/ (sqrt v) (+ t1 u)))
  (/ (neg t1) (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (neg t1) (pow (sqrt (+ t1 u)) 3))
  (/ (neg t1) (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (* t1 (/ (neg v) (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (/ v (+ t1 u)) (cbrt (/ (neg t1) (+ t1 u))))
  (* (/ v (+ t1 u)) (sqrt (/ (neg t1) (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (cbrt (neg t1)) (cbrt (+ t1 u))))
  (/ (* v (cbrt (neg t1))) (pow (sqrt (+ t1 u)) 3))
  (* (/ 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 (sqrt (neg t1))) (pow (sqrt (+ t1 u)) 3))
  (* (/ v (+ t1 u)) (/ (sqrt (neg t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (sqrt (neg t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg t1) (cbrt (+ t1 u))))
  (* (/ (neg t1) (pow (sqrt (+ t1 u)) 3)) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ v (+ t1 u)) (/ t1 (cbrt (+ t1 u))))
  (* (/ t1 (pow (sqrt (+ t1 u)) 3)) v)
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (cbrt t1) (cbrt (+ t1 u))))
  (/ (* v (cbrt t1)) (pow (sqrt (+ t1 u)) 3))
  (* (/ v (+ t1 u)) (/ (cbrt t1) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (cbrt t1) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (sqrt t1) (cbrt (+ t1 u))))
  (/ (* v (sqrt t1)) (pow (sqrt (+ t1 u)) 3))
  (* (/ v (+ t1 u)) (/ (sqrt t1) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (sqrt t1) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ t1 (cbrt (+ t1 u))))
  (* (/ t1 (pow (sqrt (+ t1 u)) 3)) v)
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (cbrt t1)) (cbrt (+ t1 u))))
  (/ (* v (neg (cbrt t1))) (pow (sqrt (+ t1 u)) 3))
  (* (/ 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 (neg (sqrt t1))) (pow (sqrt (+ t1 u)) 3))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg t1) (cbrt (+ t1 u))))
  (* (/ (neg t1) (pow (sqrt (+ t1 u)) 3)) v)
  (* (/ (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)) (+ (* t1 t1) (* u (- u t1))))
  (* (/ v (+ t1 u)) (- t1 u))
  (* t1 (/ (neg v) (+ t1 u)))
  (* t1 (/ (neg 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))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (neg (cbrt t1)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (neg (cbrt t1)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (* (cbrt t1) (neg (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (* (cbrt t1) (neg (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.947 * * * [progress]: adding candidates to table
1.083 * * [progress]: iteration 4 / 4
1.083 * * * [progress]: picking best candidate
1.107 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))>
1.107 * * * [progress]: localizing error
1.114 * * * [progress]: generating rewritten candidates
1.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.174 * * * [progress]: generating series expansions
1.174 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.174 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
1.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
1.174 * [taylor]: Taking taylor expansion of -1 in v
1.174 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
1.174 * [taylor]: Taking taylor expansion of (* t1 v) in v
1.174 * [taylor]: Taking taylor expansion of t1 in v
1.174 * [taylor]: Taking taylor expansion of v in v
1.174 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
1.174 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.174 * [taylor]: Taking taylor expansion of t1 in v
1.174 * [taylor]: Taking taylor expansion of u in v
1.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.175 * [taylor]: Taking taylor expansion of -1 in u
1.175 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
1.175 * [taylor]: Taking taylor expansion of (* t1 v) in u
1.175 * [taylor]: Taking taylor expansion of t1 in u
1.175 * [taylor]: Taking taylor expansion of v in u
1.175 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
1.175 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.175 * [taylor]: Taking taylor expansion of t1 in u
1.175 * [taylor]: Taking taylor expansion of u in u
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
1.175 * [taylor]: Taking taylor expansion of -1 in t1
1.175 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
1.175 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.175 * [taylor]: Taking taylor expansion of t1 in t1
1.175 * [taylor]: Taking taylor expansion of v in t1
1.175 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
1.175 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.175 * [taylor]: Taking taylor expansion of t1 in t1
1.175 * [taylor]: Taking taylor expansion of u in t1
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
1.175 * [taylor]: Taking taylor expansion of -1 in t1
1.175 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
1.175 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.175 * [taylor]: Taking taylor expansion of t1 in t1
1.175 * [taylor]: Taking taylor expansion of v in t1
1.175 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
1.175 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.175 * [taylor]: Taking taylor expansion of t1 in t1
1.175 * [taylor]: Taking taylor expansion of u in t1
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
1.176 * [taylor]: Taking taylor expansion of -1 in u
1.176 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
1.176 * [taylor]: Taking taylor expansion of v in u
1.176 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.176 * [taylor]: Taking taylor expansion of u in u
1.176 * [taylor]: Taking taylor expansion of 0 in v
1.176 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
1.176 * [taylor]: Taking taylor expansion of 2 in u
1.176 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
1.176 * [taylor]: Taking taylor expansion of v in u
1.176 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.176 * [taylor]: Taking taylor expansion of u in u
1.177 * [taylor]: Taking taylor expansion of 0 in v
1.177 * [taylor]: Taking taylor expansion of 0 in v
1.178 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in u
1.178 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
1.178 * [taylor]: Taking taylor expansion of 3 in u
1.178 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
1.178 * [taylor]: Taking taylor expansion of v in u
1.178 * [taylor]: Taking taylor expansion of (pow u 4) in u
1.178 * [taylor]: Taking taylor expansion of u in u
1.178 * [taylor]: Taking taylor expansion of 0 in v
1.179 * [taylor]: Taking taylor expansion of 0 in v
1.179 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
1.179 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.179 * [taylor]: Taking taylor expansion of -1 in v
1.179 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
1.179 * [taylor]: Taking taylor expansion of t1 in v
1.179 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
1.179 * [taylor]: Taking taylor expansion of v in v
1.179 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.179 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.179 * [taylor]: Taking taylor expansion of u in v
1.179 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.179 * [taylor]: Taking taylor expansion of t1 in v
1.180 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.180 * [taylor]: Taking taylor expansion of -1 in u
1.180 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
1.180 * [taylor]: Taking taylor expansion of t1 in u
1.180 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
1.180 * [taylor]: Taking taylor expansion of v in u
1.180 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.180 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.180 * [taylor]: Taking taylor expansion of u in u
1.180 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.180 * [taylor]: Taking taylor expansion of t1 in u
1.180 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.180 * [taylor]: Taking taylor expansion of -1 in t1
1.180 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.180 * [taylor]: Taking taylor expansion of t1 in t1
1.180 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.180 * [taylor]: Taking taylor expansion of v in t1
1.180 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.180 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.180 * [taylor]: Taking taylor expansion of u in t1
1.180 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.181 * [taylor]: Taking taylor expansion of t1 in t1
1.181 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.181 * [taylor]: Taking taylor expansion of -1 in t1
1.181 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.181 * [taylor]: Taking taylor expansion of t1 in t1
1.181 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.181 * [taylor]: Taking taylor expansion of v in t1
1.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.181 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.181 * [taylor]: Taking taylor expansion of u in t1
1.181 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.181 * [taylor]: Taking taylor expansion of t1 in t1
1.181 * [taylor]: Taking taylor expansion of (/ -1 v) in u
1.181 * [taylor]: Taking taylor expansion of -1 in u
1.181 * [taylor]: Taking taylor expansion of v in u
1.181 * [taylor]: Taking taylor expansion of 0 in v
1.182 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
1.182 * [taylor]: Taking taylor expansion of 2 in u
1.182 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
1.182 * [taylor]: Taking taylor expansion of (* v u) in u
1.182 * [taylor]: Taking taylor expansion of v in u
1.182 * [taylor]: Taking taylor expansion of u in u
1.182 * [taylor]: Taking taylor expansion of 0 in v
1.183 * [taylor]: Taking taylor expansion of 0 in v
1.184 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
1.184 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
1.184 * [taylor]: Taking taylor expansion of 3 in u
1.184 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.184 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.184 * [taylor]: Taking taylor expansion of v in u
1.184 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.184 * [taylor]: Taking taylor expansion of u in u
1.184 * [taylor]: Taking taylor expansion of 0 in v
1.185 * [taylor]: Taking taylor expansion of 0 in v
1.185 * [taylor]: Taking taylor expansion of 0 in v
1.185 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
1.186 * [taylor]: Taking taylor expansion of 4 in u
1.186 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.186 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.186 * [taylor]: Taking taylor expansion of v in u
1.186 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.186 * [taylor]: Taking taylor expansion of u in u
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.188 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
1.188 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.188 * [taylor]: Taking taylor expansion of -1 in v
1.188 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
1.188 * [taylor]: Taking taylor expansion of t1 in v
1.188 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
1.188 * [taylor]: Taking taylor expansion of v in v
1.188 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.188 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.188 * [taylor]: Taking taylor expansion of u in v
1.188 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.188 * [taylor]: Taking taylor expansion of t1 in v
1.189 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.189 * [taylor]: Taking taylor expansion of -1 in u
1.189 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
1.189 * [taylor]: Taking taylor expansion of t1 in u
1.189 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
1.189 * [taylor]: Taking taylor expansion of v in u
1.189 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
1.189 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.189 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.189 * [taylor]: Taking taylor expansion of u in u
1.189 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.189 * [taylor]: Taking taylor expansion of t1 in u
1.189 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.189 * [taylor]: Taking taylor expansion of -1 in t1
1.189 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.189 * [taylor]: Taking taylor expansion of t1 in t1
1.189 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.189 * [taylor]: Taking taylor expansion of v in t1
1.189 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.189 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.189 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.189 * [taylor]: Taking taylor expansion of u in t1
1.189 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.189 * [taylor]: Taking taylor expansion of t1 in t1
1.190 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.190 * [taylor]: Taking taylor expansion of -1 in t1
1.190 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.190 * [taylor]: Taking taylor expansion of t1 in t1
1.190 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.190 * [taylor]: Taking taylor expansion of v in t1
1.190 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.190 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.190 * [taylor]: Taking taylor expansion of u in t1
1.190 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.190 * [taylor]: Taking taylor expansion of t1 in t1
1.190 * [taylor]: Taking taylor expansion of (/ -1 v) in u
1.190 * [taylor]: Taking taylor expansion of -1 in u
1.190 * [taylor]: Taking taylor expansion of v in u
1.190 * [taylor]: Taking taylor expansion of 0 in v
1.191 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
1.191 * [taylor]: Taking taylor expansion of 2 in u
1.191 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
1.191 * [taylor]: Taking taylor expansion of (* v u) in u
1.191 * [taylor]: Taking taylor expansion of v in u
1.191 * [taylor]: Taking taylor expansion of u in u
1.191 * [taylor]: Taking taylor expansion of 0 in v
1.192 * [taylor]: Taking taylor expansion of 0 in v
1.192 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
1.192 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
1.192 * [taylor]: Taking taylor expansion of 3 in u
1.192 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.192 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.192 * [taylor]: Taking taylor expansion of v in u
1.192 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.192 * [taylor]: Taking taylor expansion of u in u
1.193 * [taylor]: Taking taylor expansion of 0 in v
1.193 * [taylor]: Taking taylor expansion of 0 in v
1.193 * [taylor]: Taking taylor expansion of 0 in v
1.194 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
1.194 * [taylor]: Taking taylor expansion of 4 in u
1.194 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.194 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.194 * [taylor]: Taking taylor expansion of v in u
1.194 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.194 * [taylor]: Taking taylor expansion of u in u
1.195 * [taylor]: Taking taylor expansion of 0 in v
1.195 * [taylor]: Taking taylor expansion of 0 in v
1.196 * [taylor]: Taking taylor expansion of 0 in v
1.196 * [taylor]: Taking taylor expansion of 0 in v
1.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.196 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
1.196 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
1.196 * [taylor]: Taking taylor expansion of -1 in u
1.196 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
1.196 * [taylor]: Taking taylor expansion of t1 in u
1.196 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.196 * [taylor]: Taking taylor expansion of t1 in u
1.196 * [taylor]: Taking taylor expansion of u in u
1.196 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
1.196 * [taylor]: Taking taylor expansion of -1 in t1
1.196 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.196 * [taylor]: Taking taylor expansion of t1 in t1
1.196 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.196 * [taylor]: Taking taylor expansion of t1 in t1
1.196 * [taylor]: Taking taylor expansion of u in t1
1.196 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
1.196 * [taylor]: Taking taylor expansion of -1 in t1
1.196 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.196 * [taylor]: Taking taylor expansion of t1 in t1
1.196 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.196 * [taylor]: Taking taylor expansion of t1 in t1
1.196 * [taylor]: Taking taylor expansion of u in t1
1.197 * [taylor]: Taking taylor expansion of (/ -1 u) in u
1.197 * [taylor]: Taking taylor expansion of -1 in u
1.197 * [taylor]: Taking taylor expansion of u in u
1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.197 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.197 * [taylor]: Taking taylor expansion of u in u
1.197 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 3))) in u
1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
1.197 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.197 * [taylor]: Taking taylor expansion of u in u
1.198 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
1.198 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.198 * [taylor]: Taking taylor expansion of -1 in u
1.198 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.198 * [taylor]: Taking taylor expansion of t1 in u
1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.198 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.198 * [taylor]: Taking taylor expansion of u in u
1.198 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.198 * [taylor]: Taking taylor expansion of t1 in u
1.198 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.198 * [taylor]: Taking taylor expansion of -1 in t1
1.198 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.198 * [taylor]: Taking taylor expansion of t1 in t1
1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.198 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.198 * [taylor]: Taking taylor expansion of u in t1
1.198 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.198 * [taylor]: Taking taylor expansion of t1 in t1
1.198 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.199 * [taylor]: Taking taylor expansion of -1 in t1
1.199 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.199 * [taylor]: Taking taylor expansion of t1 in t1
1.199 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.199 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.199 * [taylor]: Taking taylor expansion of u in t1
1.199 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.199 * [taylor]: Taking taylor expansion of t1 in t1
1.199 * [taylor]: Taking taylor expansion of -1 in u
1.199 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.199 * [taylor]: Taking taylor expansion of u in u
1.199 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.199 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.199 * [taylor]: Taking taylor expansion of u in u
1.200 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
1.200 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.200 * [taylor]: Taking taylor expansion of -1 in u
1.200 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.200 * [taylor]: Taking taylor expansion of t1 in u
1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.200 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.200 * [taylor]: Taking taylor expansion of u in u
1.200 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.200 * [taylor]: Taking taylor expansion of t1 in u
1.200 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.200 * [taylor]: Taking taylor expansion of -1 in t1
1.200 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.200 * [taylor]: Taking taylor expansion of t1 in t1
1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.200 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.200 * [taylor]: Taking taylor expansion of u in t1
1.200 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.200 * [taylor]: Taking taylor expansion of t1 in t1
1.200 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.200 * [taylor]: Taking taylor expansion of -1 in t1
1.200 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.200 * [taylor]: Taking taylor expansion of t1 in t1
1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.200 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.200 * [taylor]: Taking taylor expansion of u in t1
1.200 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.200 * [taylor]: Taking taylor expansion of t1 in t1
1.201 * [taylor]: Taking taylor expansion of -1 in u
1.201 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.201 * [taylor]: Taking taylor expansion of u in u
1.201 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.201 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.201 * [taylor]: Taking taylor expansion of u in u
1.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.202 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0
1.202 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
1.202 * [taylor]: Taking taylor expansion of v in u
1.202 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.202 * [taylor]: Taking taylor expansion of t1 in u
1.202 * [taylor]: Taking taylor expansion of u in u
1.202 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
1.202 * [taylor]: Taking taylor expansion of v in t1
1.202 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.202 * [taylor]: Taking taylor expansion of t1 in t1
1.202 * [taylor]: Taking taylor expansion of u in t1
1.202 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
1.202 * [taylor]: Taking taylor expansion of v in v
1.202 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.202 * [taylor]: Taking taylor expansion of t1 in v
1.202 * [taylor]: Taking taylor expansion of u in v
1.202 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
1.202 * [taylor]: Taking taylor expansion of v in v
1.202 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.202 * [taylor]: Taking taylor expansion of t1 in v
1.202 * [taylor]: Taking taylor expansion of u in v
1.202 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1
1.202 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.202 * [taylor]: Taking taylor expansion of t1 in t1
1.202 * [taylor]: Taking taylor expansion of u in t1
1.202 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.202 * [taylor]: Taking taylor expansion of u in u
1.202 * [taylor]: Taking taylor expansion of 0 in t1
1.202 * [taylor]: Taking taylor expansion of 0 in u
1.203 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.203 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.203 * [taylor]: Taking taylor expansion of u in u
1.203 * [taylor]: Taking taylor expansion of 0 in t1
1.203 * [taylor]: Taking taylor expansion of 0 in u
1.203 * [taylor]: Taking taylor expansion of 0 in u
1.203 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
1.203 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.203 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
1.203 * [taylor]: Taking taylor expansion of v in u
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.203 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.203 * [taylor]: Taking taylor expansion of u in u
1.203 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.203 * [taylor]: Taking taylor expansion of t1 in u
1.203 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.203 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.203 * [taylor]: Taking taylor expansion of v in t1
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.203 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.203 * [taylor]: Taking taylor expansion of u in t1
1.203 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.203 * [taylor]: Taking taylor expansion of t1 in t1
1.203 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.203 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.203 * [taylor]: Taking taylor expansion of v in v
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.203 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.204 * [taylor]: Taking taylor expansion of u in v
1.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.204 * [taylor]: Taking taylor expansion of t1 in v
1.204 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.204 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.204 * [taylor]: Taking taylor expansion of v in v
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.204 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.204 * [taylor]: Taking taylor expansion of u in v
1.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.204 * [taylor]: Taking taylor expansion of t1 in v
1.204 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.204 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.204 * [taylor]: Taking taylor expansion of u in t1
1.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.204 * [taylor]: Taking taylor expansion of t1 in t1
1.204 * [taylor]: Taking taylor expansion of 1 in u
1.205 * [taylor]: Taking taylor expansion of 0 in t1
1.205 * [taylor]: Taking taylor expansion of 0 in u
1.205 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
1.205 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.205 * [taylor]: Taking taylor expansion of u in u
1.205 * [taylor]: Taking taylor expansion of 0 in t1
1.205 * [taylor]: Taking taylor expansion of 0 in u
1.205 * [taylor]: Taking taylor expansion of 0 in u
1.206 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.206 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
1.206 * [taylor]: Taking taylor expansion of v in u
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.206 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.206 * [taylor]: Taking taylor expansion of u in u
1.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.206 * [taylor]: Taking taylor expansion of t1 in u
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.206 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.206 * [taylor]: Taking taylor expansion of v in t1
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.206 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.206 * [taylor]: Taking taylor expansion of u in t1
1.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.206 * [taylor]: Taking taylor expansion of t1 in t1
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.206 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.206 * [taylor]: Taking taylor expansion of v in v
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.206 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.206 * [taylor]: Taking taylor expansion of u in v
1.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.206 * [taylor]: Taking taylor expansion of t1 in v
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.206 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.206 * [taylor]: Taking taylor expansion of v in v
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.206 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.206 * [taylor]: Taking taylor expansion of u in v
1.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.207 * [taylor]: Taking taylor expansion of t1 in v
1.207 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.207 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.207 * [taylor]: Taking taylor expansion of u in t1
1.207 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.207 * [taylor]: Taking taylor expansion of t1 in t1
1.207 * [taylor]: Taking taylor expansion of 1 in u
1.207 * [taylor]: Taking taylor expansion of 0 in t1
1.207 * [taylor]: Taking taylor expansion of 0 in u
1.207 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
1.207 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.207 * [taylor]: Taking taylor expansion of u in u
1.208 * [taylor]: Taking taylor expansion of 0 in t1
1.208 * [taylor]: Taking taylor expansion of 0 in u
1.208 * [taylor]: Taking taylor expansion of 0 in u
1.208 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.208 * [approximate]: Taking taylor expansion of (/ (+ t1 u) t1) in (t1 u) around 0
1.208 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in u
1.208 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.208 * [taylor]: Taking taylor expansion of t1 in u
1.208 * [taylor]: Taking taylor expansion of u in u
1.208 * [taylor]: Taking taylor expansion of t1 in u
1.208 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1
1.208 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.208 * [taylor]: Taking taylor expansion of t1 in t1
1.208 * [taylor]: Taking taylor expansion of u in t1
1.208 * [taylor]: Taking taylor expansion of t1 in t1
1.208 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1
1.208 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.208 * [taylor]: Taking taylor expansion of t1 in t1
1.208 * [taylor]: Taking taylor expansion of u in t1
1.208 * [taylor]: Taking taylor expansion of t1 in t1
1.208 * [taylor]: Taking taylor expansion of u in u
1.209 * [taylor]: Taking taylor expansion of 1 in u
1.209 * [taylor]: Taking taylor expansion of 0 in u
1.209 * [taylor]: Taking taylor expansion of 0 in u
1.209 * [approximate]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.209 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.209 * [taylor]: Taking taylor expansion of t1 in u
1.209 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.209 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.209 * [taylor]: Taking taylor expansion of u in u
1.209 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.209 * [taylor]: Taking taylor expansion of t1 in u
1.209 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.209 * [taylor]: Taking taylor expansion of t1 in t1
1.209 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.209 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.209 * [taylor]: Taking taylor expansion of u in t1
1.209 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.209 * [taylor]: Taking taylor expansion of t1 in t1
1.209 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.209 * [taylor]: Taking taylor expansion of t1 in t1
1.209 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.209 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.209 * [taylor]: Taking taylor expansion of u in t1
1.209 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.209 * [taylor]: Taking taylor expansion of t1 in t1
1.209 * [taylor]: Taking taylor expansion of 0 in u
1.210 * [taylor]: Taking taylor expansion of 1 in u
1.210 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.210 * [taylor]: Taking taylor expansion of u in u
1.210 * [taylor]: Taking taylor expansion of 0 in u
1.210 * [taylor]: Taking taylor expansion of 0 in u
1.210 * [approximate]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.210 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.211 * [taylor]: Taking taylor expansion of t1 in u
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.211 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.211 * [taylor]: Taking taylor expansion of u in u
1.211 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.211 * [taylor]: Taking taylor expansion of t1 in u
1.211 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.211 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.211 * [taylor]: Taking taylor expansion of u in t1
1.211 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.211 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.211 * [taylor]: Taking taylor expansion of u in t1
1.211 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of 0 in u
1.211 * [taylor]: Taking taylor expansion of 1 in u
1.211 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.211 * [taylor]: Taking taylor expansion of u in u
1.211 * [taylor]: Taking taylor expansion of 0 in u
1.212 * [taylor]: Taking taylor expansion of 0 in u
1.212 * * * [progress]: simplifying candidates
1.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (+ (- (log -1) (- (log (+ t1 u)) (log t1))) (- (log v) (log (+ t1 u))))
  (+ (- (log -1) (- (log (+ t1 u)) (log t1))) (log (/ v (+ t1 u))))
  (+ (- (log -1) (log (/ (+ t1 u) t1))) (- (log v) (log (+ t1 u))))
  (+ (- (log -1) (log (/ (+ t1 u) t1))) (log (/ v (+ t1 u))))
  (+ (log (/ -1 (/ (+ t1 u) t1))) (- (log v) (log (+ t1 u))))
  (+ (log (/ -1 (/ (+ t1 u) t1))) (log (/ v (+ t1 u))))
  (log (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (exp (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (* (/ (* (* -1 -1) -1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* t1 t1) t1))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (/ (* (* -1 -1) -1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* t1 t1) t1))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (/ (* (* -1 -1) -1) (* (* (/ (+ t1 u) t1) (/ (+ t1 u) t1)) (/ (+ t1 u) t1))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (/ (* (* -1 -1) -1) (* (* (/ (+ t1 u) t1) (/ (+ t1 u) t1)) (/ (+ t1 u) t1))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (* (* (/ -1 (/ (+ t1 u) t1)) (/ -1 (/ (+ t1 u) t1))) (/ -1 (/ (+ t1 u) t1))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (/ -1 (/ (+ t1 u) t1)) (/ -1 (/ (+ t1 u) t1))) (/ -1 (/ (+ t1 u) t1))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (cbrt (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))) (cbrt (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))))
  (cbrt (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (* (* (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (sqrt (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (sqrt (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))
  (* -1 v)
  (* (/ (+ t1 u) t1) (+ t1 u))
  (* (sqrt (/ -1 (/ (+ t1 u) t1))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ -1 (/ (+ t1 u) t1))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ -1 (/ (+ t1 u) t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (/ -1 (/ (+ t1 u) t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ -1 (/ (+ t1 u) t1)) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (/ -1 (/ (+ t1 u) t1)) (sqrt (/ v (+ t1 u))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (sqrt v) 1))
  (* (/ -1 (/ (+ t1 u) t1)) (/ (sqrt v) 1))
  (* (/ -1 (/ (+ t1 u) t1)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ 1 (sqrt (+ t1 u))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ 1 1))
  (* (/ -1 (/ (+ t1 u) t1)) (/ 1 1))
  (* (/ -1 (/ (+ t1 u) t1)) 1)
  (* (/ -1 (/ (+ t1 u) t1)) v)
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (/ -1 (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (sqrt (/ -1 (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (cbrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (sqrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (cbrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (cbrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (cbrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (sqrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (sqrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (cbrt -1) (/ 1 t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (cbrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (cbrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (cbrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (cbrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (sqrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ (sqrt -1) (/ 1 t1)) (/ v (+ t1 u)))
  (* (/ -1 (cbrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ -1 (sqrt (/ (+ t1 u) t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (cbrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (cbrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (cbrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ (sqrt (+ t1 u)) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (sqrt (+ t1 u)) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (sqrt (+ t1 u)) t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) (cbrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) (sqrt t1))) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ 1 t1)) (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* (/ 1 (/ (+ t1 u) t1)) (/ v (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (/ -1 (/ (+ t1 u) t1)) v)
  (* -1 (/ v (+ t1 u)))
  (- (log -1) (- (log (+ t1 u)) (log t1)))
  (- (log -1) (log (/ (+ t1 u) t1)))
  (log (/ -1 (/ (+ t1 u) t1)))
  (exp (/ -1 (/ (+ t1 u) t1)))
  (/ (* (* -1 -1) -1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* t1 t1) t1)))
  (/ (* (* -1 -1) -1) (* (* (/ (+ t1 u) t1) (/ (+ t1 u) t1)) (/ (+ t1 u) t1)))
  (* (cbrt (/ -1 (/ (+ t1 u) t1))) (cbrt (/ -1 (/ (+ t1 u) t1))))
  (cbrt (/ -1 (/ (+ t1 u) t1)))
  (* (* (/ -1 (/ (+ t1 u) t1)) (/ -1 (/ (+ t1 u) t1))) (/ -1 (/ (+ t1 u) t1)))
  (sqrt (/ -1 (/ (+ t1 u) t1)))
  (sqrt (/ -1 (/ (+ t1 u) t1)))
  (neg -1)
  (neg (/ (+ t1 u) t1))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ (cbrt -1) (cbrt (/ (+ t1 u) t1)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (/ (+ t1 u) t1)))
  (/ (cbrt -1) (sqrt (/ (+ t1 u) t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt t1) (cbrt t1))))
  (/ (cbrt -1) (/ (cbrt (+ t1 u)) (cbrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (sqrt t1)))
  (/ (cbrt -1) (/ (cbrt (+ t1 u)) (sqrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) 1))
  (/ (cbrt -1) (/ (cbrt (+ t1 u)) t1))
  (/ (* (cbrt -1) (cbrt -1)) (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1))))
  (/ (cbrt -1) (/ (sqrt (+ t1 u)) (cbrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ (cbrt -1) (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ (sqrt (+ t1 u)) 1))
  (/ (cbrt -1) (/ (sqrt (+ t1 u)) t1))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ (cbrt -1) (/ (+ t1 u) (cbrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 (sqrt t1)))
  (/ (cbrt -1) (/ (+ t1 u) (sqrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 1))
  (/ (cbrt -1) (/ (+ t1 u) t1))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ (cbrt -1) (/ (+ t1 u) (cbrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 (sqrt t1)))
  (/ (cbrt -1) (/ (+ t1 u) (sqrt t1)))
  (/ (* (cbrt -1) (cbrt -1)) (/ 1 1))
  (/ (cbrt -1) (/ (+ t1 u) t1))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (/ (+ t1 u) t1))
  (/ (* (cbrt -1) (cbrt -1)) (+ t1 u))
  (/ (cbrt -1) (/ 1 t1))
  (/ (sqrt -1) (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ (sqrt -1) (cbrt (/ (+ t1 u) t1)))
  (/ (sqrt -1) (sqrt (/ (+ t1 u) t1)))
  (/ (sqrt -1) (sqrt (/ (+ t1 u) t1)))
  (/ (sqrt -1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt t1) (cbrt t1))))
  (/ (sqrt -1) (/ (cbrt (+ t1 u)) (cbrt t1)))
  (/ (sqrt -1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (sqrt t1)))
  (/ (sqrt -1) (/ (cbrt (+ t1 u)) (sqrt t1)))
  (/ (sqrt -1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) 1))
  (/ (sqrt -1) (/ (cbrt (+ t1 u)) t1))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1))))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) (cbrt t1)))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) 1))
  (/ (sqrt -1) (/ (sqrt (+ t1 u)) t1))
  (/ (sqrt -1) (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ (sqrt -1) (/ (+ t1 u) (cbrt t1)))
  (/ (sqrt -1) (/ 1 (sqrt t1)))
  (/ (sqrt -1) (/ (+ t1 u) (sqrt t1)))
  (/ (sqrt -1) (/ 1 1))
  (/ (sqrt -1) (/ (+ t1 u) t1))
  (/ (sqrt -1) (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ (sqrt -1) (/ (+ t1 u) (cbrt t1)))
  (/ (sqrt -1) (/ 1 (sqrt t1)))
  (/ (sqrt -1) (/ (+ t1 u) (sqrt t1)))
  (/ (sqrt -1) (/ 1 1))
  (/ (sqrt -1) (/ (+ t1 u) t1))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (/ (+ t1 u) t1))
  (/ (sqrt -1) (+ t1 u))
  (/ (sqrt -1) (/ 1 t1))
  (/ 1 (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ -1 (cbrt (/ (+ t1 u) t1)))
  (/ 1 (sqrt (/ (+ t1 u) t1)))
  (/ -1 (sqrt (/ (+ t1 u) t1)))
  (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (cbrt (+ t1 u)) (cbrt t1)))
  (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (sqrt t1)))
  (/ -1 (/ (cbrt (+ t1 u)) (sqrt t1)))
  (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) 1))
  (/ -1 (/ (cbrt (+ t1 u)) t1))
  (/ 1 (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (sqrt (+ t1 u)) (cbrt t1)))
  (/ 1 (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ -1 (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ 1 (/ (sqrt (+ t1 u)) 1))
  (/ -1 (/ (sqrt (+ t1 u)) t1))
  (/ 1 (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (+ t1 u) (cbrt t1)))
  (/ 1 (/ 1 (sqrt t1)))
  (/ -1 (/ (+ t1 u) (sqrt t1)))
  (/ 1 (/ 1 1))
  (/ -1 (/ (+ t1 u) t1))
  (/ 1 (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (+ t1 u) (cbrt t1)))
  (/ 1 (/ 1 (sqrt t1)))
  (/ -1 (/ (+ t1 u) (sqrt t1)))
  (/ 1 (/ 1 1))
  (/ -1 (/ (+ t1 u) t1))
  (/ 1 1)
  (/ -1 (/ (+ t1 u) t1))
  (/ 1 (+ t1 u))
  (/ -1 (/ 1 t1))
  (/ 1 (/ (+ t1 u) t1))
  (/ (/ (+ t1 u) t1) -1)
  (/ -1 (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ -1 (sqrt (/ (+ t1 u) t1)))
  (/ -1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (sqrt t1)))
  (/ -1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) 1))
  (/ -1 (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ (sqrt (+ t1 u)) (sqrt t1)))
  (/ -1 (/ (sqrt (+ t1 u)) 1))
  (/ -1 (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ 1 (sqrt t1)))
  (/ -1 (/ 1 1))
  (/ -1 (/ 1 (* (cbrt t1) (cbrt t1))))
  (/ -1 (/ 1 (sqrt t1)))
  (/ -1 (/ 1 1))
  (/ -1 1)
  (/ -1 (+ t1 u))
  (/ (/ (+ t1 u) t1) (cbrt -1))
  (/ (/ (+ t1 u) t1) (sqrt -1))
  (/ (/ (+ t1 u) t1) -1)
  (/ -1 (+ 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 (+ t1 u)) (log t1))
  (log (/ (+ t1 u) t1))
  (exp (/ (+ t1 u) t1))
  (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* t1 t1) t1))
  (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1)))
  (cbrt (/ (+ t1 u) t1))
  (* (* (/ (+ t1 u) t1) (/ (+ t1 u) t1)) (/ (+ t1 u) t1))
  (sqrt (/ (+ t1 u) t1))
  (sqrt (/ (+ t1 u) t1))
  (neg (+ t1 u))
  (neg t1)
  (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt t1) (cbrt t1)))
  (/ (cbrt (+ t1 u)) (cbrt t1))
  (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (sqrt t1))
  (/ (cbrt (+ t1 u)) (sqrt t1))
  (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) 1)
  (/ (cbrt (+ t1 u)) t1)
  (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1)))
  (/ (sqrt (+ t1 u)) (cbrt t1))
  (/ (sqrt (+ t1 u)) (sqrt t1))
  (/ (sqrt (+ t1 u)) (sqrt t1))
  (/ (sqrt (+ t1 u)) 1)
  (/ (sqrt (+ t1 u)) t1)
  (/ 1 (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (cbrt t1))
  (/ 1 (sqrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ 1 1)
  (/ (+ t1 u) t1)
  (/ 1 (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (cbrt t1))
  (/ 1 (sqrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ 1 1)
  (/ (+ t1 u) t1)
  (/ 1 t1)
  (/ t1 (+ t1 u))
  (/ (+ t1 u) (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) 1)
  (/ t1 (cbrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ t1 (+ t1 u))
  (/ t1 (+ t1 u))
  (* t1 (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* t1 (- t1 u))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  (+ 1 (/ u t1))
  (+ (/ u t1) 1)
  (+ (/ u t1) 1)
1.271 * * [simplify]: iteration  0 :  5023  enodes  (cost  3126 )
1.282 * [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))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u))))
  (pow (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)
  (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 v)
  (* (+ t1 u) (/ (+ t1 u) t1))
  (* (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 (/ v (+ t1 u))) (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (sqrt (/ v (+ t1 u))) (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (sqrt (/ v (+ t1 u))) (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (sqrt (/ v (+ t1 u))) (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (/ (sqrt v) (sqrt (+ t1 u))) (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (/ (sqrt v) (sqrt (+ t1 u))) (* (sqrt t1) (/ (sqrt -1) (sqrt (+ 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 (+ t1 u))) (/ (cbrt v) (cbrt (+ t1 u)))))
  (* (/ (neg t1) (+ t1 u)) (* (/ (cbrt v) (sqrt (+ t1 u))) (cbrt v)))
  (* (/ (neg t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (neg t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (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))
  (* (/ (neg t1) (+ t1 u)) (sqrt v))
  (/ (/ (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) (+ t1 u)) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (neg t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (/ v (+ t1 u)) (cbrt (/ (neg t1) (+ t1 u))))
  (* (/ v (+ t1 u)) (sqrt (/ (neg t1) (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (cbrt -1) (cbrt (/ (+ t1 u) t1))))
  (* (/ v (+ t1 u)) (/ (cbrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (cbrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (cbrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* t1 (/ (cbrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (cbrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (cbrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* t1 (/ (cbrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (cbrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (cbrt -1)))
  (* (/ v (+ t1 u)) (/ (sqrt -1) (cbrt (/ (+ t1 u) t1))))
  (* (/ v (+ t1 u)) (/ (sqrt -1) (sqrt (/ (+ t1 u) t1))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (sqrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (sqrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* t1 (/ (sqrt -1) (cbrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* t1 (/ (sqrt -1) (sqrt (+ t1 u)))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (cbrt t1) (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* (sqrt t1) (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (/ (sqrt -1) (+ t1 u))))
  (* (/ v (+ t1 u)) (* t1 (sqrt -1)))
  (/ (neg v) (* (cbrt (/ (+ t1 u) t1)) (+ t1 u)))
  (/ (neg v) (* (sqrt (/ (+ t1 u) t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (cbrt t1)) (cbrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (cbrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg t1) (cbrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg (cbrt t1)) (sqrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (sqrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg t1) (sqrt (+ t1 u))))
  (* (/ v (+ t1 u)) (/ (neg (cbrt t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (cbrt t1)) (+ t1 u)))
  (* (/ v (+ t1 u)) (/ (neg (sqrt t1)) (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) v)
  (* (/ (neg t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ v (+ t1 u)) (/ t1 (+ t1 u)))
  (* t1 (/ v (+ t1 u)))
  (* (/ (neg t1) (+ t1 u)) v)
  (/ (neg v) (+ t1 u))
  (log (/ (neg t1) (+ t1 u)))
  (log (/ (neg t1) (+ t1 u)))
  (log (/ (neg t1) (+ t1 u)))
  (exp (/ (neg t1) (+ t1 u)))
  (pow (/ (neg t1) (+ t1 u)) 3)
  (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)))
  1
  (/ (neg (+ t1 u)) t1)
  (* (/ (cbrt -1) (cbrt (/ (+ t1 u) t1))) (/ (cbrt -1) (cbrt (/ (+ t1 u) t1))))
  (/ (cbrt -1) (cbrt (/ (+ t1 u) t1)))
  (* (/ (cbrt -1) (sqrt (/ (+ t1 u) t1))) (cbrt -1))
  (/ (cbrt -1) (sqrt (/ (+ t1 u) t1)))
  (* (* (cbrt t1) (/ (cbrt -1) (cbrt (+ t1 u)))) (* (cbrt t1) (/ (cbrt -1) (cbrt (+ t1 u)))))
  (* (cbrt t1) (/ (cbrt -1) (cbrt (+ t1 u))))
  (* (sqrt t1) (* (/ (cbrt -1) (cbrt (+ t1 u))) (/ (cbrt -1) (cbrt (+ t1 u)))))
  (* (sqrt t1) (/ (cbrt -1) (cbrt (+ t1 u))))
  (* (/ (cbrt -1) (cbrt (+ t1 u))) (/ (cbrt -1) (cbrt (+ t1 u))))
  (* t1 (/ (cbrt -1) (cbrt (+ t1 u))))
  (* (* (cbrt t1) (cbrt t1)) (* (/ (cbrt -1) (sqrt (+ t1 u))) (cbrt -1)))
  (* (cbrt t1) (/ (cbrt -1) (sqrt (+ t1 u))))
  (* (sqrt t1) (* (/ (cbrt -1) (sqrt (+ t1 u))) (cbrt -1)))
  (* (sqrt t1) (/ (cbrt -1) (sqrt (+ t1 u))))
  (* (/ (cbrt -1) (sqrt (+ t1 u))) (cbrt -1))
  (* t1 (/ (cbrt -1) (sqrt (+ t1 u))))
  (* (cbrt -1) (* (cbrt -1) (* (cbrt t1) (cbrt t1))))
  (* (cbrt t1) (/ (cbrt -1) (+ t1 u)))
  (* (sqrt t1) (* (cbrt -1) (cbrt -1)))
  (* (sqrt t1) (/ (cbrt -1) (+ t1 u)))
  (* (cbrt -1) (cbrt -1))
  (* t1 (/ (cbrt -1) (+ t1 u)))
  (* (cbrt -1) (* (cbrt -1) (* (cbrt t1) (cbrt t1))))
  (* (cbrt t1) (/ (cbrt -1) (+ t1 u)))
  (* (sqrt t1) (* (cbrt -1) (cbrt -1)))
  (* (sqrt t1) (/ (cbrt -1) (+ t1 u)))
  (* (cbrt -1) (cbrt -1))
  (* t1 (/ (cbrt -1) (+ t1 u)))
  (* (cbrt -1) (cbrt -1))
  (* t1 (/ (cbrt -1) (+ t1 u)))
  (* (/ (cbrt -1) (+ t1 u)) (cbrt -1))
  (* t1 (cbrt -1))
  (/ (sqrt -1) (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ (sqrt -1) (cbrt (/ (+ t1 u) t1)))
  (/ (sqrt -1) (sqrt (/ (+ t1 u) t1)))
  (/ (sqrt -1) (sqrt (/ (+ t1 u) t1)))
  (* (* (cbrt t1) (/ (sqrt -1) (cbrt (+ t1 u)))) (/ (cbrt t1) (cbrt (+ t1 u))))
  (* (cbrt t1) (/ (sqrt -1) (cbrt (+ t1 u))))
  (* (sqrt t1) (/ (sqrt -1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (sqrt t1) (/ (sqrt -1) (cbrt (+ t1 u))))
  (/ (sqrt -1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* t1 (/ (sqrt -1) (cbrt (+ t1 u))))
  (* (* (cbrt t1) (/ (sqrt -1) (sqrt (+ t1 u)))) (cbrt t1))
  (* (cbrt t1) (/ (sqrt -1) (sqrt (+ t1 u))))
  (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u))))
  (* (sqrt t1) (/ (sqrt -1) (sqrt (+ t1 u))))
  (/ (sqrt -1) (sqrt (+ t1 u)))
  (* t1 (/ (sqrt -1) (sqrt (+ t1 u))))
  (* (sqrt -1) (* (cbrt t1) (cbrt t1)))
  (* (cbrt t1) (/ (sqrt -1) (+ t1 u)))
  (* (sqrt -1) (sqrt t1))
  (* (sqrt t1) (/ (sqrt -1) (+ t1 u)))
  (sqrt -1)
  (* t1 (/ (sqrt -1) (+ t1 u)))
  (* (sqrt -1) (* (cbrt t1) (cbrt t1)))
  (* (cbrt t1) (/ (sqrt -1) (+ t1 u)))
  (* (sqrt -1) (sqrt t1))
  (* (sqrt t1) (/ (sqrt -1) (+ t1 u)))
  (sqrt -1)
  (* t1 (/ (sqrt -1) (+ t1 u)))
  (sqrt -1)
  (* t1 (/ (sqrt -1) (+ t1 u)))
  (/ (sqrt -1) (+ t1 u))
  (* t1 (sqrt -1))
  (/ 1 (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ -1 (cbrt (/ (+ t1 u) t1)))
  (/ 1 (sqrt (/ (+ t1 u) t1)))
  (/ -1 (sqrt (/ (+ t1 u) t1)))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (cbrt t1) (cbrt (+ t1 u))))
  (/ (neg (cbrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg (sqrt t1)) (cbrt (+ t1 u)))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (neg t1) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (neg (cbrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (neg t1) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (neg (cbrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (neg (sqrt t1)) (+ t1 u))
  1
  (/ (neg t1) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (neg (cbrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (neg (sqrt t1)) (+ t1 u))
  1
  (/ (neg t1) (+ t1 u))
  1
  (/ (neg t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (neg t1)
  (/ t1 (+ t1 u))
  (/ (+ t1 u) (neg t1))
  (/ -1 (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1))))
  (/ -1 (sqrt (/ (+ t1 u) t1)))
  (* (/ (neg (cbrt t1)) (cbrt (+ t1 u))) (/ (cbrt t1) (cbrt (+ t1 u))))
  (/ (/ (neg (sqrt t1)) (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (/ (neg (cbrt t1)) (sqrt (+ t1 u))) (cbrt t1))
  (/ (neg (sqrt t1)) (sqrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (* (cbrt t1) (neg (cbrt t1)))
  (neg (sqrt t1))
  -1
  (* (cbrt t1) (neg (cbrt t1)))
  (neg (sqrt t1))
  -1
  -1
  (/ -1 (+ t1 u))
  (/ (+ t1 u) (* t1 (cbrt -1)))
  (/ (+ t1 u) (* t1 (sqrt -1)))
  (/ (+ t1 u) (neg t1))
  (/ -1 (+ 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 (+ t1 u))) (/ (cbrt v) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (* (/ (cbrt v) (sqrt (+ t1 u))) (cbrt v))
  (/ (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 (/ (+ t1 u) t1))
  (log (/ (+ t1 u) t1))
  (exp (/ (+ t1 u) t1))
  (pow (/ (+ t1 u) t1) 3)
  (* (cbrt (/ (+ t1 u) t1)) (cbrt (/ (+ t1 u) t1)))
  (cbrt (/ (+ t1 u) t1))
  (pow (/ (+ t1 u) t1) 3)
  (sqrt (/ (+ t1 u) t1))
  (sqrt (/ (+ t1 u) t1))
  (neg (+ t1 u))
  (neg t1)
  (* (cbrt (+ t1 u)) (/ (cbrt (+ t1 u)) (* (cbrt t1) (cbrt t1))))
  (/ (cbrt (+ t1 u)) (cbrt t1))
  (* (cbrt (+ t1 u)) (/ (cbrt (+ t1 u)) (sqrt t1)))
  (/ (cbrt (+ t1 u)) (sqrt t1))
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (/ (cbrt (+ t1 u)) t1)
  (/ (sqrt (+ t1 u)) (* (cbrt t1) (cbrt t1)))
  (/ (sqrt (+ t1 u)) (cbrt t1))
  (/ (sqrt (+ t1 u)) (sqrt t1))
  (/ (sqrt (+ t1 u)) (sqrt t1))
  (sqrt (+ t1 u))
  (/ (sqrt (+ t1 u)) t1)
  (/ 1 (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (cbrt t1))
  (/ 1 (sqrt t1))
  (/ (+ t1 u) (sqrt t1))
  1
  (/ (+ t1 u) t1)
  (/ 1 (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (cbrt t1))
  (/ 1 (sqrt t1))
  (/ (+ t1 u) (sqrt t1))
  1
  (/ (+ t1 u) t1)
  (/ 1 t1)
  (/ t1 (+ t1 u))
  (/ (+ t1 u) (* (cbrt t1) (cbrt t1)))
  (/ (+ t1 u) (sqrt t1))
  (+ t1 u)
  (/ t1 (cbrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ t1 (+ t1 u))
  (/ t1 (+ t1 u))
  (+ (pow t1 3) (* t1 (* u (- u t1))))
  (* t1 (- t1 u))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  (+ 1 (/ u t1))
  (+ 1 (/ u t1))
  (+ 1 (/ u t1))
1.284 * * * [progress]: adding candidates to table
1.509 * [progress]: [Phase 3 of 3] Extracting.
1.509 * * [regime]: Finding splitpoints for: (#<alt (λ (u v t1) (/ (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 (neg (* (sqrt v) (/ (sqrt v) (+ t1 u))))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 v) (neg (pow (sqrt (+ t1 u)) 4))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (cbrt (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)))> #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* (* (cbrt t1) (cbrt t1)) (* (/ v (+ t1 u)) (neg (cbrt t1)))) (+ t1 u)))> #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))> #<alt (λ (u v t1) (/ (/ (neg v) (+ t1 u)) (/ (+ t1 u) t1)))>)
1.511 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) t1 v u)
1.512 * * * * [regimes]: Trying to branch on (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) from (#<alt (λ (u v t1) (/ (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 (neg (* (sqrt v) (/ (sqrt v) (+ t1 u))))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 v) (neg (pow (sqrt (+ t1 u)) 4))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (cbrt (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)))> #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* (* (cbrt t1) (cbrt t1)) (* (/ v (+ t1 u)) (neg (cbrt t1)))) (+ t1 u)))> #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))> #<alt (λ (u v t1) (/ (/ (neg v) (+ t1 u)) (/ (+ t1 u) t1)))>)
1.580 * * * * [regimes]: Trying to branch on t1 from (#<alt (λ (u v t1) (/ (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 (neg (* (sqrt v) (/ (sqrt v) (+ t1 u))))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 v) (neg (pow (sqrt (+ t1 u)) 4))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (cbrt (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)))> #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* (* (cbrt t1) (cbrt t1)) (* (/ v (+ t1 u)) (neg (cbrt t1)))) (+ t1 u)))> #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))> #<alt (λ (u v t1) (/ (/ (neg v) (+ t1 u)) (/ (+ t1 u) t1)))>)
1.649 * * * * [regimes]: Trying to branch on v from (#<alt (λ (u v t1) (/ (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 (neg (* (sqrt v) (/ (sqrt v) (+ t1 u))))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 v) (neg (pow (sqrt (+ t1 u)) 4))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (cbrt (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)))> #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* (* (cbrt t1) (cbrt t1)) (* (/ v (+ t1 u)) (neg (cbrt t1)))) (+ t1 u)))> #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))> #<alt (λ (u v t1) (/ (/ (neg v) (+ t1 u)) (/ (+ t1 u) t1)))>)
1.717 * * * * [regimes]: Trying to branch on u from (#<alt (λ (u v t1) (/ (* (/ (neg t1) (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 (neg (* (sqrt v) (/ (sqrt v) (+ t1 u))))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* t1 v) (neg (pow (sqrt (+ t1 u)) 4))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (cbrt (pow (* (/ (neg v) (+ t1 u)) (/ t1 (+ t1 u))) 3)))> #<alt (λ (u v t1) (* (/ -1 (/ (+ t1 u) t1)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u)))> #<alt (λ (u v t1) (/ (* (* (cbrt t1) (cbrt t1)) (* (/ v (+ t1 u)) (neg (cbrt t1)))) (+ t1 u)))> #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))> #<alt (λ (u v t1) (/ (/ (neg v) (+ t1 u)) (/ (+ t1 u) t1)))>)
1.786 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
1.786 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* t1 (neg (/ v (+ t1 u)))) (+ t1 u))
1.787 * * [simplify]: iteration  0 :  20  enodes  (cost  12 )
1.787 * * [simplify]: iteration  1 :  20  enodes  (cost  12 )
1.787 * [simplify]: Simplified to:
   (/ (* t1 (/ (neg v) (+ t1 u))) (+ t1 u))
3.481 * [regime-testing]: End program error score: 1.4470084146909954