2.552 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.273 * * * [progress]: [2/2] Setting up program.
0.277 * [progress]: [Phase 2 of 3] Improving.
0.277 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
0.323 * * [simplify]: iteration  0 :  5073  enodes  (cost  12 )
0.323 * [simplify]: Simplified to:
   (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
0.328 * * [progress]: iteration 1 / 4
0.328 * * * [progress]: picking best candidate
0.333 * * * * [pick]: Picked  #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))>
0.333 * * * [progress]: localizing error
0.340 * * * [progress]: generating rewritten candidates
0.340 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.355 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.363 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.376 * * * [progress]: generating series expansions
0.376 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.377 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.377 * [taylor]: Taking taylor expansion of -1 in u
0.377 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.377 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.377 * [taylor]: Taking taylor expansion of t1 in u
0.377 * [taylor]: Taking taylor expansion of v in u
0.377 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.377 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.377 * [taylor]: Taking taylor expansion of t1 in u
0.377 * [taylor]: Taking taylor expansion of u in u
0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.377 * [taylor]: Taking taylor expansion of -1 in v
0.377 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.377 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.377 * [taylor]: Taking taylor expansion of t1 in v
0.377 * [taylor]: Taking taylor expansion of v in v
0.377 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.377 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.377 * [taylor]: Taking taylor expansion of t1 in v
0.377 * [taylor]: Taking taylor expansion of u in v
0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.377 * [taylor]: Taking taylor expansion of -1 in t1
0.377 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.377 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.377 * [taylor]: Taking taylor expansion of t1 in t1
0.377 * [taylor]: Taking taylor expansion of v in t1
0.377 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.377 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.377 * [taylor]: Taking taylor expansion of t1 in t1
0.377 * [taylor]: Taking taylor expansion of u in t1
0.378 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.378 * [taylor]: Taking taylor expansion of -1 in t1
0.378 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.378 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.378 * [taylor]: Taking taylor expansion of t1 in t1
0.378 * [taylor]: Taking taylor expansion of v in t1
0.378 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.378 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.378 * [taylor]: Taking taylor expansion of t1 in t1
0.378 * [taylor]: Taking taylor expansion of u in t1
0.378 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v
0.378 * [taylor]: Taking taylor expansion of -1 in v
0.378 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
0.378 * [taylor]: Taking taylor expansion of v in v
0.378 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.378 * [taylor]: Taking taylor expansion of u in v
0.378 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.378 * [taylor]: Taking taylor expansion of -1 in u
0.378 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.378 * [taylor]: Taking taylor expansion of u in u
0.379 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v
0.379 * [taylor]: Taking taylor expansion of 2 in v
0.379 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
0.379 * [taylor]: Taking taylor expansion of v in v
0.379 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.379 * [taylor]: Taking taylor expansion of u in v
0.379 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u
0.379 * [taylor]: Taking taylor expansion of 2 in u
0.379 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.379 * [taylor]: Taking taylor expansion of u in u
0.380 * [taylor]: Taking taylor expansion of 0 in u
0.381 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in v
0.381 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v
0.381 * [taylor]: Taking taylor expansion of 3 in v
0.381 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v
0.381 * [taylor]: Taking taylor expansion of v in v
0.381 * [taylor]: Taking taylor expansion of (pow u 4) in v
0.381 * [taylor]: Taking taylor expansion of u in v
0.381 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 4)))) in u
0.381 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u
0.381 * [taylor]: Taking taylor expansion of 3 in u
0.381 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u
0.381 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.381 * [taylor]: Taking taylor expansion of u in u
0.382 * [taylor]: Taking taylor expansion of 0 in u
0.382 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.382 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.382 * [taylor]: Taking taylor expansion of -1 in u
0.382 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.382 * [taylor]: Taking taylor expansion of t1 in u
0.382 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.382 * [taylor]: Taking taylor expansion of v in u
0.382 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.382 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.382 * [taylor]: Taking taylor expansion of u in u
0.382 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.382 * [taylor]: Taking taylor expansion of t1 in u
0.383 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.383 * [taylor]: Taking taylor expansion of -1 in v
0.383 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.383 * [taylor]: Taking taylor expansion of t1 in v
0.383 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.383 * [taylor]: Taking taylor expansion of v in v
0.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.383 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.383 * [taylor]: Taking taylor expansion of u in v
0.383 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.383 * [taylor]: Taking taylor expansion of t1 in v
0.384 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.384 * [taylor]: Taking taylor expansion of -1 in t1
0.384 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.384 * [taylor]: Taking taylor expansion of t1 in t1
0.384 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.384 * [taylor]: Taking taylor expansion of v in t1
0.384 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.384 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.384 * [taylor]: Taking taylor expansion of u in t1
0.384 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.384 * [taylor]: Taking taylor expansion of t1 in t1
0.384 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.384 * [taylor]: Taking taylor expansion of -1 in t1
0.384 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.384 * [taylor]: Taking taylor expansion of t1 in t1
0.384 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.384 * [taylor]: Taking taylor expansion of v in t1
0.384 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.384 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.384 * [taylor]: Taking taylor expansion of u in t1
0.384 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.384 * [taylor]: Taking taylor expansion of t1 in t1
0.385 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.385 * [taylor]: Taking taylor expansion of -1 in v
0.385 * [taylor]: Taking taylor expansion of v in v
0.385 * [taylor]: Taking taylor expansion of -1 in u
0.385 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.385 * [taylor]: Taking taylor expansion of 2 in v
0.385 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.385 * [taylor]: Taking taylor expansion of (* v u) in v
0.385 * [taylor]: Taking taylor expansion of v in v
0.385 * [taylor]: Taking taylor expansion of u in v
0.385 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.385 * [taylor]: Taking taylor expansion of 2 in u
0.385 * [taylor]: Taking taylor expansion of u in u
0.386 * [taylor]: Taking taylor expansion of 0 in u
0.386 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.386 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.386 * [taylor]: Taking taylor expansion of 3 in v
0.386 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.386 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.386 * [taylor]: Taking taylor expansion of v in v
0.386 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.386 * [taylor]: Taking taylor expansion of u in v
0.387 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.387 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.387 * [taylor]: Taking taylor expansion of 3 in u
0.387 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.387 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.387 * [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.388 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.388 * [taylor]: Taking taylor expansion of -1 in u
0.388 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.388 * [taylor]: Taking taylor expansion of t1 in u
0.388 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.388 * [taylor]: Taking taylor expansion of v in u
0.388 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.388 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.388 * [taylor]: Taking taylor expansion of u in u
0.388 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.388 * [taylor]: Taking taylor expansion of t1 in u
0.388 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.388 * [taylor]: Taking taylor expansion of -1 in v
0.388 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.388 * [taylor]: Taking taylor expansion of t1 in v
0.388 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.388 * [taylor]: Taking taylor expansion of v in v
0.388 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.388 * [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.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 (* 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.390 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.390 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.390 * [taylor]: Taking taylor expansion of u in t1
0.390 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.390 * [taylor]: Taking taylor expansion of t1 in t1
0.390 * [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.391 * [taylor]: Taking taylor expansion of v in v
0.391 * [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.392 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.392 * [taylor]: Taking taylor expansion of 3 in v
0.392 * [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 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.393 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in (v t1 u) around 0
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in u
0.393 * [taylor]: Taking taylor expansion of -1 in u
0.393 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in u
0.393 * [taylor]: Taking taylor expansion of v in u
0.393 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.393 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.393 * [taylor]: Taking taylor expansion of t1 in u
0.393 * [taylor]: Taking taylor expansion of u in u
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in t1
0.393 * [taylor]: Taking taylor expansion of -1 in t1
0.393 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in t1
0.393 * [taylor]: Taking taylor expansion of v in t1
0.393 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.393 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.393 * [taylor]: Taking taylor expansion of t1 in t1
0.393 * [taylor]: Taking taylor expansion of u in t1
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in v
0.393 * [taylor]: Taking taylor expansion of -1 in v
0.393 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in v
0.393 * [taylor]: Taking taylor expansion of v in v
0.393 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.393 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.393 * [taylor]: Taking taylor expansion of t1 in v
0.393 * [taylor]: Taking taylor expansion of u in v
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in v
0.393 * [taylor]: Taking taylor expansion of -1 in v
0.393 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in v
0.393 * [taylor]: Taking taylor expansion of v in v
0.393 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.393 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.393 * [taylor]: Taking taylor expansion of t1 in v
0.393 * [taylor]: Taking taylor expansion of u in v
0.394 * [taylor]: Taking taylor expansion of (/ -1 (pow (+ t1 u) 2)) in t1
0.394 * [taylor]: Taking taylor expansion of -1 in t1
0.394 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.394 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.394 * [taylor]: Taking taylor expansion of t1 in t1
0.394 * [taylor]: Taking taylor expansion of u in t1
0.394 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.394 * [taylor]: Taking taylor expansion of -1 in u
0.394 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.394 * [taylor]: Taking taylor expansion of u in u
0.394 * [taylor]: Taking taylor expansion of 0 in t1
0.394 * [taylor]: Taking taylor expansion of 0 in u
0.395 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u
0.395 * [taylor]: Taking taylor expansion of 2 in u
0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
0.395 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.395 * [taylor]: Taking taylor expansion of u in u
0.396 * [taylor]: Taking taylor expansion of 0 in t1
0.396 * [taylor]: Taking taylor expansion of 0 in u
0.396 * [taylor]: Taking taylor expansion of 0 in u
0.396 * [approximate]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in (v t1 u) around 0
0.396 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.396 * [taylor]: Taking taylor expansion of -1 in u
0.396 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.396 * [taylor]: Taking taylor expansion of v in u
0.396 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.396 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.396 * [taylor]: Taking taylor expansion of u in u
0.396 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.396 * [taylor]: Taking taylor expansion of t1 in u
0.396 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.396 * [taylor]: Taking taylor expansion of -1 in t1
0.396 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.396 * [taylor]: Taking taylor expansion of v in t1
0.396 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.396 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.396 * [taylor]: Taking taylor expansion of u in t1
0.396 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.396 * [taylor]: Taking taylor expansion of t1 in t1
0.396 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.396 * [taylor]: Taking taylor expansion of -1 in v
0.396 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.396 * [taylor]: Taking taylor expansion of v in v
0.396 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.396 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.396 * [taylor]: Taking taylor expansion of u in v
0.396 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.396 * [taylor]: Taking taylor expansion of t1 in v
0.397 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.397 * [taylor]: Taking taylor expansion of -1 in v
0.397 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.397 * [taylor]: Taking taylor expansion of v in v
0.397 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.397 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.397 * [taylor]: Taking taylor expansion of u in v
0.397 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.397 * [taylor]: Taking taylor expansion of t1 in v
0.398 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))))) in t1
0.398 * [taylor]: Taking taylor expansion of -1 in t1
0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2)))) in t1
0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow t1 2)) in t1
0.398 * [taylor]: Taking taylor expansion of (pow t1 2) in t1
0.398 * [taylor]: Taking taylor expansion of t1 in t1
0.398 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))) in t1
0.398 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* t1 u))) in t1
0.398 * [taylor]: Taking taylor expansion of 2 in t1
0.398 * [taylor]: Taking taylor expansion of (/ 1 (* t1 u)) 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 (/ 1 (pow u 2)) in t1
0.398 * [taylor]: Taking taylor expansion of (pow u 2) in t1
0.398 * [taylor]: Taking taylor expansion of u in t1
0.398 * [taylor]: Taking taylor expansion of -1 in u
0.399 * [taylor]: Taking taylor expansion of 0 in t1
0.399 * [taylor]: Taking taylor expansion of 0 in u
0.400 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.400 * [taylor]: Taking taylor expansion of 2 in u
0.400 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.400 * [taylor]: Taking taylor expansion of u in u
0.401 * [taylor]: Taking taylor expansion of 0 in t1
0.401 * [taylor]: Taking taylor expansion of 0 in u
0.401 * [taylor]: Taking taylor expansion of 0 in u
0.401 * [approximate]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in (v t1 u) around 0
0.401 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.401 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.401 * [taylor]: Taking taylor expansion of v in u
0.401 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.401 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) 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 t1) in u
0.401 * [taylor]: Taking taylor expansion of t1 in u
0.401 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.401 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.401 * [taylor]: Taking taylor expansion of v in t1
0.401 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.401 * [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.402 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.402 * [taylor]: Taking taylor expansion of t1 in t1
0.402 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.402 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.402 * [taylor]: Taking taylor expansion of v in v
0.402 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.402 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.402 * [taylor]: Taking taylor expansion of u in v
0.402 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.402 * [taylor]: Taking taylor expansion of t1 in v
0.402 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.402 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.402 * [taylor]: Taking taylor expansion of v in v
0.403 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.403 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.403 * [taylor]: Taking taylor expansion of u in v
0.403 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.403 * [taylor]: Taking taylor expansion of t1 in v
0.403 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))))) in t1
0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2)))) in t1
0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow t1 2)) in t1
0.403 * [taylor]: Taking taylor expansion of (pow t1 2) in t1
0.403 * [taylor]: Taking taylor expansion of t1 in t1
0.403 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))) in t1
0.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* t1 u))) in t1
0.404 * [taylor]: Taking taylor expansion of 2 in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 (* t1 u)) in t1
0.404 * [taylor]: Taking taylor expansion of (* t1 u) in t1
0.404 * [taylor]: Taking taylor expansion of t1 in t1
0.404 * [taylor]: Taking taylor expansion of u in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in t1
0.404 * [taylor]: Taking taylor expansion of (pow u 2) in t1
0.404 * [taylor]: Taking taylor expansion of u in t1
0.404 * [taylor]: Taking taylor expansion of 1 in u
0.404 * [taylor]: Taking taylor expansion of 0 in t1
0.404 * [taylor]: Taking taylor expansion of 0 in u
0.405 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.405 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.405 * [taylor]: Taking taylor expansion of 2 in u
0.405 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.405 * [taylor]: Taking taylor expansion of u in u
0.406 * [taylor]: Taking taylor expansion of 0 in t1
0.406 * [taylor]: Taking taylor expansion of 0 in u
0.406 * [taylor]: Taking taylor expansion of 0 in u
0.406 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.406 * [approximate]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in (t1 u) around 0
0.406 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in u
0.406 * [taylor]: Taking taylor expansion of -1 in u
0.406 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.406 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.406 * [taylor]: Taking taylor expansion of t1 in u
0.406 * [taylor]: Taking taylor expansion of u in u
0.406 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in t1
0.406 * [taylor]: Taking taylor expansion of -1 in t1
0.406 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.406 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.406 * [taylor]: Taking taylor expansion of t1 in t1
0.406 * [taylor]: Taking taylor expansion of u in t1
0.406 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in t1
0.406 * [taylor]: Taking taylor expansion of -1 in t1
0.406 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.406 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.406 * [taylor]: Taking taylor expansion of t1 in t1
0.406 * [taylor]: Taking taylor expansion of u in t1
0.407 * [taylor]: Taking taylor expansion of (* -1 (pow u 2)) in u
0.407 * [taylor]: Taking taylor expansion of -1 in u
0.407 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.407 * [taylor]: Taking taylor expansion of u in u
0.407 * [taylor]: Taking taylor expansion of (neg (* 2 u)) in u
0.407 * [taylor]: Taking taylor expansion of (* 2 u) in u
0.407 * [taylor]: Taking taylor expansion of 2 in u
0.407 * [taylor]: Taking taylor expansion of u in u
0.407 * [taylor]: Taking taylor expansion of (neg 1) in u
0.407 * [taylor]: Taking taylor expansion of 1 in u
0.407 * [approximate]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in (t1 u) around 0
0.407 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.407 * [taylor]: Taking taylor expansion of -1 in u
0.407 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.408 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.408 * [taylor]: Taking taylor expansion of u in u
0.408 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.408 * [taylor]: Taking taylor expansion of t1 in u
0.408 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.408 * [taylor]: Taking taylor expansion of -1 in t1
0.408 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.408 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.408 * [taylor]: Taking taylor expansion of u in t1
0.408 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.408 * [taylor]: Taking taylor expansion of t1 in t1
0.408 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.408 * [taylor]: Taking taylor expansion of -1 in t1
0.408 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.408 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.408 * [taylor]: Taking taylor expansion of u in t1
0.408 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.408 * [taylor]: Taking taylor expansion of t1 in t1
0.408 * [taylor]: Taking taylor expansion of -1 in u
0.408 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.408 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.408 * [taylor]: Taking taylor expansion of 2 in u
0.408 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.408 * [taylor]: Taking taylor expansion of u in u
0.409 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.409 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.409 * [taylor]: Taking taylor expansion of u in u
0.409 * [approximate]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in (t1 u) around 0
0.409 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.409 * [taylor]: Taking taylor expansion of -1 in u
0.409 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.409 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.409 * [taylor]: Taking taylor expansion of u in u
0.409 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.409 * [taylor]: Taking taylor expansion of t1 in u
0.409 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.409 * [taylor]: Taking taylor expansion of -1 in t1
0.409 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.409 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.409 * [taylor]: Taking taylor expansion of u in t1
0.409 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.409 * [taylor]: Taking taylor expansion of t1 in t1
0.409 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.409 * [taylor]: Taking taylor expansion of -1 in t1
0.410 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.410 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.410 * [taylor]: Taking taylor expansion of u in t1
0.410 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.410 * [taylor]: Taking taylor expansion of t1 in t1
0.410 * [taylor]: Taking taylor expansion of -1 in u
0.410 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.410 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.410 * [taylor]: Taking taylor expansion of 2 in u
0.410 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.410 * [taylor]: Taking taylor expansion of u in u
0.410 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.410 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.410 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.410 * [taylor]: Taking taylor expansion of u in u
0.411 * * * [progress]: simplifying candidates
0.412 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (+ (log t1) (- (log v) (+ (log (+ t1 u)) (log (neg (+ t1 u))))))
  (+ (log t1) (- (log v) (log (* (+ t1 u) (neg (+ t1 u))))))
  (+ (log t1) (log (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (log (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (exp (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (* (* t1 t1) t1) (/ (* (* v v) v) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u))))))
  (* (* (* t1 t1) t1) (/ (* (* v v) v) (* (* (* (+ t1 u) (neg (+ t1 u))) (* (+ t1 u) (neg (+ t1 u)))) (* (+ t1 u) (neg (+ t1 u))))))
  (* (* (* t1 t1) t1) (* (* (/ v (* (+ t1 u) (neg (+ t1 u)))) (/ v (* (+ t1 u) (neg (+ t1 u))))) (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))) (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))))
  (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (* (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (sqrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (sqrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (sqrt t1) (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (sqrt t1) (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* t1 (* (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))) (cbrt (/ v (* (+ t1 u) (neg (+ t1 u)))))))
  (* t1 (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (+ t1 u)))
  (* t1 (/ (sqrt v) (+ t1 u)))
  (* t1 (/ 1 (+ t1 u)))
  (* t1 1)
  (* t1 v)
  (* t1 (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (+ (pow t1 3) (pow u 3)) (neg (- (* t1 t1) (* u u))))))
  (* t1 (/ v (* (- (* t1 t1) (* u u)) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (- (* t1 t1) (* u u)) (neg (- (* t1 t1) (* u u))))))
  (* t1 (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (+ t1 u) (neg (- (* t1 t1) (* u u))))))
  (* t1 (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ t1 u)))))
  (* t1 (/ v (* (- (* t1 t1) (* u u)) (neg (+ t1 u)))))
  (* (cbrt t1) (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (* (sqrt t1) (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (* t1 v)
  (- (log v) (+ (log (+ t1 u)) (log (neg (+ t1 u)))))
  (- (log v) (log (* (+ t1 u) (neg (+ t1 u)))))
  (log (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (exp (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (/ (* (* v v) v) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (/ (* (* v v) v) (* (* (* (+ t1 u) (neg (+ t1 u))) (* (+ t1 u) (neg (+ t1 u)))) (* (+ t1 u) (neg (+ t1 u)))))
  (* (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))) (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (cbrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (* (* (/ v (* (+ t1 u) (neg (+ t1 u)))) (/ v (* (+ t1 u) (neg (+ t1 u))))) (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (sqrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (sqrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (neg v)
  (neg (* (+ t1 u) (neg (+ t1 u))))
  (/ (* (cbrt v) (cbrt v)) (+ t1 u))
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (neg (+ t1 u)))
  (/ 1 (+ t1 u))
  (/ v (neg (+ t1 u)))
  (/ 1 (* (+ t1 u) (neg (+ t1 u))))
  (/ (* (+ t1 u) (neg (+ t1 u))) v)
  (/ v (+ t1 u))
  (/ (* (+ t1 u) (neg (+ t1 u))) (cbrt v))
  (/ (* (+ t1 u) (neg (+ t1 u))) (sqrt v))
  (/ (* (+ t1 u) (neg (+ t1 u))) v)
  (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (+ (pow t1 3) (pow u 3)) (neg (- (* t1 t1) (* u u)))))
  (/ v (* (- (* t1 t1) (* u u)) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (- (* t1 t1) (* u u)) (neg (- (* t1 t1) (* u u)))))
  (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (+ t1 u) (neg (- (* t1 t1) (* u u)))))
  (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ t1 u))))
  (/ v (* (- (* t1 t1) (* u u)) (neg (+ t1 u))))
  (* (+ t1 u) (neg (+ t1 u)))
  (+ (log (+ t1 u)) (log (neg (+ t1 u))))
  (log (* (+ t1 u) (neg (+ t1 u))))
  (exp (* (+ t1 u) (neg (+ t1 u))))
  (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u))))
  (* (cbrt (* (+ t1 u) (neg (+ t1 u)))) (cbrt (* (+ t1 u) (neg (+ t1 u)))))
  (cbrt (* (+ t1 u) (neg (+ t1 u))))
  (* (* (* (+ t1 u) (neg (+ t1 u))) (* (+ t1 u) (neg (+ t1 u)))) (* (+ t1 u) (neg (+ t1 u))))
  (sqrt (* (+ t1 u) (neg (+ t1 u))))
  (sqrt (* (+ t1 u) (neg (+ t1 u))))
  (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3))))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* (+ (pow t1 3) (pow u 3)) (neg (- (* t1 t1) (* u u))))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1 u))
  (* (- (* t1 t1) (* u u)) (neg (+ (pow t1 3) (pow u 3))))
  (* (- t1 u) (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* (- (* t1 t1) (* u u)) (neg (- (* t1 t1) (* u u))))
  (* (- t1 u) (- t1 u))
  (* (sqrt (+ t1 u)) (sqrt (neg (+ t1 u))))
  (* (sqrt (+ t1 u)) (sqrt (neg (+ t1 u))))
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (neg t1))
  (* (+ t1 u) (neg u))
  (* (neg t1) (+ t1 u))
  (* (neg u) (+ t1 u))
  (* (+ t1 u) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (* (+ t1 u) (sqrt (neg (+ t1 u))))
  (* (+ t1 u) 1)
  (* (+ t1 u) -1)
  (* (+ t1 u) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (+ t1 u) (neg (sqrt (+ t1 u))))
  (* (+ t1 u) (neg 1))
  (* (+ t1 u) (neg 1))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (+ t1 u) (sqrt (+ t1 u)))
  (* (+ t1 u) 1)
  (* (+ t1 u) 1)
  (* (cbrt (+ t1 u)) (neg (+ t1 u)))
  (* (sqrt (+ t1 u)) (neg (+ t1 u)))
  (* (+ t1 u) (neg (+ t1 u)))
  (* (+ t1 u) (neg (+ t1 u)))
  (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))
  (* (+ t1 u) (neg (- (* t1 t1) (* u u))))
  (* (+ (pow t1 3) (pow u 3)) (neg (+ t1 u)))
  (* (- (* t1 t1) (* u u)) (neg (+ t1 u)))
  0
  0
  0
  0
  0
  0
  (neg (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))))
  (neg (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))))
  (neg (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))))
0.448 * * [simplify]: iteration  0 :  4984  enodes  (cost  1307 )
0.449 * * [simplify]: iteration  1 :  4984  enodes  (cost  1307 )
0.453 * [simplify]: Simplified to:
   (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (log (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (log (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (log (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (log (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (pow (exp (/ v (* (+ t1 u) (neg (+ t1 u))))) t1)
  (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))
  (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))
  (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))
  (* (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))) (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))))
  (cbrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))
  (sqrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (sqrt (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (sqrt t1) (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* (sqrt t1) (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* t1 (* (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))) (cbrt (/ v (* (+ t1 u) (neg (+ t1 u)))))))
  (* t1 (sqrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (/ (sqrt v) (+ t1 u)))
  (/ t1 (+ t1 u))
  t1
  (* t1 v)
  (* t1 (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3)))))))
  (* t1 (/ v (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3)))))))
  (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u)))))))
  (* t1 (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (+ t1 u) (* (+ t1 u) (neg (- t1 u))))))
  (* t1 (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))))
  (* t1 (/ v (* (+ t1 u) (* (+ t1 u) (neg (- t1 u))))))
  (* (/ v (* (+ t1 u) (neg (+ t1 u)))) (cbrt t1))
  (* (/ v (* (+ t1 u) (neg (+ t1 u)))) (sqrt t1))
  (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (* t1 v)
  (log (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (log (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (log (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (exp (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (/ (pow v 3) (neg (pow (+ t1 u) 6)))
  (/ (pow v 3) (neg (pow (+ t1 u) 6)))
  (* (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))) (cbrt (/ v (* (+ t1 u) (neg (+ t1 u))))))
  (cbrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (/ (pow v 3) (neg (pow (+ t1 u) 6)))
  (sqrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (sqrt (/ v (* (+ t1 u) (neg (+ t1 u)))))
  (neg v)
  (* (+ t1 u) (+ t1 u))
  (* (cbrt v) (/ (cbrt v) (+ t1 u)))
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (neg (+ t1 u)))
  (/ 1 (+ t1 u))
  (/ v (neg (+ t1 u)))
  (/ 1 (* (+ t1 u) (neg (+ t1 u))))
  (* (/ (+ t1 u) v) (neg (+ t1 u)))
  (/ v (+ t1 u))
  (* (/ (+ t1 u) (cbrt v)) (neg (+ t1 u)))
  (* (/ (+ t1 u) (sqrt v)) (neg (+ t1 u)))
  (* (/ (+ t1 u) v) (neg (+ t1 u)))
  (/ v (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3))))))
  (/ v (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3))))))
  (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))
  (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (+ t1 u) (* (+ t1 u) (neg (- t1 u)))))
  (/ v (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3)))))
  (/ v (* (+ t1 u) (* (+ t1 u) (neg (- t1 u)))))
  (* (+ t1 u) (neg (+ t1 u)))
  (log (* (+ t1 u) (neg (+ t1 u))))
  (log (* (+ t1 u) (neg (+ t1 u))))
  (pow (exp (+ t1 u)) (neg (+ t1 u)))
  (neg (pow (+ t1 u) 6))
  (* (cbrt (* (+ t1 u) (neg (+ t1 u)))) (cbrt (* (+ t1 u) (neg (+ t1 u)))))
  (cbrt (* (+ t1 u) (neg (+ t1 u))))
  (neg (pow (+ t1 u) 6))
  (sqrt (* (+ t1 u) (neg (+ t1 u))))
  (sqrt (* (+ t1 u) (neg (+ t1 u))))
  (* (+ (pow t1 3) (pow u 3)) (neg (+ (pow t1 3) (pow u 3))))
  (* (+ (* t1 t1) (* u (- u t1))) (+ (* t1 t1) (* u (- u t1))))
  (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3)))))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (+ t1 u) (* (- t1 u) (neg (+ (pow t1 3) (pow u 3)))))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u)))))
  (* (- t1 u) (- t1 u))
  (* (sqrt (+ t1 u)) (sqrt (neg (+ t1 u))))
  (* (sqrt (+ t1 u)) (sqrt (neg (+ t1 u))))
  (* (+ t1 u) (+ t1 u))
  (* t1 (neg (+ t1 u)))
  (* u (neg (+ t1 u)))
  (* t1 (neg (+ t1 u)))
  (* u (neg (+ t1 u)))
  (* (+ t1 u) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (* (+ t1 u) (sqrt (neg (+ t1 u))))
  (+ t1 u)
  (neg (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (* (+ t1 u) (neg (sqrt (+ t1 u))))
  (neg (+ t1 u))
  (neg (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (+ t1 u) (sqrt (+ t1 u)))
  (+ t1 u)
  (+ t1 u)
  (* (+ t1 u) (neg (cbrt (+ t1 u))))
  (* (+ t1 u) (neg (sqrt (+ t1 u))))
  (* (+ t1 u) (neg (+ t1 u)))
  (* (+ t1 u) (neg (+ t1 u)))
  (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))
  (* (+ t1 u) (* (+ t1 u) (neg (- t1 u))))
  (* (+ t1 u) (neg (+ (pow t1 3) (pow u 3))))
  (* (+ t1 u) (* (+ t1 u) (neg (- t1 u))))
  0
  0
  0
  0
  0
  0
  (neg (+ (* t1 t1) (* u (+ u (* t1 2)))))
  (neg (+ (* t1 t1) (* u (+ u (* t1 2)))))
  (neg (+ (* t1 t1) (* u (+ u (* t1 2)))))
0.454 * * * [progress]: adding candidates to table
0.549 * * [progress]: iteration 2 / 4
0.549 * * * [progress]: picking best candidate
0.574 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))>
0.574 * * * [progress]: localizing error
0.585 * * * [progress]: generating rewritten candidates
0.585 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.594 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.596 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
0.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.599 * * * [progress]: generating series expansions
0.599 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.599 * [approximate]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in (t1 v u) around 0
0.599 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in u
0.599 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
0.599 * [taylor]: Taking taylor expansion of t1 in u
0.599 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.599 * [taylor]: Taking taylor expansion of t1 in u
0.599 * [taylor]: Taking taylor expansion of u in u
0.599 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in u
0.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in u
0.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in u
0.599 * [taylor]: Taking taylor expansion of 1/3 in u
0.599 * [taylor]: Taking taylor expansion of (log (pow v 2)) in u
0.599 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.599 * [taylor]: Taking taylor expansion of v in u
0.600 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in v
0.600 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in v
0.600 * [taylor]: Taking taylor expansion of t1 in v
0.600 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.600 * [taylor]: Taking taylor expansion of t1 in v
0.600 * [taylor]: Taking taylor expansion of u in v
0.600 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.600 * [taylor]: Taking taylor expansion of 1/3 in v
0.600 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.600 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.600 * [taylor]: Taking taylor expansion of v in v
0.600 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.600 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.600 * [taylor]: Taking taylor expansion of t1 in t1
0.600 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.600 * [taylor]: Taking taylor expansion of t1 in t1
0.600 * [taylor]: Taking taylor expansion of u in t1
0.600 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.600 * [taylor]: Taking taylor expansion of 1/3 in t1
0.600 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.600 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.600 * [taylor]: Taking taylor expansion of v in t1
0.600 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.600 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.600 * [taylor]: Taking taylor expansion of t1 in t1
0.600 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.601 * [taylor]: Taking taylor expansion of t1 in t1
0.601 * [taylor]: Taking taylor expansion of u in t1
0.601 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.601 * [taylor]: Taking taylor expansion of 1/3 in t1
0.601 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.601 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.601 * [taylor]: Taking taylor expansion of v in t1
0.601 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 u)) in v
0.601 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.601 * [taylor]: Taking taylor expansion of 1/3 in v
0.601 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.601 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.601 * [taylor]: Taking taylor expansion of v in v
0.601 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.601 * [taylor]: Taking taylor expansion of u in v
0.601 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) u) in u
0.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.601 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.601 * [taylor]: Taking taylor expansion of 1/3 in u
0.601 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.602 * [taylor]: Taking taylor expansion of (log 1) in u
0.602 * [taylor]: Taking taylor expansion of 1 in u
0.602 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.602 * [taylor]: Taking taylor expansion of 2 in u
0.602 * [taylor]: Taking taylor expansion of (log v) in u
0.602 * [taylor]: Taking taylor expansion of v in u
0.602 * [taylor]: Taking taylor expansion of u in u
0.603 * [taylor]: Taking taylor expansion of (neg (* (pow (pow v 2) 1/3) (/ 1 (pow u 2)))) in v
0.603 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 2))) in v
0.603 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.603 * [taylor]: Taking taylor expansion of 1/3 in v
0.603 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.603 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.603 * [taylor]: Taking taylor expansion of v in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.603 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.603 * [taylor]: Taking taylor expansion of u in v
0.604 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2))) in u
0.604 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2)) in u
0.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.604 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.604 * [taylor]: Taking taylor expansion of 1/3 in u
0.604 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.604 * [taylor]: Taking taylor expansion of (log 1) in u
0.604 * [taylor]: Taking taylor expansion of 1 in u
0.604 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.604 * [taylor]: Taking taylor expansion of 2 in u
0.604 * [taylor]: Taking taylor expansion of (log v) in u
0.604 * [taylor]: Taking taylor expansion of v in u
0.604 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.604 * [taylor]: Taking taylor expansion of u in u
0.606 * [taylor]: Taking taylor expansion of 0 in u
0.607 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 3))) in v
0.607 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.607 * [taylor]: Taking taylor expansion of 1/3 in v
0.607 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.607 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.607 * [taylor]: Taking taylor expansion of v in v
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in v
0.608 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.608 * [taylor]: Taking taylor expansion of u in v
0.608 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 3)) in u
0.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.608 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.608 * [taylor]: Taking taylor expansion of 1/3 in u
0.608 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.608 * [taylor]: Taking taylor expansion of (log 1) in u
0.608 * [taylor]: Taking taylor expansion of 1 in u
0.608 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.608 * [taylor]: Taking taylor expansion of 2 in u
0.608 * [taylor]: Taking taylor expansion of (log v) in u
0.608 * [taylor]: Taking taylor expansion of v in u
0.608 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.608 * [taylor]: Taking taylor expansion of u in u
0.611 * [taylor]: Taking taylor expansion of 0 in u
0.612 * [approximate]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in (t1 v u) around 0
0.612 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.612 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.612 * [taylor]: Taking taylor expansion of t1 in u
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.612 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.612 * [taylor]: Taking taylor expansion of u in u
0.612 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.612 * [taylor]: Taking taylor expansion of t1 in u
0.612 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.612 * [taylor]: Taking taylor expansion of 1/3 in u
0.612 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.612 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.612 * [taylor]: Taking taylor expansion of v in u
0.612 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.612 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.612 * [taylor]: Taking taylor expansion of t1 in v
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.612 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.612 * [taylor]: Taking taylor expansion of u in v
0.612 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.612 * [taylor]: Taking taylor expansion of t1 in v
0.613 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.613 * [taylor]: Taking taylor expansion of 1/3 in v
0.613 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.613 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.613 * [taylor]: Taking taylor expansion of v in v
0.613 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.613 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.613 * [taylor]: Taking taylor expansion of t1 in t1
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.613 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.613 * [taylor]: Taking taylor expansion of u in t1
0.613 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.613 * [taylor]: Taking taylor expansion of t1 in t1
0.613 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.613 * [taylor]: Taking taylor expansion of 1/3 in t1
0.613 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.613 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.613 * [taylor]: Taking taylor expansion of v in t1
0.614 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.614 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.614 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.614 * [taylor]: Taking taylor expansion of t1 in t1
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.614 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.614 * [taylor]: Taking taylor expansion of u in t1
0.614 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.614 * [taylor]: Taking taylor expansion of t1 in t1
0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.614 * [taylor]: Taking taylor expansion of 1/3 in t1
0.614 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.614 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.614 * [taylor]: Taking taylor expansion of v in t1
0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.614 * [taylor]: Taking taylor expansion of 1/3 in v
0.614 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.614 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.614 * [taylor]: Taking taylor expansion of v in v
0.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.615 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.615 * [taylor]: Taking taylor expansion of 1/3 in u
0.615 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.615 * [taylor]: Taking taylor expansion of (log 1) in u
0.615 * [taylor]: Taking taylor expansion of 1 in u
0.615 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.615 * [taylor]: Taking taylor expansion of 2 in u
0.615 * [taylor]: Taking taylor expansion of (log v) in u
0.615 * [taylor]: Taking taylor expansion of v in u
0.616 * [taylor]: Taking taylor expansion of (neg (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u))) in v
0.616 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u)) in v
0.616 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.616 * [taylor]: Taking taylor expansion of 1/3 in v
0.616 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.616 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.616 * [taylor]: Taking taylor expansion of v in v
0.617 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.617 * [taylor]: Taking taylor expansion of u in v
0.617 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u)) in u
0.617 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u) in u
0.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.617 * [taylor]: Taking taylor expansion of 1/3 in u
0.617 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.617 * [taylor]: Taking taylor expansion of (log 1) in u
0.617 * [taylor]: Taking taylor expansion of 1 in u
0.617 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.617 * [taylor]: Taking taylor expansion of 2 in u
0.617 * [taylor]: Taking taylor expansion of (log v) in u
0.617 * [taylor]: Taking taylor expansion of v in u
0.617 * [taylor]: Taking taylor expansion of u in u
0.619 * [taylor]: Taking taylor expansion of 0 in u
0.620 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 (pow u 2))) in v
0.620 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.621 * [taylor]: Taking taylor expansion of 1/3 in v
0.621 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.621 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.621 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.621 * [taylor]: Taking taylor expansion of v in v
0.621 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.621 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.621 * [taylor]: Taking taylor expansion of u in v
0.621 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) (pow u 2)) in u
0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.621 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.621 * [taylor]: Taking taylor expansion of 1/3 in u
0.621 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.621 * [taylor]: Taking taylor expansion of (log 1) in u
0.621 * [taylor]: Taking taylor expansion of 1 in u
0.621 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.621 * [taylor]: Taking taylor expansion of 2 in u
0.621 * [taylor]: Taking taylor expansion of (log v) in u
0.621 * [taylor]: Taking taylor expansion of v in u
0.621 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.621 * [taylor]: Taking taylor expansion of u in u
0.624 * [taylor]: Taking taylor expansion of 0 in u
0.625 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in (t1 v u) around 0
0.625 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.625 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.625 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.625 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.625 * [taylor]: Taking taylor expansion of -1 in u
0.625 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.625 * [taylor]: Taking taylor expansion of t1 in u
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.625 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.625 * [taylor]: Taking taylor expansion of u in u
0.625 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.625 * [taylor]: Taking taylor expansion of t1 in u
0.625 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.625 * [taylor]: Taking taylor expansion of 1/3 in u
0.625 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.625 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.625 * [taylor]: Taking taylor expansion of v in u
0.626 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.626 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.626 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.626 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.626 * [taylor]: Taking taylor expansion of -1 in v
0.626 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.626 * [taylor]: Taking taylor expansion of t1 in v
0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.626 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.626 * [taylor]: Taking taylor expansion of u in v
0.626 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.626 * [taylor]: Taking taylor expansion of t1 in v
0.626 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.626 * [taylor]: Taking taylor expansion of 1/3 in v
0.626 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.627 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.627 * [taylor]: Taking taylor expansion of v in v
0.627 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.627 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.627 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.627 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.627 * [taylor]: Taking taylor expansion of -1 in t1
0.627 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.627 * [taylor]: Taking taylor expansion of t1 in t1
0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.627 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.627 * [taylor]: Taking taylor expansion of u in t1
0.627 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.627 * [taylor]: Taking taylor expansion of t1 in t1
0.627 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.627 * [taylor]: Taking taylor expansion of 1/3 in t1
0.627 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.627 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.627 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.627 * [taylor]: Taking taylor expansion of v in t1
0.628 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.628 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.628 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.628 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.628 * [taylor]: Taking taylor expansion of -1 in t1
0.628 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.628 * [taylor]: Taking taylor expansion of t1 in t1
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.628 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.628 * [taylor]: Taking taylor expansion of u in t1
0.628 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.628 * [taylor]: Taking taylor expansion of t1 in t1
0.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.628 * [taylor]: Taking taylor expansion of 1/3 in t1
0.628 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.628 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.628 * [taylor]: Taking taylor expansion of v in t1
0.629 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow v 2)) 1/3)) in v
0.629 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.629 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.629 * [taylor]: Taking taylor expansion of -1 in v
0.629 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.629 * [taylor]: Taking taylor expansion of 1/3 in v
0.629 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.629 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.629 * [taylor]: Taking taylor expansion of v in v
0.630 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.630 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.630 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.630 * [taylor]: Taking taylor expansion of -1 in u
0.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.630 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.630 * [taylor]: Taking taylor expansion of 1/3 in u
0.630 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.630 * [taylor]: Taking taylor expansion of (log 1) in u
0.630 * [taylor]: Taking taylor expansion of 1 in u
0.630 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.630 * [taylor]: Taking taylor expansion of 2 in u
0.630 * [taylor]: Taking taylor expansion of (log v) in u
0.630 * [taylor]: Taking taylor expansion of v in u
0.632 * [taylor]: Taking taylor expansion of (neg (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3))) in v
0.632 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3)) in v
0.632 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) u) in v
0.632 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.632 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.632 * [taylor]: Taking taylor expansion of -1 in v
0.633 * [taylor]: Taking taylor expansion of u in v
0.633 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.633 * [taylor]: Taking taylor expansion of 1/3 in v
0.633 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.633 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.633 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.633 * [taylor]: Taking taylor expansion of v in v
0.634 * [taylor]: Taking taylor expansion of (neg (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u)) in u
0.634 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u) in u
0.634 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.634 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.634 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.634 * [taylor]: Taking taylor expansion of -1 in u
0.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.634 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.634 * [taylor]: Taking taylor expansion of 1/3 in u
0.634 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.634 * [taylor]: Taking taylor expansion of (log 1) in u
0.634 * [taylor]: Taking taylor expansion of 1 in u
0.634 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.634 * [taylor]: Taking taylor expansion of 2 in u
0.634 * [taylor]: Taking taylor expansion of (log v) in u
0.634 * [taylor]: Taking taylor expansion of v in u
0.634 * [taylor]: Taking taylor expansion of u in u
0.637 * [taylor]: Taking taylor expansion of 0 in u
0.641 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow u 2)) (pow (/ 1 (pow v 2)) 1/3)) in v
0.641 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow u 2)) in v
0.641 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.641 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.641 * [taylor]: Taking taylor expansion of -1 in v
0.641 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.641 * [taylor]: Taking taylor expansion of u in v
0.641 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.641 * [taylor]: Taking taylor expansion of 1/3 in v
0.641 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.641 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.641 * [taylor]: Taking taylor expansion of v in v
0.642 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) (pow u 2)) in u
0.642 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.642 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.642 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.642 * [taylor]: Taking taylor expansion of -1 in u
0.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.642 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.642 * [taylor]: Taking taylor expansion of 1/3 in u
0.642 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.642 * [taylor]: Taking taylor expansion of (log 1) in u
0.642 * [taylor]: Taking taylor expansion of 1 in u
0.642 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.642 * [taylor]: Taking taylor expansion of 2 in u
0.642 * [taylor]: Taking taylor expansion of (log v) in u
0.642 * [taylor]: Taking taylor expansion of v in u
0.642 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.642 * [taylor]: Taking taylor expansion of u in u
0.647 * [taylor]: Taking taylor expansion of 0 in u
0.647 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.647 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.647 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.647 * [taylor]: Taking taylor expansion of 1/3 in v
0.647 * [taylor]: Taking taylor expansion of (log v) in v
0.647 * [taylor]: Taking taylor expansion of v in v
0.647 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.647 * [taylor]: Taking taylor expansion of 1/3 in v
0.647 * [taylor]: Taking taylor expansion of (log v) in v
0.647 * [taylor]: Taking taylor expansion of v in v
0.653 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.653 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.654 * [taylor]: Taking taylor expansion of 1/3 in v
0.654 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.654 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.654 * [taylor]: Taking taylor expansion of v in v
0.654 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.654 * [taylor]: Taking taylor expansion of 1/3 in v
0.654 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.654 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.654 * [taylor]: Taking taylor expansion of v in v
0.662 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.662 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.662 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.662 * [taylor]: Taking taylor expansion of -1 in v
0.662 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.662 * [taylor]: Taking taylor expansion of 1/3 in v
0.662 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.662 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.662 * [taylor]: Taking taylor expansion of v in v
0.662 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.662 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.662 * [taylor]: Taking taylor expansion of -1 in v
0.663 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.663 * [taylor]: Taking taylor expansion of 1/3 in v
0.663 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.663 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.663 * [taylor]: Taking taylor expansion of v in v
0.670 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
0.670 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.670 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.670 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.670 * [taylor]: Taking taylor expansion of 1/3 in v
0.670 * [taylor]: Taking taylor expansion of (log v) in v
0.670 * [taylor]: Taking taylor expansion of v in v
0.671 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.671 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.671 * [taylor]: Taking taylor expansion of 1/3 in v
0.671 * [taylor]: Taking taylor expansion of (log v) in v
0.671 * [taylor]: Taking taylor expansion of v in v
0.676 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.677 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.677 * [taylor]: Taking taylor expansion of 1/3 in v
0.677 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.677 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.677 * [taylor]: Taking taylor expansion of v in v
0.677 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.677 * [taylor]: Taking taylor expansion of 1/3 in v
0.677 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.677 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.677 * [taylor]: Taking taylor expansion of v in v
0.683 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.683 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.683 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.683 * [taylor]: Taking taylor expansion of -1 in v
0.683 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.683 * [taylor]: Taking taylor expansion of 1/3 in v
0.683 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.683 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.683 * [taylor]: Taking taylor expansion of v in v
0.683 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.684 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.684 * [taylor]: Taking taylor expansion of -1 in v
0.684 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.684 * [taylor]: Taking taylor expansion of 1/3 in v
0.684 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.684 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.684 * [taylor]: Taking taylor expansion of v in v
0.691 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.691 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.691 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.691 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.691 * [taylor]: Taking taylor expansion of 1/3 in v
0.691 * [taylor]: Taking taylor expansion of (log v) in v
0.691 * [taylor]: Taking taylor expansion of v in v
0.692 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.692 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.692 * [taylor]: Taking taylor expansion of 1/3 in v
0.692 * [taylor]: Taking taylor expansion of (log v) in v
0.692 * [taylor]: Taking taylor expansion of v in v
0.697 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.697 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.697 * [taylor]: Taking taylor expansion of 1/3 in v
0.697 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.697 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.697 * [taylor]: Taking taylor expansion of v in v
0.698 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.698 * [taylor]: Taking taylor expansion of 1/3 in v
0.698 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.698 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.698 * [taylor]: Taking taylor expansion of v in v
0.704 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.704 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.704 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.704 * [taylor]: Taking taylor expansion of -1 in v
0.704 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.704 * [taylor]: Taking taylor expansion of 1/3 in v
0.704 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.704 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.704 * [taylor]: Taking taylor expansion of v in v
0.705 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.705 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.705 * [taylor]: Taking taylor expansion of -1 in v
0.705 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.705 * [taylor]: Taking taylor expansion of 1/3 in v
0.705 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.705 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.705 * [taylor]: Taking taylor expansion of v in v
0.712 * * * [progress]: simplifying candidates
0.713 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (+ (log t1) (+ (log (cbrt v)) (- (log (cbrt v)) (log (+ t1 u)))))
  (+ (log t1) (+ (log (cbrt v)) (log (/ (cbrt v) (+ t1 u)))))
  (+ (log t1) (log (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (log (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (exp (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* v (/ v (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* v (* (* (/ (cbrt v) (+ t1 u)) (/ (cbrt v) (+ t1 u))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (cbrt v) (/ (cbrt v) (+ t1 u))) (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))))
  (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* t1 (cbrt v))
  (* (cbrt t1) (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* (sqrt t1) (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (cbrt v)))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (* (cbrt v) (cbrt v)))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  (cbrt 1)
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  (* (* (cbrt v) (cbrt v)) (cbrt v))
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (* (cbrt v) (cbrt v)))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  (cbrt 1)
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  (* (* (cbrt v) (cbrt v)) (cbrt v))
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (* (cbrt v) (cbrt v)))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  (cbrt 1)
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  (* (* (cbrt v) (cbrt v)) (cbrt v))
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  0
  0
  0
  (exp (* 1/3 (+ (log 1) (log v))))
  (exp (* 1/3 (- (log 1) (log (/ 1 v)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/3 (+ (log 1) (log v))))
  (exp (* 1/3 (- (log 1) (log (/ 1 v)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/3 (+ (log 1) (log v))))
  (exp (* 1/3 (- (log 1) (log (/ 1 v)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 v))))))
0.750 * * [simplify]: iteration  0 :  4994  enodes  (cost  351 )
0.750 * * [simplify]: iteration  1 :  4994  enodes  (cost  351 )
0.755 * [simplify]: Simplified to:
   (* t1 (/ (pow v 2/3) (+ t1 u)))
  (* t1 (/ (pow v 2/3) (+ t1 u)))
  (log (* t1 (/ (pow v 2/3) (+ t1 u))))
  (log (* t1 (/ (pow v 2/3) (+ t1 u))))
  (log (* t1 (/ (pow v 2/3) (+ t1 u))))
  (log (* t1 (/ (pow v 2/3) (+ t1 u))))
  (pow (exp t1) (/ (pow v 2/3) (+ t1 u)))
  (* v (/ v (pow (/ (+ t1 u) t1) 3)))
  (* v (/ v (pow (/ (+ t1 u) t1) 3)))
  (* v (/ v (pow (/ (+ t1 u) t1) 3)))
  (* (cbrt (* t1 (/ (pow v 2/3) (+ t1 u)))) (cbrt (* t1 (/ (pow v 2/3) (+ t1 u)))))
  (cbrt (* t1 (/ (pow v 2/3) (+ t1 u))))
  (* v (/ v (pow (/ (+ t1 u) t1) 3)))
  (sqrt (* t1 (/ (pow v 2/3) (+ t1 u))))
  (sqrt (* t1 (/ (pow v 2/3) (+ t1 u))))
  (* t1 (cbrt v))
  (* (/ (pow v 2/3) (+ t1 u)) (cbrt t1))
  (* (/ (pow v 2/3) (+ t1 u)) (sqrt t1))
  (* t1 (/ (pow v 2/3) (+ t1 u)))
  (* t1 (pow v 2/3))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (pow v 2/3))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  1
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  v
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (pow v 2/3))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  1
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  v
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  (log (cbrt v))
  (exp (cbrt v))
  (cbrt (pow v 2/3))
  (cbrt (cbrt v))
  (cbrt (sqrt v))
  (cbrt (sqrt v))
  1
  (cbrt v)
  (* (cbrt (cbrt v)) (cbrt (cbrt v)))
  (cbrt (cbrt v))
  v
  (sqrt (cbrt v))
  (sqrt (cbrt v))
  0
  0
  0
  (cbrt v)
  (cbrt v)
  (* (cbrt -1) (cbrt (neg v)))
  (cbrt v)
  (cbrt v)
  (* (cbrt -1) (cbrt (neg v)))
  (cbrt v)
  (cbrt v)
  (* (cbrt -1) (cbrt (neg v)))
0.756 * * * [progress]: adding candidates to table
0.828 * * [progress]: iteration 3 / 4
0.828 * * * [progress]: picking best candidate
0.847 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>
0.847 * * * [progress]: localizing error
0.856 * * * [progress]: generating rewritten candidates
0.856 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.881 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.887 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.898 * * * [progress]: generating series expansions
0.898 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.898 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
0.898 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.898 * [taylor]: Taking taylor expansion of -1 in v
0.898 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.898 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.898 * [taylor]: Taking taylor expansion of t1 in v
0.898 * [taylor]: Taking taylor expansion of v in v
0.898 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.899 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.899 * [taylor]: Taking taylor expansion of t1 in v
0.899 * [taylor]: Taking taylor expansion of u in v
0.899 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.899 * [taylor]: Taking taylor expansion of -1 in u
0.899 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.899 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.899 * [taylor]: Taking taylor expansion of t1 in u
0.899 * [taylor]: Taking taylor expansion of v in u
0.899 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.899 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.899 * [taylor]: Taking taylor expansion of t1 in u
0.899 * [taylor]: Taking taylor expansion of u in u
0.899 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.899 * [taylor]: Taking taylor expansion of -1 in t1
0.899 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.899 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.899 * [taylor]: Taking taylor expansion of t1 in t1
0.899 * [taylor]: Taking taylor expansion of v in t1
0.899 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.899 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.899 * [taylor]: Taking taylor expansion of t1 in t1
0.899 * [taylor]: Taking taylor expansion of u in t1
0.899 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.899 * [taylor]: Taking taylor expansion of -1 in t1
0.899 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.899 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.899 * [taylor]: Taking taylor expansion of t1 in t1
0.899 * [taylor]: Taking taylor expansion of v in t1
0.899 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.899 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.899 * [taylor]: Taking taylor expansion of t1 in t1
0.899 * [taylor]: Taking taylor expansion of u in t1
0.900 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
0.900 * [taylor]: Taking taylor expansion of -1 in u
0.900 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
0.900 * [taylor]: Taking taylor expansion of v in u
0.900 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.900 * [taylor]: Taking taylor expansion of u in u
0.900 * [taylor]: Taking taylor expansion of 0 in v
0.900 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
0.900 * [taylor]: Taking taylor expansion of 2 in u
0.900 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
0.901 * [taylor]: Taking taylor expansion of v in u
0.901 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.901 * [taylor]: Taking taylor expansion of u in u
0.901 * [taylor]: Taking taylor expansion of 0 in v
0.901 * [taylor]: Taking taylor expansion of 0 in v
0.902 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in u
0.902 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
0.902 * [taylor]: Taking taylor expansion of 3 in u
0.902 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
0.902 * [taylor]: Taking taylor expansion of v in u
0.902 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.902 * [taylor]: Taking taylor expansion of u in u
0.902 * [taylor]: Taking taylor expansion of 0 in v
0.903 * [taylor]: Taking taylor expansion of 0 in v
0.903 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.903 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.903 * [taylor]: Taking taylor expansion of -1 in v
0.903 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.903 * [taylor]: Taking taylor expansion of t1 in v
0.903 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.903 * [taylor]: Taking taylor expansion of v in v
0.903 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.903 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.903 * [taylor]: Taking taylor expansion of u in v
0.903 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.903 * [taylor]: Taking taylor expansion of t1 in v
0.904 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.904 * [taylor]: Taking taylor expansion of -1 in u
0.904 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.904 * [taylor]: Taking taylor expansion of t1 in u
0.904 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.904 * [taylor]: Taking taylor expansion of v in u
0.904 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.904 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.904 * [taylor]: Taking taylor expansion of u in u
0.904 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.904 * [taylor]: Taking taylor expansion of t1 in u
0.904 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.904 * [taylor]: Taking taylor expansion of -1 in t1
0.904 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.904 * [taylor]: Taking taylor expansion of t1 in t1
0.904 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.904 * [taylor]: Taking taylor expansion of v in t1
0.904 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.905 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.905 * [taylor]: Taking taylor expansion of u in t1
0.905 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.905 * [taylor]: Taking taylor expansion of t1 in t1
0.905 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.905 * [taylor]: Taking taylor expansion of -1 in t1
0.905 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.905 * [taylor]: Taking taylor expansion of t1 in t1
0.905 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.905 * [taylor]: Taking taylor expansion of v in t1
0.905 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.905 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.905 * [taylor]: Taking taylor expansion of u in t1
0.905 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.905 * [taylor]: Taking taylor expansion of t1 in t1
0.905 * [taylor]: Taking taylor expansion of (/ -1 v) in u
0.905 * [taylor]: Taking taylor expansion of -1 in u
0.905 * [taylor]: Taking taylor expansion of v in u
0.905 * [taylor]: Taking taylor expansion of 0 in v
0.906 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
0.906 * [taylor]: Taking taylor expansion of 2 in u
0.906 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
0.906 * [taylor]: Taking taylor expansion of (* v u) in u
0.906 * [taylor]: Taking taylor expansion of v in u
0.906 * [taylor]: Taking taylor expansion of u in u
0.906 * [taylor]: Taking taylor expansion of 0 in v
0.907 * [taylor]: Taking taylor expansion of 0 in v
0.907 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
0.907 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
0.907 * [taylor]: Taking taylor expansion of 3 in u
0.907 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
0.907 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
0.907 * [taylor]: Taking taylor expansion of v in u
0.907 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.907 * [taylor]: Taking taylor expansion of u in u
0.908 * [taylor]: Taking taylor expansion of 0 in v
0.908 * [taylor]: Taking taylor expansion of 0 in v
0.908 * [taylor]: Taking taylor expansion of 0 in v
0.909 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
0.909 * [taylor]: Taking taylor expansion of 4 in u
0.909 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
0.909 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
0.909 * [taylor]: Taking taylor expansion of v in u
0.909 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.909 * [taylor]: Taking taylor expansion of u in u
0.910 * [taylor]: Taking taylor expansion of 0 in v
0.910 * [taylor]: Taking taylor expansion of 0 in v
0.911 * [taylor]: Taking taylor expansion of 0 in v
0.911 * [taylor]: Taking taylor expansion of 0 in v
0.911 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
0.911 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.911 * [taylor]: Taking taylor expansion of -1 in v
0.911 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.911 * [taylor]: Taking taylor expansion of t1 in v
0.911 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.911 * [taylor]: Taking taylor expansion of v in v
0.912 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.912 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.912 * [taylor]: Taking taylor expansion of u in v
0.912 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.912 * [taylor]: Taking taylor expansion of t1 in v
0.913 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.913 * [taylor]: Taking taylor expansion of -1 in u
0.913 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.913 * [taylor]: Taking taylor expansion of t1 in u
0.913 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.913 * [taylor]: Taking taylor expansion of v in u
0.913 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.913 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.913 * [taylor]: Taking taylor expansion of u in u
0.913 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.913 * [taylor]: Taking taylor expansion of t1 in u
0.913 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.913 * [taylor]: Taking taylor expansion of -1 in t1
0.913 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.913 * [taylor]: Taking taylor expansion of t1 in t1
0.913 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.913 * [taylor]: Taking taylor expansion of v in t1
0.913 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.913 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.913 * [taylor]: Taking taylor expansion of u in t1
0.913 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.913 * [taylor]: Taking taylor expansion of t1 in t1
0.913 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.913 * [taylor]: Taking taylor expansion of -1 in t1
0.913 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.913 * [taylor]: Taking taylor expansion of t1 in t1
0.913 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.913 * [taylor]: Taking taylor expansion of v in t1
0.913 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.913 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.913 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.913 * [taylor]: Taking taylor expansion of u in t1
0.913 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.914 * [taylor]: Taking taylor expansion of t1 in t1
0.914 * [taylor]: Taking taylor expansion of (/ -1 v) in u
0.914 * [taylor]: Taking taylor expansion of -1 in u
0.914 * [taylor]: Taking taylor expansion of v in u
0.914 * [taylor]: Taking taylor expansion of 0 in v
0.914 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
0.915 * [taylor]: Taking taylor expansion of 2 in u
0.915 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
0.915 * [taylor]: Taking taylor expansion of (* v u) in u
0.915 * [taylor]: Taking taylor expansion of v in u
0.915 * [taylor]: Taking taylor expansion of u in u
0.915 * [taylor]: Taking taylor expansion of 0 in v
0.915 * [taylor]: Taking taylor expansion of 0 in v
0.916 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
0.916 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
0.916 * [taylor]: Taking taylor expansion of 3 in u
0.916 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
0.916 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
0.916 * [taylor]: Taking taylor expansion of v in u
0.916 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.916 * [taylor]: Taking taylor expansion of u in u
0.916 * [taylor]: Taking taylor expansion of 0 in v
0.917 * [taylor]: Taking taylor expansion of 0 in v
0.917 * [taylor]: Taking taylor expansion of 0 in v
0.918 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
0.918 * [taylor]: Taking taylor expansion of 4 in u
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
0.918 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
0.918 * [taylor]: Taking taylor expansion of v in u
0.918 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.918 * [taylor]: Taking taylor expansion of u in u
0.919 * [taylor]: Taking taylor expansion of 0 in v
0.919 * [taylor]: Taking taylor expansion of 0 in v
0.919 * [taylor]: Taking taylor expansion of 0 in v
0.919 * [taylor]: Taking taylor expansion of 0 in v
0.919 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.919 * [approximate]: Taking taylor expansion of (* -1 (/ v (+ t1 u))) in (v t1 u) around 0
0.919 * [taylor]: Taking taylor expansion of (* -1 (/ v (+ t1 u))) in u
0.920 * [taylor]: Taking taylor expansion of -1 in u
0.920 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
0.920 * [taylor]: Taking taylor expansion of v in u
0.920 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.920 * [taylor]: Taking taylor expansion of t1 in u
0.920 * [taylor]: Taking taylor expansion of u in u
0.920 * [taylor]: Taking taylor expansion of (* -1 (/ v (+ t1 u))) in t1
0.920 * [taylor]: Taking taylor expansion of -1 in t1
0.920 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
0.920 * [taylor]: Taking taylor expansion of v in t1
0.920 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.920 * [taylor]: Taking taylor expansion of t1 in t1
0.920 * [taylor]: Taking taylor expansion of u in t1
0.920 * [taylor]: Taking taylor expansion of (* -1 (/ v (+ t1 u))) in v
0.920 * [taylor]: Taking taylor expansion of -1 in v
0.920 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.920 * [taylor]: Taking taylor expansion of v in v
0.920 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.920 * [taylor]: Taking taylor expansion of t1 in v
0.920 * [taylor]: Taking taylor expansion of u in v
0.920 * [taylor]: Taking taylor expansion of (* -1 (/ v (+ t1 u))) in v
0.920 * [taylor]: Taking taylor expansion of -1 in v
0.920 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
0.920 * [taylor]: Taking taylor expansion of v in v
0.920 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.920 * [taylor]: Taking taylor expansion of t1 in v
0.920 * [taylor]: Taking taylor expansion of u in v
0.920 * [taylor]: Taking taylor expansion of (/ -1 (+ t1 u)) in t1
0.920 * [taylor]: Taking taylor expansion of -1 in t1
0.920 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.920 * [taylor]: Taking taylor expansion of t1 in t1
0.920 * [taylor]: Taking taylor expansion of u in t1
0.920 * [taylor]: Taking taylor expansion of (/ -1 u) in u
0.920 * [taylor]: Taking taylor expansion of -1 in u
0.920 * [taylor]: Taking taylor expansion of u in u
0.921 * [taylor]: Taking taylor expansion of 0 in t1
0.921 * [taylor]: Taking taylor expansion of 0 in u
0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.921 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.921 * [taylor]: Taking taylor expansion of u in u
0.921 * [taylor]: Taking taylor expansion of 0 in t1
0.921 * [taylor]: Taking taylor expansion of 0 in u
0.921 * [taylor]: Taking taylor expansion of 0 in u
0.925 * [approximate]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.925 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.925 * [taylor]: Taking taylor expansion of -1 in u
0.925 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.925 * [taylor]: Taking taylor expansion of v in u
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.925 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.925 * [taylor]: Taking taylor expansion of u in u
0.925 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.925 * [taylor]: Taking taylor expansion of t1 in u
0.925 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.925 * [taylor]: Taking taylor expansion of -1 in t1
0.925 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.925 * [taylor]: Taking taylor expansion of v in t1
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.925 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.925 * [taylor]: Taking taylor expansion of u in t1
0.925 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.925 * [taylor]: Taking taylor expansion of t1 in t1
0.925 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.925 * [taylor]: Taking taylor expansion of -1 in v
0.925 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.925 * [taylor]: Taking taylor expansion of v in v
0.925 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.925 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.925 * [taylor]: Taking taylor expansion of u in v
0.925 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.925 * [taylor]: Taking taylor expansion of t1 in v
0.926 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.926 * [taylor]: Taking taylor expansion of -1 in v
0.926 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.926 * [taylor]: Taking taylor expansion of v in v
0.926 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.926 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.926 * [taylor]: Taking taylor expansion of u in v
0.926 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.926 * [taylor]: Taking taylor expansion of t1 in v
0.926 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1
0.926 * [taylor]: Taking taylor expansion of -1 in t1
0.926 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.926 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.926 * [taylor]: Taking taylor expansion of u in t1
0.926 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.926 * [taylor]: Taking taylor expansion of t1 in t1
0.926 * [taylor]: Taking taylor expansion of -1 in u
0.927 * [taylor]: Taking taylor expansion of 0 in t1
0.927 * [taylor]: Taking taylor expansion of 0 in u
0.927 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.927 * [taylor]: Taking taylor expansion of u in u
0.927 * [taylor]: Taking taylor expansion of 0 in t1
0.927 * [taylor]: Taking taylor expansion of 0 in u
0.927 * [taylor]: Taking taylor expansion of 0 in u
0.928 * [approximate]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
0.928 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
0.928 * [taylor]: Taking taylor expansion of -1 in u
0.928 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
0.928 * [taylor]: Taking taylor expansion of v in u
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.928 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.928 * [taylor]: Taking taylor expansion of u in u
0.928 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.928 * [taylor]: Taking taylor expansion of t1 in u
0.928 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
0.928 * [taylor]: Taking taylor expansion of -1 in t1
0.928 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
0.928 * [taylor]: Taking taylor expansion of v in t1
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.928 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.928 * [taylor]: Taking taylor expansion of u in t1
0.928 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.928 * [taylor]: Taking taylor expansion of t1 in t1
0.928 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.928 * [taylor]: Taking taylor expansion of -1 in v
0.928 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.928 * [taylor]: Taking taylor expansion of v in v
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.928 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.928 * [taylor]: Taking taylor expansion of u in v
0.928 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.928 * [taylor]: Taking taylor expansion of t1 in v
0.928 * [taylor]: Taking taylor expansion of (/ -1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
0.928 * [taylor]: Taking taylor expansion of -1 in v
0.928 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
0.928 * [taylor]: Taking taylor expansion of v in v
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.928 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.928 * [taylor]: Taking taylor expansion of u in v
0.929 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.929 * [taylor]: Taking taylor expansion of t1 in v
0.929 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1
0.929 * [taylor]: Taking taylor expansion of -1 in t1
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.929 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.929 * [taylor]: Taking taylor expansion of u in t1
0.929 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.929 * [taylor]: Taking taylor expansion of t1 in t1
0.929 * [taylor]: Taking taylor expansion of -1 in u
0.929 * [taylor]: Taking taylor expansion of 0 in t1
0.929 * [taylor]: Taking taylor expansion of 0 in u
0.930 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.930 * [taylor]: Taking taylor expansion of u in u
0.930 * [taylor]: Taking taylor expansion of 0 in t1
0.930 * [taylor]: Taking taylor expansion of 0 in u
0.930 * [taylor]: Taking taylor expansion of 0 in u
0.930 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.930 * [approximate]: Taking taylor expansion of (/ t1 (+ t1 u)) in (t1 u) around 0
0.930 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
0.930 * [taylor]: Taking taylor expansion of t1 in u
0.930 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.930 * [taylor]: Taking taylor expansion of t1 in u
0.930 * [taylor]: Taking taylor expansion of u in u
0.930 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.930 * [taylor]: Taking taylor expansion of t1 in t1
0.930 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.930 * [taylor]: Taking taylor expansion of t1 in t1
0.930 * [taylor]: Taking taylor expansion of u in t1
0.930 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.931 * [taylor]: Taking taylor expansion of t1 in t1
0.931 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.931 * [taylor]: Taking taylor expansion of t1 in t1
0.931 * [taylor]: Taking taylor expansion of u in t1
0.931 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.931 * [taylor]: Taking taylor expansion of u in u
0.931 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.931 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.931 * [taylor]: Taking taylor expansion of u in u
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
0.931 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.931 * [taylor]: Taking taylor expansion of u in u
0.932 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.932 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.932 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.932 * [taylor]: Taking taylor expansion of t1 in u
0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.932 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.932 * [taylor]: Taking taylor expansion of u in u
0.932 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.932 * [taylor]: Taking taylor expansion of t1 in u
0.932 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.932 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.932 * [taylor]: Taking taylor expansion of t1 in t1
0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.932 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.932 * [taylor]: Taking taylor expansion of u in t1
0.932 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.932 * [taylor]: Taking taylor expansion of t1 in t1
0.932 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.932 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.932 * [taylor]: Taking taylor expansion of t1 in t1
0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.932 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.932 * [taylor]: Taking taylor expansion of u in t1
0.932 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.932 * [taylor]: Taking taylor expansion of t1 in t1
0.933 * [taylor]: Taking taylor expansion of 1 in u
0.933 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.933 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.933 * [taylor]: Taking taylor expansion of u in u
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.933 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.933 * [taylor]: Taking taylor expansion of u in u
0.934 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.934 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.934 * [taylor]: Taking taylor expansion of t1 in u
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.934 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.934 * [taylor]: Taking taylor expansion of u in u
0.934 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.934 * [taylor]: Taking taylor expansion of t1 in u
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.934 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.934 * [taylor]: Taking taylor expansion of t1 in t1
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.934 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.934 * [taylor]: Taking taylor expansion of u in t1
0.934 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.934 * [taylor]: Taking taylor expansion of t1 in t1
0.934 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.934 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.934 * [taylor]: Taking taylor expansion of t1 in t1
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.934 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.934 * [taylor]: Taking taylor expansion of u in t1
0.934 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.934 * [taylor]: Taking taylor expansion of t1 in t1
0.934 * [taylor]: Taking taylor expansion of 1 in u
0.934 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
0.934 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.935 * [taylor]: Taking taylor expansion of u in u
0.935 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.935 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.935 * [taylor]: Taking taylor expansion of u in u
0.935 * * * [progress]: simplifying candidates
0.937 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (+ (- (log t1) (log (+ t1 u))) (- (log v) (log (neg (+ t1 u)))))
  (+ (- (log t1) (log (+ t1 u))) (log (/ v (neg (+ t1 u)))))
  (+ (log (/ t1 (+ t1 u))) (- (log v) (log (neg (+ t1 u)))))
  (+ (log (/ t1 (+ t1 u))) (log (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (exp (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (* (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* v v) v) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (* (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* (/ v (neg (+ t1 u))) (/ v (neg (+ t1 u)))) (/ v (neg (+ t1 u)))))
  (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (/ (* (* v v) v) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (* (* (/ v (neg (+ t1 u))) (/ v (neg (+ t1 u)))) (/ v (neg (+ t1 u)))))
  (* (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))) (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))))
  (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (* (* (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (* t1 v)
  (* (+ t1 u) (neg (+ t1 u)))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (* (cbrt (/ v (neg (+ t1 u)))) (cbrt (/ v (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (sqrt (/ v (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) -1))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (neg (sqrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (neg 1)))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (neg 1)))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ t1 (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) 1))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) -1))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (neg (sqrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (neg 1)))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (neg 1)))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) 1))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) 1))
  (* (/ t1 (+ t1 u)) (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ 1 (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ 1 1))
  (* (/ t1 (+ t1 u)) (/ 1 -1))
  (* (/ t1 (+ t1 u)) (/ 1 (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ 1 (neg (sqrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ 1 (neg 1)))
  (* (/ t1 (+ t1 u)) (/ 1 (neg 1)))
  (* (/ t1 (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ 1 (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ 1 1))
  (* (/ t1 (+ t1 u)) (/ 1 1))
  (* (/ t1 (+ t1 u)) 1)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (/ v (neg (+ (pow t1 3) (pow u 3)))))
  (* (/ t1 (+ t1 u)) (/ v (neg (- (* t1 t1) (* u u)))))
  (* (cbrt (/ t1 (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (sqrt (/ t1 (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ (sqrt t1) (cbrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (/ v (neg (+ t1 u))))
  (* (- t1 u) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) v)
  (* t1 (/ v (neg (+ t1 u))))
  (- (log v) (log (neg (+ t1 u))))
  (log (/ v (neg (+ t1 u))))
  (exp (/ v (neg (+ t1 u))))
  (/ (* (* v v) v) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u))))
  (* (cbrt (/ v (neg (+ t1 u)))) (cbrt (/ v (neg (+ t1 u)))))
  (cbrt (/ v (neg (+ t1 u))))
  (* (* (/ v (neg (+ t1 u))) (/ v (neg (+ t1 u)))) (/ v (neg (+ t1 u))))
  (sqrt (/ v (neg (+ t1 u))))
  (sqrt (/ v (neg (+ t1 u))))
  (neg v)
  (neg (neg (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ (cbrt v) (cbrt (neg (+ t1 u))))
  (/ (* (cbrt v) (cbrt v)) (sqrt (neg (+ t1 u))))
  (/ (cbrt v) (sqrt (neg (+ t1 u))))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) -1)
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (neg (sqrt (+ t1 u))))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (neg 1))
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (neg 1))
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (neg (cbrt (+ t1 u))))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (neg (sqrt (+ t1 u))))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (sqrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ (sqrt v) (cbrt (neg (+ t1 u))))
  (/ (sqrt v) (sqrt (neg (+ t1 u))))
  (/ (sqrt v) (sqrt (neg (+ t1 u))))
  (/ (sqrt v) 1)
  (/ (sqrt v) (neg (+ t1 u)))
  (/ (sqrt v) -1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (neg (sqrt (+ t1 u))))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (neg 1))
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (neg 1))
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (neg (cbrt (+ t1 u))))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (neg (sqrt (+ t1 u))))
  (/ (sqrt v) 1)
  (/ (sqrt v) (neg (+ t1 u)))
  (/ (sqrt v) 1)
  (/ (sqrt v) (neg (+ t1 u)))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ v (cbrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ v (sqrt (neg (+ t1 u))))
  (/ 1 1)
  (/ v (neg (+ t1 u)))
  (/ 1 -1)
  (/ v (+ t1 u))
  (/ 1 (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  (/ 1 (neg 1))
  (/ v (+ t1 u))
  (/ 1 (neg 1))
  (/ v (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (neg (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (neg (sqrt (+ t1 u))))
  (/ 1 1)
  (/ v (neg (+ t1 u)))
  (/ 1 1)
  (/ v (neg (+ t1 u)))
  (/ 1 (neg (+ t1 u)))
  (/ (neg (+ t1 u)) v)
  (/ v (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ v (sqrt (neg (+ t1 u))))
  (/ v 1)
  (/ v -1)
  (/ v (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ v (neg (sqrt (+ t1 u))))
  (/ v (neg 1))
  (/ v (neg 1))
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  (/ v 1)
  (/ v 1)
  (/ (neg (+ t1 u)) (cbrt v))
  (/ (neg (+ t1 u)) (sqrt v))
  (/ (neg (+ t1 u)) v)
  (/ v (neg (+ (pow t1 3) (pow u 3))))
  (/ v (neg (- (* t1 t1) (* u u))))
  (- (log t1) (log (+ t1 u)))
  (log (/ t1 (+ t1 u)))
  (exp (/ t1 (+ t1 u)))
  (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))
  (cbrt (/ t1 (+ t1 u)))
  (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (neg t1)
  (neg (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (sqrt 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))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) t1)
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (sqrt (+ t1 u)))
  (/ t1 1)
  (/ t1 1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ t1 (+ (pow t1 3) (pow u 3)))
  (/ t1 (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.973 * * [simplify]: iteration  0 :  5146  enodes  (cost  2121 )
0.981 * [simplify]: Simplified to:
   (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (pow (exp (/ v (neg (+ t1 u)))) (/ t1 (+ t1 u)))
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (* (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))) (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))))
  (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (* t1 v)
  (* (+ t1 u) (neg (+ t1 u)))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt (/ v (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (sqrt (/ t1 (+ t1 u))) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* (sqrt (/ v (neg (+ t1 u)))) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (sqrt (/ v (neg (+ t1 u)))) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (/ (sqrt v) (sqrt (neg (+ t1 u)))) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (/ (sqrt v) (sqrt (neg (+ t1 u)))) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (* (cbrt (/ v (neg (+ t1 u)))) (cbrt (/ v (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (sqrt (/ v (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (sqrt (neg (+ t1 u))))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (+ t1 u)))
  (/ t1 (/ (neg (+ t1 u)) (* (cbrt v) (cbrt v))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (neg (sqrt (+ t1 u))))))
  (/ t1 (/ (neg (+ t1 u)) (* (cbrt v) (cbrt v))))
  (/ t1 (/ (neg (+ t1 u)) (* (cbrt v) (cbrt v))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (/ (cbrt v) (sqrt (+ t1 u)))))
  (* t1 (/ (* (cbrt v) (cbrt v)) (+ t1 u)))
  (* t1 (/ (* (cbrt v) (cbrt v)) (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (sqrt (neg (+ t1 u)))))
  (* t1 (/ (sqrt v) (+ t1 u)))
  (/ t1 (/ (neg (+ t1 u)) (sqrt v)))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (neg (sqrt (+ t1 u)))))
  (/ t1 (/ (neg (+ t1 u)) (sqrt v)))
  (/ t1 (/ (neg (+ t1 u)) (sqrt v)))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* t1 (/ (sqrt v) (+ t1 u)))
  (* t1 (/ (sqrt v) (+ t1 u)))
  (/ t1 (* (+ t1 u) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (/ t1 (* (+ t1 u) (sqrt (neg (+ t1 u)))))
  (/ t1 (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (/ t1 (* (+ t1 u) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u))))))
  (/ t1 (* (+ t1 u) (neg (sqrt (+ t1 u)))))
  (/ (neg t1) (+ t1 u))
  (/ (neg t1) (+ t1 u))
  (/ t1 (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ t1 (* (+ t1 u) (sqrt (+ t1 u))))
  (/ t1 (+ t1 u))
  (/ t1 (+ t1 u))
  (/ t1 (+ t1 u))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (/ v (neg (+ (pow t1 3) (pow u 3)))))
  (* (/ t1 (+ t1 u)) (/ v (* (+ t1 u) (neg (- t1 u)))))
  (* (/ v (neg (+ t1 u))) (cbrt (/ t1 (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (sqrt (/ t1 (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ (cbrt t1) (cbrt (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ (cbrt t1) (sqrt (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ (cbrt t1) (+ t1 u)))
  (* (/ v (neg (+ t1 u))) (/ (cbrt t1) (+ t1 u)))
  (* (/ v (neg (+ t1 u))) (/ (sqrt t1) (cbrt (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ (sqrt t1) (+ t1 u)))
  (* (/ v (neg (+ t1 u))) (/ (sqrt t1) (+ t1 u)))
  (* (/ v (neg (+ t1 u))) (/ t1 (cbrt (+ t1 u))))
  (* (/ v (neg (+ t1 u))) (/ t1 (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (/ (/ v (neg (+ t1 u))) (+ t1 u))
  (* (/ v (neg (+ t1 u))) (+ (* t1 t1) (* u (- u t1))))
  (* (/ v (neg (+ t1 u))) (- t1 u))
  (* (/ t1 (+ t1 u)) v)
  (* t1 (/ v (neg (+ t1 u))))
  (log (/ v (neg (+ t1 u))))
  (log (/ v (neg (+ t1 u))))
  (exp (/ v (neg (+ t1 u))))
  (pow (/ v (neg (+ t1 u))) 3)
  (* (cbrt (/ v (neg (+ t1 u)))) (cbrt (/ v (neg (+ t1 u)))))
  (cbrt (/ v (neg (+ t1 u))))
  (pow (/ v (neg (+ t1 u))) 3)
  (sqrt (/ v (neg (+ t1 u))))
  (sqrt (/ v (neg (+ t1 u))))
  (neg v)
  (+ t1 u)
  (* (cbrt v) (/ (cbrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (/ (cbrt v) (cbrt (neg (+ t1 u))))
  (* (cbrt v) (/ (cbrt v) (sqrt (neg (+ t1 u)))))
  (/ (cbrt v) (sqrt (neg (+ t1 u))))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (neg (+ t1 u)))
  (* (cbrt v) (/ (cbrt v) -1))
  (/ (cbrt v) (+ t1 u))
  (* (cbrt v) (/ (cbrt v) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u))))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (* (cbrt v) (/ (cbrt v) (neg (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))
  (* (cbrt v) (/ (cbrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (cbrt v) (neg (cbrt (+ t1 u))))
  (* (cbrt v) (/ (cbrt v) (sqrt (+ t1 u))))
  (/ (cbrt v) (neg (sqrt (+ t1 u))))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (neg (+ t1 u)))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (neg (+ t1 u)))
  (/ (sqrt v) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ (sqrt v) (cbrt (neg (+ t1 u))))
  (/ (sqrt v) (sqrt (neg (+ t1 u))))
  (/ (sqrt v) (sqrt (neg (+ t1 u))))
  (sqrt v)
  (/ (sqrt v) (neg (+ t1 u)))
  (/ (sqrt v) -1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (neg (sqrt (+ t1 u))))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) -1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) -1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (neg (cbrt (+ t1 u))))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (neg (sqrt (+ t1 u))))
  (sqrt v)
  (/ (sqrt v) (neg (+ t1 u)))
  (sqrt v)
  (/ (sqrt v) (neg (+ t1 u)))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ v (cbrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ v (sqrt (neg (+ t1 u))))
  1
  (/ v (neg (+ t1 u)))
  -1
  (/ v (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  -1
  (/ v (+ t1 u))
  -1
  (/ v (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (neg (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (neg (sqrt (+ t1 u))))
  1
  (/ v (neg (+ t1 u)))
  1
  (/ v (neg (+ t1 u)))
  (/ 1 (neg (+ t1 u)))
  (/ (neg (+ t1 u)) v)
  (/ v (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ v (sqrt (neg (+ t1 u))))
  v
  (/ v -1)
  (/ v (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ v (neg (sqrt (+ t1 u))))
  (/ v -1)
  (/ v -1)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  v
  v
  (/ (neg (+ t1 u)) (cbrt v))
  (/ (neg (+ t1 u)) (sqrt v))
  (/ (neg (+ t1 u)) v)
  (/ v (neg (+ (pow t1 3) (pow u 3))))
  (/ v (* (+ t1 u) (neg (- t1 u))))
  (log (/ t1 (+ t1 u)))
  (log (/ t1 (+ t1 u)))
  (exp (/ t1 (+ t1 u)))
  (pow (/ t1 (+ t1 u)) 3)
  (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))
  (cbrt (/ t1 (+ t1 u)))
  (pow (/ t1 (+ t1 u)) 3)
  (sqrt (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (neg t1)
  (neg (+ t1 u))
  (* (cbrt t1) (/ (cbrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (* (cbrt t1) (/ (cbrt t1) (sqrt (+ t1 u))))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (cbrt t1) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (cbrt t1) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (sqrt t1) (+ t1 u))
  (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))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) t1)
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (sqrt (+ t1 u)))
  t1
  t1
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ t1 (+ (pow t1 3) (pow u 3)))
  (/ t1 (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
0.982 * * * [progress]: adding candidates to table
1.104 * * [progress]: iteration 4 / 4
1.104 * * * [progress]: picking best candidate
1.121 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))>
1.121 * * * [progress]: localizing error
1.129 * * * [progress]: generating rewritten candidates
1.130 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.158 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.163 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.177 * * * [progress]: generating series expansions
1.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.178 * [approximate]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in (t1 u v) around 0
1.178 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v
1.178 * [taylor]: Taking taylor expansion of (* t1 v) in v
1.178 * [taylor]: Taking taylor expansion of t1 in v
1.178 * [taylor]: Taking taylor expansion of v in v
1.178 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.178 * [taylor]: Taking taylor expansion of t1 in v
1.178 * [taylor]: Taking taylor expansion of u in v
1.178 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u
1.178 * [taylor]: Taking taylor expansion of (* t1 v) in u
1.178 * [taylor]: Taking taylor expansion of t1 in u
1.178 * [taylor]: Taking taylor expansion of v in u
1.178 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.178 * [taylor]: Taking taylor expansion of t1 in u
1.178 * [taylor]: Taking taylor expansion of u in u
1.178 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
1.178 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.178 * [taylor]: Taking taylor expansion of t1 in t1
1.178 * [taylor]: Taking taylor expansion of v in t1
1.178 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.178 * [taylor]: Taking taylor expansion of t1 in t1
1.178 * [taylor]: Taking taylor expansion of u in t1
1.178 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
1.178 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.178 * [taylor]: Taking taylor expansion of t1 in t1
1.178 * [taylor]: Taking taylor expansion of v in t1
1.178 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.178 * [taylor]: Taking taylor expansion of t1 in t1
1.178 * [taylor]: Taking taylor expansion of u in t1
1.178 * [taylor]: Taking taylor expansion of (/ v u) in u
1.178 * [taylor]: Taking taylor expansion of v 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 (neg (/ v (pow u 2))) in u
1.179 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
1.179 * [taylor]: Taking taylor expansion of v in u
1.179 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.179 * [taylor]: Taking taylor expansion of u in u
1.179 * [taylor]: Taking taylor expansion of 0 in v
1.179 * [taylor]: Taking taylor expansion of 0 in v
1.179 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
1.179 * [taylor]: Taking taylor expansion of v in u
1.179 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.179 * [taylor]: Taking taylor expansion of u in u
1.180 * [taylor]: Taking taylor expansion of 0 in v
1.180 * [taylor]: Taking taylor expansion of 0 in v
1.180 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
1.180 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.180 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.180 * [taylor]: Taking taylor expansion of t1 in v
1.180 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.180 * [taylor]: Taking taylor expansion of v in v
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.180 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.180 * [taylor]: Taking taylor expansion of u in v
1.180 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.180 * [taylor]: Taking taylor expansion of t1 in v
1.180 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.180 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.180 * [taylor]: Taking taylor expansion of t1 in u
1.180 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
1.180 * [taylor]: Taking taylor expansion of v in u
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.181 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.181 * [taylor]: Taking taylor expansion of u in u
1.181 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.181 * [taylor]: Taking taylor expansion of t1 in u
1.181 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
1.181 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.181 * [taylor]: Taking taylor expansion of t1 in t1
1.181 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.181 * [taylor]: Taking taylor expansion of v 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 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
1.181 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.181 * [taylor]: Taking taylor expansion of t1 in t1
1.181 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.181 * [taylor]: Taking taylor expansion of v 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 v in u
1.181 * [taylor]: Taking taylor expansion of 0 in v
1.182 * [taylor]: Taking taylor expansion of (neg (/ 1 (* v u))) 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.182 * [taylor]: Taking taylor expansion of 0 in v
1.182 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.182 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.182 * [taylor]: Taking taylor expansion of v in u
1.182 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.183 * [taylor]: Taking taylor expansion of u in u
1.183 * [taylor]: Taking taylor expansion of 0 in v
1.183 * [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 (/ 1 (* v (pow u 3)))) in u
1.184 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.184 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.184 * [taylor]: Taking taylor expansion of v in u
1.184 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.184 * [taylor]: Taking taylor expansion of u in u
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 0 in v
1.185 * [taylor]: Taking taylor expansion of 0 in v
1.185 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
1.185 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
1.185 * [taylor]: Taking taylor expansion of -1 in v
1.185 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
1.185 * [taylor]: Taking taylor expansion of t1 in v
1.185 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
1.185 * [taylor]: Taking taylor expansion of v in v
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.185 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.185 * [taylor]: Taking taylor expansion of u in v
1.185 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.185 * [taylor]: Taking taylor expansion of t1 in v
1.186 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
1.186 * [taylor]: Taking taylor expansion of -1 in u
1.186 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
1.186 * [taylor]: Taking taylor expansion of t1 in u
1.186 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
1.186 * [taylor]: Taking taylor expansion of v in u
1.186 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.186 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.186 * [taylor]: Taking taylor expansion of u in u
1.186 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.186 * [taylor]: Taking taylor expansion of t1 in u
1.186 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
1.186 * [taylor]: Taking taylor expansion of -1 in t1
1.186 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.186 * [taylor]: Taking taylor expansion of t1 in t1
1.186 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.186 * [taylor]: Taking taylor expansion of v in t1
1.186 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.186 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.186 * [taylor]: Taking taylor expansion of u in t1
1.186 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.186 * [taylor]: Taking taylor expansion of t1 in t1
1.186 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
1.186 * [taylor]: Taking taylor expansion of -1 in t1
1.186 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
1.186 * [taylor]: Taking taylor expansion of t1 in t1
1.186 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
1.187 * [taylor]: Taking taylor expansion of v in t1
1.187 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.187 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.187 * [taylor]: Taking taylor expansion of u in t1
1.187 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.187 * [taylor]: Taking taylor expansion of t1 in t1
1.187 * [taylor]: Taking taylor expansion of (/ -1 v) in u
1.187 * [taylor]: Taking taylor expansion of -1 in u
1.187 * [taylor]: Taking taylor expansion of v in u
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.187 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
1.187 * [taylor]: Taking taylor expansion of (* v u) in u
1.187 * [taylor]: Taking taylor expansion of v in u
1.187 * [taylor]: Taking taylor expansion of u in u
1.187 * [taylor]: Taking taylor expansion of 0 in v
1.188 * [taylor]: Taking taylor expansion of 0 in v
1.188 * [taylor]: Taking taylor expansion of (neg (/ 1 (* v (pow u 2)))) in u
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.188 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.188 * [taylor]: Taking taylor expansion of v in u
1.188 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.188 * [taylor]: Taking taylor expansion of u in u
1.188 * [taylor]: Taking taylor expansion of 0 in v
1.188 * [taylor]: Taking taylor expansion of 0 in v
1.189 * [taylor]: Taking taylor expansion of 0 in v
1.189 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.189 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.189 * [taylor]: Taking taylor expansion of v in u
1.189 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.189 * [taylor]: Taking taylor expansion of u in u
1.190 * [taylor]: Taking taylor expansion of 0 in v
1.190 * [taylor]: Taking taylor expansion of 0 in v
1.190 * [taylor]: Taking taylor expansion of 0 in v
1.190 * [taylor]: Taking taylor expansion of 0 in v
1.190 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.190 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
1.191 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
1.191 * [taylor]: Taking taylor expansion of -1 in v
1.191 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
1.191 * [taylor]: Taking taylor expansion of (* t1 v) in v
1.191 * [taylor]: Taking taylor expansion of t1 in v
1.191 * [taylor]: Taking taylor expansion of v in v
1.191 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
1.191 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.191 * [taylor]: Taking taylor expansion of t1 in v
1.191 * [taylor]: Taking taylor expansion of u in v
1.191 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
1.191 * [taylor]: Taking taylor expansion of -1 in u
1.191 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
1.191 * [taylor]: Taking taylor expansion of (* t1 v) in u
1.191 * [taylor]: Taking taylor expansion of t1 in u
1.191 * [taylor]: Taking taylor expansion of v in u
1.191 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
1.191 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.191 * [taylor]: Taking taylor expansion of t1 in u
1.191 * [taylor]: Taking taylor expansion of u in u
1.191 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
1.191 * [taylor]: Taking taylor expansion of -1 in t1
1.191 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
1.191 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.191 * [taylor]: Taking taylor expansion of t1 in t1
1.191 * [taylor]: Taking taylor expansion of v in t1
1.191 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
1.191 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.191 * [taylor]: Taking taylor expansion of t1 in t1
1.191 * [taylor]: Taking taylor expansion of u in t1
1.191 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
1.191 * [taylor]: Taking taylor expansion of -1 in t1
1.191 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
1.191 * [taylor]: Taking taylor expansion of (* t1 v) in t1
1.191 * [taylor]: Taking taylor expansion of t1 in t1
1.191 * [taylor]: Taking taylor expansion of v in t1
1.192 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
1.192 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.192 * [taylor]: Taking taylor expansion of t1 in t1
1.192 * [taylor]: Taking taylor expansion of u in t1
1.192 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
1.192 * [taylor]: Taking taylor expansion of -1 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.192 * [taylor]: Taking taylor expansion of 0 in v
1.193 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
1.193 * [taylor]: Taking taylor expansion of 2 in u
1.193 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
1.193 * [taylor]: Taking taylor expansion of v in u
1.193 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.193 * [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.194 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in u
1.194 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
1.194 * [taylor]: Taking taylor expansion of 3 in u
1.194 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
1.194 * [taylor]: Taking taylor expansion of v in u
1.194 * [taylor]: Taking taylor expansion of (pow u 4) 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.195 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
1.195 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.195 * [taylor]: Taking taylor expansion of -1 in v
1.195 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
1.195 * [taylor]: Taking taylor expansion of t1 in v
1.195 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
1.195 * [taylor]: Taking taylor expansion of v in v
1.195 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.195 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.195 * [taylor]: Taking taylor expansion of u in v
1.195 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.195 * [taylor]: Taking taylor expansion of t1 in v
1.196 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.196 * [taylor]: Taking taylor expansion of -1 in u
1.196 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
1.196 * [taylor]: Taking taylor expansion of t1 in u
1.196 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
1.196 * [taylor]: Taking taylor expansion of v in u
1.196 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.196 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.196 * [taylor]: Taking taylor expansion of u in u
1.196 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.196 * [taylor]: Taking taylor expansion of t1 in u
1.196 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.196 * [taylor]: Taking taylor expansion of -1 in t1
1.196 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.196 * [taylor]: Taking taylor expansion of t1 in t1
1.196 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.197 * [taylor]: Taking taylor expansion of v in t1
1.197 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.197 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.197 * [taylor]: Taking taylor expansion of u in t1
1.197 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.197 * [taylor]: Taking taylor expansion of t1 in t1
1.197 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.197 * [taylor]: Taking taylor expansion of -1 in t1
1.197 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.197 * [taylor]: Taking taylor expansion of t1 in t1
1.197 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.197 * [taylor]: Taking taylor expansion of v in t1
1.197 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.197 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.197 * [taylor]: Taking taylor expansion of u in t1
1.197 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.197 * [taylor]: Taking taylor expansion of t1 in t1
1.197 * [taylor]: Taking taylor expansion of (/ -1 v) in u
1.197 * [taylor]: Taking taylor expansion of -1 in u
1.197 * [taylor]: Taking taylor expansion of v in u
1.198 * [taylor]: Taking taylor expansion of 0 in v
1.198 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
1.198 * [taylor]: Taking taylor expansion of 2 in u
1.198 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
1.198 * [taylor]: Taking taylor expansion of (* v u) in u
1.198 * [taylor]: Taking taylor expansion of v in u
1.198 * [taylor]: Taking taylor expansion of u in u
1.198 * [taylor]: Taking taylor expansion of 0 in v
1.199 * [taylor]: Taking taylor expansion of 0 in v
1.199 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
1.199 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
1.199 * [taylor]: Taking taylor expansion of 3 in u
1.199 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.199 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.199 * [taylor]: Taking taylor expansion of v 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 * [taylor]: Taking taylor expansion of 0 in v
1.200 * [taylor]: Taking taylor expansion of 0 in v
1.200 * [taylor]: Taking taylor expansion of 0 in v
1.201 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
1.201 * [taylor]: Taking taylor expansion of 4 in u
1.201 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.201 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.201 * [taylor]: Taking taylor expansion of v in u
1.201 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.201 * [taylor]: Taking taylor expansion of u in u
1.202 * [taylor]: Taking taylor expansion of 0 in v
1.202 * [taylor]: Taking taylor expansion of 0 in v
1.203 * [taylor]: Taking taylor expansion of 0 in v
1.203 * [taylor]: Taking taylor expansion of 0 in v
1.203 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
1.203 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
1.203 * [taylor]: Taking taylor expansion of -1 in v
1.203 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
1.203 * [taylor]: Taking taylor expansion of t1 in v
1.203 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
1.203 * [taylor]: Taking taylor expansion of v in v
1.203 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) 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.203 * [taylor]: Taking taylor expansion of u in v
1.203 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.203 * [taylor]: Taking taylor expansion of t1 in v
1.204 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
1.204 * [taylor]: Taking taylor expansion of -1 in u
1.204 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
1.204 * [taylor]: Taking taylor expansion of t1 in u
1.204 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
1.204 * [taylor]: Taking taylor expansion of v in u
1.204 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.204 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.204 * [taylor]: Taking taylor expansion of u in u
1.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.204 * [taylor]: Taking taylor expansion of t1 in u
1.205 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.205 * [taylor]: Taking taylor expansion of -1 in t1
1.205 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.205 * [taylor]: Taking taylor expansion of t1 in t1
1.205 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.205 * [taylor]: Taking taylor expansion of v in t1
1.205 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.205 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.205 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.205 * [taylor]: Taking taylor expansion of u in t1
1.205 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.205 * [taylor]: Taking taylor expansion of t1 in t1
1.205 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
1.205 * [taylor]: Taking taylor expansion of -1 in t1
1.205 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
1.205 * [taylor]: Taking taylor expansion of t1 in t1
1.205 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
1.205 * [taylor]: Taking taylor expansion of v in t1
1.205 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
1.205 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.205 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.205 * [taylor]: Taking taylor expansion of u in t1
1.205 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.205 * [taylor]: Taking taylor expansion of t1 in t1
1.205 * [taylor]: Taking taylor expansion of (/ -1 v) in u
1.206 * [taylor]: Taking taylor expansion of -1 in u
1.206 * [taylor]: Taking taylor expansion of v in u
1.206 * [taylor]: Taking taylor expansion of 0 in v
1.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
1.206 * [taylor]: Taking taylor expansion of 2 in u
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
1.206 * [taylor]: Taking taylor expansion of (* v u) in u
1.206 * [taylor]: Taking taylor expansion of v in u
1.206 * [taylor]: Taking taylor expansion of u in u
1.207 * [taylor]: Taking taylor expansion of 0 in v
1.207 * [taylor]: Taking taylor expansion of 0 in v
1.207 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in u
1.207 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
1.207 * [taylor]: Taking taylor expansion of 3 in u
1.207 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
1.207 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
1.207 * [taylor]: Taking taylor expansion of v in u
1.207 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.208 * [taylor]: Taking taylor expansion of u in u
1.208 * [taylor]: Taking taylor expansion of 0 in v
1.208 * [taylor]: Taking taylor expansion of 0 in v
1.208 * [taylor]: Taking taylor expansion of 0 in v
1.209 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
1.209 * [taylor]: Taking taylor expansion of 4 in u
1.209 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
1.209 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
1.209 * [taylor]: Taking taylor expansion of v in u
1.209 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.209 * [taylor]: Taking taylor expansion of u in u
1.210 * [taylor]: Taking taylor expansion of 0 in v
1.211 * [taylor]: Taking taylor expansion of 0 in v
1.211 * [taylor]: Taking taylor expansion of 0 in v
1.211 * [taylor]: Taking taylor expansion of 0 in v
1.211 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.211 * [approximate]: Taking taylor expansion of (/ t1 (+ t1 u)) in (t1 u) around 0
1.211 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
1.211 * [taylor]: Taking taylor expansion of t1 in u
1.211 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.211 * [taylor]: Taking taylor expansion of t1 in u
1.211 * [taylor]: Taking taylor expansion of u in u
1.211 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of u in t1
1.211 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.211 * [taylor]: Taking taylor expansion of t1 in t1
1.211 * [taylor]: Taking taylor expansion of u in t1
1.212 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.212 * [taylor]: Taking taylor expansion of u in u
1.212 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.212 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.212 * [taylor]: Taking taylor expansion of u in u
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
1.212 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.212 * [taylor]: Taking taylor expansion of u in u
1.213 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.213 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.213 * [taylor]: Taking taylor expansion of t1 in u
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.213 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.213 * [taylor]: Taking taylor expansion of u in u
1.213 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.213 * [taylor]: Taking taylor expansion of t1 in u
1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.213 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.213 * [taylor]: Taking taylor expansion of t1 in t1
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.213 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.213 * [taylor]: Taking taylor expansion of u in t1
1.213 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.213 * [taylor]: Taking taylor expansion of t1 in t1
1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.213 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.213 * [taylor]: Taking taylor expansion of t1 in t1
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.213 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.213 * [taylor]: Taking taylor expansion of u in t1
1.213 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.213 * [taylor]: Taking taylor expansion of t1 in t1
1.213 * [taylor]: Taking taylor expansion of 1 in u
1.214 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
1.214 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.214 * [taylor]: Taking taylor expansion of u in u
1.214 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.214 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.214 * [taylor]: Taking taylor expansion of u in u
1.214 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
1.214 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.214 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.214 * [taylor]: Taking taylor expansion of t1 in u
1.214 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.214 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.214 * [taylor]: Taking taylor expansion of u in u
1.215 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.215 * [taylor]: Taking taylor expansion of t1 in u
1.215 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.215 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.215 * [taylor]: Taking taylor expansion of t1 in t1
1.215 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.215 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.215 * [taylor]: Taking taylor expansion of u in t1
1.215 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.215 * [taylor]: Taking taylor expansion of t1 in t1
1.215 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.215 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.215 * [taylor]: Taking taylor expansion of t1 in t1
1.215 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.215 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.215 * [taylor]: Taking taylor expansion of u in t1
1.215 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.215 * [taylor]: Taking taylor expansion of t1 in t1
1.215 * [taylor]: Taking taylor expansion of 1 in u
1.215 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
1.215 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.215 * [taylor]: Taking taylor expansion of u in u
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.216 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.216 * [taylor]: Taking taylor expansion of u in u
1.216 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.216 * [approximate]: Taking taylor expansion of (/ -1 (+ t1 u)) in (t1 u) around 0
1.216 * [taylor]: Taking taylor expansion of (/ -1 (+ t1 u)) in u
1.216 * [taylor]: Taking taylor expansion of -1 in u
1.216 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.216 * [taylor]: Taking taylor expansion of t1 in u
1.216 * [taylor]: Taking taylor expansion of u in u
1.216 * [taylor]: Taking taylor expansion of (/ -1 (+ t1 u)) in t1
1.216 * [taylor]: Taking taylor expansion of -1 in t1
1.216 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.216 * [taylor]: Taking taylor expansion of t1 in t1
1.216 * [taylor]: Taking taylor expansion of u in t1
1.216 * [taylor]: Taking taylor expansion of (/ -1 (+ t1 u)) in t1
1.216 * [taylor]: Taking taylor expansion of -1 in t1
1.216 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.216 * [taylor]: Taking taylor expansion of t1 in t1
1.216 * [taylor]: Taking taylor expansion of u in t1
1.216 * [taylor]: Taking taylor expansion of (/ -1 u) in u
1.217 * [taylor]: Taking taylor expansion of -1 in u
1.217 * [taylor]: Taking taylor expansion of u in u
1.217 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.217 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.217 * [taylor]: Taking taylor expansion of u in u
1.217 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 3))) in u
1.217 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
1.217 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.217 * [taylor]: Taking taylor expansion of u in u
1.218 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.218 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u
1.218 * [taylor]: Taking taylor expansion of -1 in u
1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.218 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.218 * [taylor]: Taking taylor expansion of u in u
1.218 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.218 * [taylor]: Taking taylor expansion of t1 in u
1.218 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1
1.218 * [taylor]: Taking taylor expansion of -1 in t1
1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.218 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.218 * [taylor]: Taking taylor expansion of u in t1
1.218 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.218 * [taylor]: Taking taylor expansion of t1 in t1
1.218 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1
1.218 * [taylor]: Taking taylor expansion of -1 in t1
1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.218 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.218 * [taylor]: Taking taylor expansion of u in t1
1.218 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.218 * [taylor]: Taking taylor expansion of t1 in t1
1.218 * [taylor]: Taking taylor expansion of -1 in u
1.218 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.218 * [taylor]: Taking taylor expansion of u in u
1.219 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.219 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.219 * [taylor]: Taking taylor expansion of u in u
1.222 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0
1.222 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.222 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.222 * [taylor]: Taking taylor expansion of u in u
1.222 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.222 * [taylor]: Taking taylor expansion of t1 in u
1.222 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.222 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.222 * [taylor]: Taking taylor expansion of u in t1
1.222 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.222 * [taylor]: Taking taylor expansion of t1 in t1
1.222 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.222 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.222 * [taylor]: Taking taylor expansion of u in t1
1.223 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.223 * [taylor]: Taking taylor expansion of t1 in t1
1.223 * [taylor]: Taking taylor expansion of 1 in u
1.223 * [taylor]: Taking taylor expansion of (neg (/ 1 u)) in u
1.223 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.223 * [taylor]: Taking taylor expansion of u in u
1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
1.223 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.223 * [taylor]: Taking taylor expansion of u in u
1.223 * * * [progress]: simplifying candidates
1.226 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ t1 (+ t1 u)) v)
  (+ (- (log t1) (log (+ t1 u))) (log v))
  (+ (log (/ t1 (+ t1 u))) (log v))
  (log (* (/ t1 (+ t1 u)) v))
  (exp (* (/ t1 (+ t1 u)) v))
  (* (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v))
  (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (* (* v v) v))
  (* (cbrt (* (/ t1 (+ t1 u)) v)) (cbrt (* (/ t1 (+ t1 u)) v)))
  (cbrt (* (/ t1 (+ t1 u)) v))
  (* (* (* (/ t1 (+ t1 u)) v) (* (/ t1 (+ t1 u)) v)) (* (/ t1 (+ t1 u)) v))
  (sqrt (* (/ t1 (+ t1 u)) v))
  (sqrt (* (/ t1 (+ t1 u)) v))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt v))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt v))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (sqrt v))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (sqrt v))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ t1 (+ t1 u)) (sqrt v))
  (* (/ t1 (+ t1 u)) 1)
  (* (cbrt (/ t1 (+ t1 u))) v)
  (* (sqrt (/ t1 (+ t1 u))) v)
  (* (/ (cbrt t1) (cbrt (+ t1 u))) v)
  (* (/ (cbrt t1) (sqrt (+ t1 u))) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (cbrt (+ t1 u))) v)
  (* (/ (sqrt t1) (sqrt (+ t1 u))) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ 1 (+ t1 u)) v)
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) v)
  (* (- t1 u) v)
  (* t1 v)
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u))))
  (+ (+ (- (log t1) (log (+ t1 u))) (log v)) (neg (log (neg (+ t1 u)))))
  (+ (+ (- (log t1) (log (+ t1 u))) (log v)) (- 0 (log (neg (+ t1 u)))))
  (+ (+ (- (log t1) (log (+ t1 u))) (log v)) (- (log 1) (log (neg (+ t1 u)))))
  (+ (+ (- (log t1) (log (+ t1 u))) (log v)) (log (/ 1 (neg (+ t1 u)))))
  (+ (+ (log (/ t1 (+ t1 u))) (log v)) (neg (log (neg (+ t1 u)))))
  (+ (+ (log (/ t1 (+ t1 u))) (log v)) (- 0 (log (neg (+ t1 u)))))
  (+ (+ (log (/ t1 (+ t1 u))) (log v)) (- (log 1) (log (neg (+ t1 u)))))
  (+ (+ (log (/ t1 (+ t1 u))) (log v)) (log (/ 1 (neg (+ t1 u)))))
  (+ (log (* (/ t1 (+ t1 u)) v)) (neg (log (neg (+ t1 u)))))
  (+ (log (* (/ t1 (+ t1 u)) v)) (- 0 (log (neg (+ t1 u)))))
  (+ (log (* (/ t1 (+ t1 u)) v)) (- (log 1) (log (neg (+ t1 u)))))
  (+ (log (* (/ t1 (+ t1 u)) v)) (log (/ 1 (neg (+ t1 u)))))
  (log (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (exp (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (* (* (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v)) (/ (* (* 1 1) 1) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (* (* (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v)) (* (* (/ 1 (neg (+ t1 u))) (/ 1 (neg (+ t1 u)))) (/ 1 (neg (+ t1 u)))))
  (* (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (* (* v v) v)) (/ (* (* 1 1) 1) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (* (* (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u))) (* (* v v) v)) (* (* (/ 1 (neg (+ t1 u))) (/ 1 (neg (+ t1 u)))) (/ 1 (neg (+ t1 u)))))
  (* (* (* (* (/ t1 (+ t1 u)) v) (* (/ t1 (+ t1 u)) v)) (* (/ t1 (+ t1 u)) v)) (/ (* (* 1 1) 1) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u)))))
  (* (* (* (* (/ t1 (+ t1 u)) v) (* (/ t1 (+ t1 u)) v)) (* (/ t1 (+ t1 u)) v)) (* (* (/ 1 (neg (+ t1 u))) (/ 1 (neg (+ t1 u)))) (/ 1 (neg (+ t1 u)))))
  (* (cbrt (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u))))) (cbrt (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u))))))
  (cbrt (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (* (* (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u))))) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (sqrt (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (sqrt (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))
  (* (* t1 v) 1)
  (* (+ t1 u) (neg (+ t1 u)))
  (* (* (/ t1 (+ t1 u)) v) (* (cbrt (/ 1 (neg (+ t1 u)))) (cbrt (/ 1 (neg (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (sqrt (/ 1 (neg (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (sqrt (neg (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) -1))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (neg (sqrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u))))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (sqrt (neg (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) -1))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (neg (sqrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) (sqrt (+ t1 u))))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ (sqrt 1) 1))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (sqrt (neg (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 1))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 -1))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (sqrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg 1)))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (sqrt (+ t1 u))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 1))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 1))
  (* (* (/ t1 (+ t1 u)) v) 1)
  (* (* (/ t1 (+ t1 u)) v) 1)
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ (pow t1 3) (pow u 3)))))
  (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (- (* t1 t1) (* u u)))))
  (* v (/ 1 (neg (+ t1 u))))
  (* (* (/ t1 (+ t1 u)) v) 1)
  (* (* t1 v) (/ 1 (neg (+ t1 u))))
  (- (log t1) (log (+ t1 u)))
  (log (/ t1 (+ t1 u)))
  (exp (/ t1 (+ t1 u)))
  (/ (* (* t1 t1) t1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))
  (cbrt (/ t1 (+ t1 u)))
  (* (* (/ t1 (+ t1 u)) (/ t1 (+ t1 u))) (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (neg t1)
  (neg (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (sqrt 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))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) t1)
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (sqrt (+ t1 u)))
  (/ t1 1)
  (/ t1 1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ t1 (+ (pow t1 3) (pow u 3)))
  (/ t1 (- (* t1 t1) (* u u)))
  (neg 1)
  (neg (log (neg (+ t1 u))))
  (- 0 (log (neg (+ t1 u))))
  (- (log 1) (log (neg (+ t1 u))))
  (log (/ 1 (neg (+ t1 u))))
  (exp (/ 1 (neg (+ t1 u))))
  (/ (* (* 1 1) 1) (* (* (neg (+ t1 u)) (neg (+ t1 u))) (neg (+ t1 u))))
  (* (cbrt (/ 1 (neg (+ t1 u)))) (cbrt (/ 1 (neg (+ t1 u)))))
  (cbrt (/ 1 (neg (+ t1 u))))
  (* (* (/ 1 (neg (+ t1 u))) (/ 1 (neg (+ t1 u)))) (/ 1 (neg (+ t1 u))))
  (sqrt (/ 1 (neg (+ t1 u))))
  (sqrt (/ 1 (neg (+ t1 u))))
  (neg 1)
  (neg (neg (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ (cbrt 1) (cbrt (neg (+ t1 u))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (neg (+ t1 u))))
  (/ (cbrt 1) (sqrt (neg (+ t1 u))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (neg (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) -1)
  (/ (cbrt 1) (+ t1 u))
  (/ (* (cbrt 1) (cbrt 1)) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (cbrt 1) (cbrt (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) (neg (sqrt (+ t1 u))))
  (/ (cbrt 1) (sqrt (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) (neg 1))
  (/ (cbrt 1) (+ t1 u))
  (/ (* (cbrt 1) (cbrt 1)) (neg 1))
  (/ (cbrt 1) (+ t1 u))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt 1) (neg (cbrt (+ t1 u))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u)))
  (/ (cbrt 1) (neg (sqrt (+ t1 u))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (neg (+ t1 u)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (neg (+ t1 u)))
  (/ (sqrt 1) (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ (sqrt 1) (cbrt (neg (+ t1 u))))
  (/ (sqrt 1) (sqrt (neg (+ t1 u))))
  (/ (sqrt 1) (sqrt (neg (+ t1 u))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (neg (+ t1 u)))
  (/ (sqrt 1) -1)
  (/ (sqrt 1) (+ t1 u))
  (/ (sqrt 1) (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ (sqrt 1) (cbrt (+ t1 u)))
  (/ (sqrt 1) (neg (sqrt (+ t1 u))))
  (/ (sqrt 1) (sqrt (+ t1 u)))
  (/ (sqrt 1) (neg 1))
  (/ (sqrt 1) (+ t1 u))
  (/ (sqrt 1) (neg 1))
  (/ (sqrt 1) (+ t1 u))
  (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt 1) (neg (cbrt (+ t1 u))))
  (/ (sqrt 1) (sqrt (+ t1 u)))
  (/ (sqrt 1) (neg (sqrt (+ t1 u))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (neg (+ t1 u)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (neg (+ t1 u)))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ 1 (cbrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ 1 1)
  (/ 1 (neg (+ t1 u)))
  (/ 1 -1)
  (/ 1 (+ t1 u))
  (/ 1 (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (neg 1))
  (/ 1 (+ t1 u))
  (/ 1 (neg 1))
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (neg (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ 1 1)
  (/ 1 (neg (+ t1 u)))
  (/ 1 1)
  (/ 1 (neg (+ t1 u)))
  (/ 1 (neg (+ t1 u)))
  (/ (neg (+ t1 u)) 1)
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ 1 1)
  (/ 1 -1)
  (/ 1 (neg (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ 1 (neg 1))
  (/ 1 (neg 1))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 1)
  (/ 1 1)
  (/ (neg (+ t1 u)) (cbrt 1))
  (/ (neg (+ t1 u)) (sqrt 1))
  (/ (neg (+ t1 u)) 1)
  (/ 1 (neg (+ (pow t1 3) (pow u 3))))
  (/ 1 (neg (- (* t1 t1) (* u u))))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
1.286 * * [simplify]: iteration  0 :  4965  enodes  (cost  2245 )
1.286 * * [simplify]: iteration  1 :  4965  enodes  (cost  2245 )
1.294 * [simplify]: Simplified to:
   (* (/ t1 (+ t1 u)) v)
  (log (* (/ t1 (+ t1 u)) v))
  (log (* (/ t1 (+ t1 u)) v))
  (log (* (/ t1 (+ t1 u)) v))
  (pow (exp (/ t1 (+ t1 u))) v)
  (pow (* (/ t1 (+ t1 u)) v) 3)
  (pow (* (/ t1 (+ t1 u)) v) 3)
  (* (cbrt (* (/ t1 (+ t1 u)) v)) (cbrt (* (/ t1 (+ t1 u)) v)))
  (cbrt (* (/ t1 (+ t1 u)) v))
  (pow (* (/ t1 (+ t1 u)) v) 3)
  (sqrt (* (/ t1 (+ t1 u)) v))
  (sqrt (* (/ t1 (+ t1 u)) v))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt v))
  (* (sqrt (/ t1 (+ t1 u))) (sqrt v))
  (* (sqrt v) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (sqrt v) (/ (sqrt t1) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ t1 (+ t1 u)) (sqrt v))
  (/ t1 (+ t1 u))
  (* v (cbrt (/ t1 (+ t1 u))))
  (* v (sqrt (/ t1 (+ t1 u))))
  (* v (/ (cbrt t1) (cbrt (+ t1 u))))
  (* v (/ (cbrt t1) (sqrt (+ t1 u))))
  (* v (/ (cbrt t1) (+ t1 u)))
  (* v (/ (cbrt t1) (+ t1 u)))
  (* v (/ (sqrt t1) (cbrt (+ t1 u))))
  (* v (/ (sqrt t1) (sqrt (+ t1 u))))
  (* v (/ (sqrt t1) (+ t1 u)))
  (* v (/ (sqrt t1) (+ t1 u)))
  (* v (/ t1 (cbrt (+ t1 u))))
  (* v (/ t1 (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (/ v (+ t1 u))
  (* v (+ (* t1 t1) (* u (- u t1))))
  (* v (- t1 u))
  (* t1 v)
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (pow (exp (/ t1 (+ t1 u))) (/ v (neg (+ t1 u))))
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (* (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))) (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))))
  (cbrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (pow (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) 3)
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (sqrt (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))
  (* t1 v)
  (* (+ t1 u) (neg (+ t1 u)))
  (* (/ t1 (+ t1 u)) (* v (* (cbrt (/ 1 (neg (+ t1 u)))) (cbrt (/ 1 (neg (+ t1 u)))))))
  (* (/ t1 (+ t1 u)) (* v (sqrt (/ 1 (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (cbrt (neg (+ t1 u)))) (/ (cbrt 1) (cbrt (neg (+ t1 u)))))))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (sqrt (neg (+ t1 u)))) (cbrt 1))))
  (* (/ t1 (+ t1 u)) (* v (* (cbrt 1) (cbrt 1))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (neg (+ t1 u)) (* t1 v)))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (cbrt (+ t1 u))) (/ (cbrt 1) (neg (cbrt (+ t1 u)))))))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (neg (sqrt (+ t1 u)))) (cbrt 1))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (neg (+ t1 u)) (* t1 v)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (neg (+ t1 u)) (* t1 v)))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (cbrt (+ t1 u))) (/ (cbrt 1) (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (* v (* (/ (cbrt 1) (sqrt (+ t1 u))) (cbrt 1))))
  (* (/ t1 (+ t1 u)) (* v (* (cbrt 1) (cbrt 1))))
  (* (/ t1 (+ t1 u)) (* v (* (cbrt 1) (cbrt 1))))
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ v (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ v (neg (sqrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ v (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ v (sqrt (neg (+ t1 u)))))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u))))))
  (* (/ t1 (+ t1 u)) (/ v (neg (sqrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (neg v))
  (* (/ t1 (+ t1 u)) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ t1 (+ t1 u)) (/ v (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) (/ v (neg (+ (pow t1 3) (pow u 3)))))
  (* (/ t1 (+ t1 u)) (/ v (* (+ t1 u) (neg (- t1 u)))))
  (/ v (neg (+ t1 u)))
  (* (/ t1 (+ t1 u)) v)
  (* t1 (/ v (neg (+ t1 u))))
  (log (/ t1 (+ t1 u)))
  (log (/ t1 (+ t1 u)))
  (exp (/ t1 (+ t1 u)))
  (pow (/ t1 (+ t1 u)) 3)
  (* (cbrt (/ t1 (+ t1 u))) (cbrt (/ t1 (+ t1 u))))
  (cbrt (/ t1 (+ t1 u)))
  (pow (/ t1 (+ t1 u)) 3)
  (sqrt (/ t1 (+ t1 u)))
  (sqrt (/ t1 (+ t1 u)))
  (neg t1)
  (neg (+ t1 u))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ (cbrt t1) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (cbrt t1))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (cbrt t1) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (cbrt t1) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (sqrt t1) (+ t1 u))
  (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))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) t1)
  (/ t1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (sqrt (+ t1 u)))
  t1
  t1
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ t1 (+ (pow t1 3) (pow u 3)))
  (/ t1 (- (* t1 t1) (* u u)))
  -1
  (neg (log (neg (+ t1 u))))
  (neg (log (neg (+ t1 u))))
  (neg (log (neg (+ t1 u))))
  (neg (log (neg (+ t1 u))))
  (exp (/ 1 (neg (+ t1 u))))
  (/ 1 (pow (neg (+ t1 u)) 3))
  (* (cbrt (/ 1 (neg (+ t1 u)))) (cbrt (/ 1 (neg (+ t1 u)))))
  (cbrt (/ 1 (neg (+ t1 u))))
  (/ 1 (pow (neg (+ t1 u)) 3))
  (sqrt (/ 1 (neg (+ t1 u))))
  (sqrt (/ 1 (neg (+ t1 u))))
  -1
  (+ t1 u)
  (* (/ (cbrt 1) (cbrt (neg (+ t1 u)))) (/ (cbrt 1) (cbrt (neg (+ t1 u)))))
  (/ (cbrt 1) (cbrt (neg (+ t1 u))))
  (* (/ (cbrt 1) (sqrt (neg (+ t1 u)))) (cbrt 1))
  (/ (cbrt 1) (sqrt (neg (+ t1 u))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (neg (+ t1 u)))
  (* (/ (cbrt 1) -1) (cbrt 1))
  (/ (cbrt 1) (+ t1 u))
  (* (/ (cbrt 1) (cbrt (+ t1 u))) (/ (cbrt 1) (neg (cbrt (+ t1 u)))))
  (/ (cbrt 1) (cbrt (+ t1 u)))
  (* (/ (cbrt 1) (neg (sqrt (+ t1 u)))) (cbrt 1))
  (/ (cbrt 1) (sqrt (+ t1 u)))
  (* (/ (cbrt 1) -1) (cbrt 1))
  (/ (cbrt 1) (+ t1 u))
  (* (/ (cbrt 1) -1) (cbrt 1))
  (/ (cbrt 1) (+ t1 u))
  (* (/ (cbrt 1) (cbrt (+ t1 u))) (/ (cbrt 1) (cbrt (+ t1 u))))
  (/ (cbrt 1) (neg (cbrt (+ t1 u))))
  (* (/ (cbrt 1) (sqrt (+ t1 u))) (cbrt 1))
  (/ (cbrt 1) (neg (sqrt (+ t1 u))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (neg (+ t1 u)))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (neg (+ t1 u)))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ 1 (cbrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  1
  (/ 1 (neg (+ t1 u)))
  -1
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  -1
  (/ 1 (+ t1 u))
  -1
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (neg (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  1
  (/ 1 (neg (+ t1 u)))
  1
  (/ 1 (neg (+ t1 u)))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ 1 (cbrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  (/ 1 (sqrt (neg (+ t1 u))))
  1
  (/ 1 (neg (+ t1 u)))
  -1
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ 1 (cbrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  -1
  (/ 1 (+ t1 u))
  -1
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (neg (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  (/ 1 (neg (sqrt (+ t1 u))))
  1
  (/ 1 (neg (+ t1 u)))
  1
  (/ 1 (neg (+ t1 u)))
  (/ 1 (neg (+ t1 u)))
  (neg (+ t1 u))
  (/ 1 (* (cbrt (neg (+ t1 u))) (cbrt (neg (+ t1 u)))))
  (/ 1 (sqrt (neg (+ t1 u))))
  1
  -1
  (/ 1 (* (cbrt (+ t1 u)) (neg (cbrt (+ t1 u)))))
  (/ 1 (neg (sqrt (+ t1 u))))
  -1
  -1
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ 1 (sqrt (+ t1 u)))
  1
  1
  (/ (neg (+ t1 u)) (cbrt 1))
  (neg (+ t1 u))
  (neg (+ t1 u))
  (/ 1 (neg (+ (pow t1 3) (pow u 3))))
  (/ 1 (* (+ t1 u) (neg (- t1 u))))
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
  0
1.295 * * * [progress]: adding candidates to table
1.438 * [progress]: [Phase 3 of 3] Extracting.
1.438 * * [regime]: Finding splitpoints for: (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.439 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) t1 v u)
1.440 * * * * [regimes]: Trying to branch on (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) from (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.497 * * * * [regimes]: Trying to branch on t1 from (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.567 * * * * [regimes]: Trying to branch on v from (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.624 * * * * [regimes]: Trying to branch on u from (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.680 * * * [regime]: Found split indices: #<option (#s(si 2 137) #s(si 0 158) #s(si 2 255))>
1.681 * [binary-search]: Improving bounds with binary search for t1 and (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.849 * [regimes]: Found splitpoints: (#s(sp 2 t1 -1.450230774311497e-289) #s(sp 0 t1 2.458284528206544e-193) #s(sp 2 t1 +nan.0)) , with alts (#<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* (/ t1 (+ t1 u)) v) (/ 1 (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))> #<alt (λ (u v t1) (cbrt (/ (pow (* t1 v) 3) (neg (pow (+ t1 u) 6)))))> #<alt (λ (u v t1) (* t1 (* (/ 1 (+ t1 u)) (/ v (neg (+ t1 u))))))> #<alt (λ (u v t1) (exp (log (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))))> #<alt (λ (u v t1) (* t1 (/ 1 (* (/ (+ t1 u) v) (neg (+ t1 u))))))>)
1.850 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= t1 -1.450230774311497e-289) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) (if (<= t1 2.458284528206544e-193) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u))))))
1.850 * * [simplify]: iteration  0 :  35  enodes  (cost  33 )
1.850 * * [simplify]: iteration  1 :  35  enodes  (cost  33 )
1.851 * [simplify]: Simplified to:
   (if (or (<= t1 -1.450230774311497e-289) (not (<= t1 2.458284528206544e-193))) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))) (/ (* t1 (neg v)) (* (+ t1 u) (+ t1 u))))
3.279 * [regime-testing]: End program error score: 2.225870384211697