2.535 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.270 * * * [progress]: [2/2] Setting up program.
0.273 * [progress]: [Phase 2 of 3] Improving.
0.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
0.319 * * [simplify]: iteration  0 :  5073  enodes  (cost  12 )
0.320 * [simplify]: Simplified to:
   (* t1 (/ v (* (+ t1 u) (neg (+ t1 u)))))
0.324 * * [progress]: iteration 1 / 4
0.324 * * * [progress]: picking best candidate
0.329 * * * * [pick]: Picked  #<alt (λ (u v t1) (* t1 (/ v (* (+ t1 u) (neg (+ t1 u))))))>
0.329 * * * [progress]: localizing error
0.336 * * * [progress]: generating rewritten candidates
0.336 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.350 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.359 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.372 * * * [progress]: generating series expansions
0.372 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.372 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
0.372 * [taylor]: Taking taylor expansion of -1 in u
0.372 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
0.372 * [taylor]: Taking taylor expansion of (* t1 v) in u
0.372 * [taylor]: Taking taylor expansion of t1 in u
0.372 * [taylor]: Taking taylor expansion of v in u
0.372 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.372 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.372 * [taylor]: Taking taylor expansion of t1 in u
0.372 * [taylor]: Taking taylor expansion of u in u
0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
0.372 * [taylor]: Taking taylor expansion of -1 in v
0.373 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
0.373 * [taylor]: Taking taylor expansion of (* t1 v) in v
0.373 * [taylor]: Taking taylor expansion of t1 in v
0.373 * [taylor]: Taking taylor expansion of v in v
0.373 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.373 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.373 * [taylor]: Taking taylor expansion of t1 in v
0.373 * [taylor]: Taking taylor expansion of u in v
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.373 * [taylor]: Taking taylor expansion of -1 in t1
0.373 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.373 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.373 * [taylor]: Taking taylor expansion of t1 in t1
0.373 * [taylor]: Taking taylor expansion of v in t1
0.373 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.373 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.373 * [taylor]: Taking taylor expansion of t1 in t1
0.373 * [taylor]: Taking taylor expansion of u in t1
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
0.373 * [taylor]: Taking taylor expansion of -1 in t1
0.373 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
0.373 * [taylor]: Taking taylor expansion of (* t1 v) in t1
0.373 * [taylor]: Taking taylor expansion of t1 in t1
0.373 * [taylor]: Taking taylor expansion of v in t1
0.373 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.373 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.373 * [taylor]: Taking taylor expansion of t1 in t1
0.373 * [taylor]: Taking taylor expansion of u in t1
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v
0.373 * [taylor]: Taking taylor expansion of -1 in v
0.373 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
0.373 * [taylor]: Taking taylor expansion of v in v
0.374 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.374 * [taylor]: Taking taylor expansion of u in v
0.374 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.374 * [taylor]: Taking taylor expansion of -1 in u
0.374 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.374 * [taylor]: Taking taylor expansion of u in u
0.374 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v
0.374 * [taylor]: Taking taylor expansion of 2 in v
0.374 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
0.374 * [taylor]: Taking taylor expansion of v in v
0.374 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.374 * [taylor]: Taking taylor expansion of u in v
0.375 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u
0.375 * [taylor]: Taking taylor expansion of 2 in u
0.375 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.375 * [taylor]: Taking taylor expansion of u in u
0.375 * [taylor]: Taking taylor expansion of 0 in u
0.376 * [taylor]: Taking taylor expansion of (neg (* 3 (/ v (pow u 4)))) in v
0.376 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v
0.376 * [taylor]: Taking taylor expansion of 3 in v
0.376 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v
0.376 * [taylor]: Taking taylor expansion of v in v
0.376 * [taylor]: Taking taylor expansion of (pow u 4) in v
0.376 * [taylor]: Taking taylor expansion of u in v
0.377 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 4)))) in u
0.377 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u
0.377 * [taylor]: Taking taylor expansion of 3 in u
0.377 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u
0.377 * [taylor]: Taking taylor expansion of (pow u 4) in u
0.377 * [taylor]: Taking taylor expansion of u in u
0.377 * [taylor]: Taking taylor expansion of 0 in u
0.378 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.378 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.378 * [taylor]: Taking taylor expansion of -1 in u
0.378 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.378 * [taylor]: Taking taylor expansion of t1 in u
0.378 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.378 * [taylor]: Taking taylor expansion of v in u
0.378 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.378 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.378 * [taylor]: Taking taylor expansion of u in u
0.378 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.378 * [taylor]: Taking taylor expansion of t1 in u
0.378 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
0.378 * [taylor]: Taking taylor expansion of -1 in v
0.378 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.378 * [taylor]: Taking taylor expansion of t1 in v
0.378 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.378 * [taylor]: Taking taylor expansion of v in v
0.378 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.378 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.378 * [taylor]: Taking taylor expansion of u in v
0.378 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.378 * [taylor]: Taking taylor expansion of t1 in v
0.379 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.379 * [taylor]: Taking taylor expansion of -1 in t1
0.379 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.379 * [taylor]: Taking taylor expansion of t1 in t1
0.379 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.379 * [taylor]: Taking taylor expansion of v in t1
0.379 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.379 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.379 * [taylor]: Taking taylor expansion of u in t1
0.379 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.379 * [taylor]: Taking taylor expansion of t1 in t1
0.379 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
0.379 * [taylor]: Taking taylor expansion of -1 in t1
0.379 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.379 * [taylor]: Taking taylor expansion of t1 in t1
0.379 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.380 * [taylor]: Taking taylor expansion of v in t1
0.380 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.380 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.380 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.380 * [taylor]: Taking taylor expansion of u in t1
0.380 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.380 * [taylor]: Taking taylor expansion of t1 in t1
0.380 * [taylor]: Taking taylor expansion of (/ -1 v) in v
0.380 * [taylor]: Taking taylor expansion of -1 in v
0.380 * [taylor]: Taking taylor expansion of v in v
0.380 * [taylor]: Taking taylor expansion of -1 in u
0.380 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.380 * [taylor]: Taking taylor expansion of 2 in v
0.381 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.381 * [taylor]: Taking taylor expansion of (* v u) in v
0.381 * [taylor]: Taking taylor expansion of v in v
0.381 * [taylor]: Taking taylor expansion of u in v
0.381 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.381 * [taylor]: Taking taylor expansion of 2 in u
0.381 * [taylor]: Taking taylor expansion of u in u
0.381 * [taylor]: Taking taylor expansion of 0 in u
0.381 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.381 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.382 * [taylor]: Taking taylor expansion of 3 in v
0.382 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.382 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.382 * [taylor]: Taking taylor expansion of v in v
0.382 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.382 * [taylor]: Taking taylor expansion of u in v
0.382 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow u 2)))) in u
0.382 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
0.382 * [taylor]: Taking taylor expansion of 3 in u
0.382 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.382 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.382 * [taylor]: Taking taylor expansion of u in u
0.382 * [taylor]: Taking taylor expansion of 0 in u
0.383 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
0.383 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
0.383 * [taylor]: Taking taylor expansion of -1 in u
0.383 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.383 * [taylor]: Taking taylor expansion of t1 in u
0.383 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.383 * [taylor]: Taking taylor expansion of v in u
0.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.383 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.383 * [taylor]: Taking taylor expansion of u in u
0.383 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.383 * [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.385 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.385 * [taylor]: Taking taylor expansion of t1 in t1
0.385 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.385 * [taylor]: Taking taylor expansion of v in t1
0.385 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.385 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.385 * [taylor]: Taking taylor expansion of u in t1
0.385 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.385 * [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.386 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
0.386 * [taylor]: Taking taylor expansion of 2 in v
0.386 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
0.386 * [taylor]: Taking taylor expansion of (* v u) in v
0.386 * [taylor]: Taking taylor expansion of v in v
0.386 * [taylor]: Taking taylor expansion of u in v
0.386 * [taylor]: Taking taylor expansion of (/ 2 u) in u
0.386 * [taylor]: Taking taylor expansion of 2 in u
0.386 * [taylor]: Taking taylor expansion of u in u
0.386 * [taylor]: Taking taylor expansion of 0 in u
0.387 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (* v (pow u 2))))) in v
0.387 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
0.387 * [taylor]: Taking taylor expansion of 3 in v
0.387 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
0.387 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
0.387 * [taylor]: Taking taylor expansion of v in v
0.387 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.387 * [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.388 * [taylor]: Taking taylor expansion of 0 in u
0.388 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.388 * [approximate]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in (v t1 u) around 0
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in u
0.388 * [taylor]: Taking taylor expansion of -1 in u
0.388 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in u
0.388 * [taylor]: Taking taylor expansion of v in u
0.388 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.388 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.388 * [taylor]: Taking taylor expansion of t1 in u
0.388 * [taylor]: Taking taylor expansion of u in u
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in t1
0.388 * [taylor]: Taking taylor expansion of -1 in t1
0.388 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in t1
0.388 * [taylor]: Taking taylor expansion of v in t1
0.388 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.388 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.388 * [taylor]: Taking taylor expansion of t1 in t1
0.388 * [taylor]: Taking taylor expansion of u in t1
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in v
0.388 * [taylor]: Taking taylor expansion of -1 in v
0.388 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in v
0.388 * [taylor]: Taking taylor expansion of v in v
0.388 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.388 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.388 * [taylor]: Taking taylor expansion of t1 in v
0.388 * [taylor]: Taking taylor expansion of u in v
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow (+ t1 u) 2))) in v
0.388 * [taylor]: Taking taylor expansion of -1 in v
0.388 * [taylor]: Taking taylor expansion of (/ v (pow (+ t1 u) 2)) in v
0.388 * [taylor]: Taking taylor expansion of v in v
0.388 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
0.388 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.388 * [taylor]: Taking taylor expansion of t1 in v
0.389 * [taylor]: Taking taylor expansion of u in v
0.389 * [taylor]: Taking taylor expansion of (/ -1 (pow (+ t1 u) 2)) in t1
0.389 * [taylor]: Taking taylor expansion of -1 in t1
0.389 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.389 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.389 * [taylor]: Taking taylor expansion of t1 in t1
0.389 * [taylor]: Taking taylor expansion of u in t1
0.389 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
0.389 * [taylor]: Taking taylor expansion of -1 in u
0.389 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.389 * [taylor]: Taking taylor expansion of u in u
0.389 * [taylor]: Taking taylor expansion of 0 in t1
0.389 * [taylor]: Taking taylor expansion of 0 in u
0.390 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u
0.390 * [taylor]: Taking taylor expansion of 2 in u
0.390 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
0.390 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.390 * [taylor]: Taking taylor expansion of u in u
0.391 * [taylor]: Taking taylor expansion of 0 in t1
0.391 * [taylor]: Taking taylor expansion of 0 in u
0.391 * [taylor]: Taking taylor expansion of 0 in u
0.391 * [approximate]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in (v t1 u) around 0
0.391 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
0.391 * [taylor]: Taking taylor expansion of -1 in u
0.391 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.391 * [taylor]: Taking taylor expansion of v in u
0.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.391 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.391 * [taylor]: Taking taylor expansion of u in u
0.391 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.391 * [taylor]: Taking taylor expansion of t1 in u
0.391 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
0.391 * [taylor]: Taking taylor expansion of -1 in t1
0.391 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.391 * [taylor]: Taking taylor expansion of v in t1
0.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.391 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.391 * [taylor]: Taking taylor expansion of u in t1
0.391 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.391 * [taylor]: Taking taylor expansion of t1 in t1
0.391 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.391 * [taylor]: Taking taylor expansion of -1 in v
0.391 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.391 * [taylor]: Taking taylor expansion of v in v
0.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.391 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.391 * [taylor]: Taking taylor expansion of u in v
0.391 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.391 * [taylor]: Taking taylor expansion of t1 in v
0.392 * [taylor]: Taking taylor expansion of (/ -1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
0.392 * [taylor]: Taking taylor expansion of -1 in v
0.392 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
0.392 * [taylor]: Taking taylor expansion of v in v
0.392 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.392 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.392 * [taylor]: Taking taylor expansion of u in v
0.392 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.392 * [taylor]: Taking taylor expansion of t1 in v
0.393 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))))) in t1
0.393 * [taylor]: Taking taylor expansion of -1 in t1
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t1 2)) (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2)))) in t1
0.393 * [taylor]: Taking taylor expansion of (/ 1 (pow t1 2)) in t1
0.393 * [taylor]: Taking taylor expansion of (pow t1 2) in t1
0.393 * [taylor]: Taking taylor expansion of t1 in t1
0.393 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* t1 u))) (/ 1 (pow u 2))) in t1
0.393 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* t1 u))) in t1
0.393 * [taylor]: Taking taylor expansion of 2 in t1
0.393 * [taylor]: Taking taylor expansion of (/ 1 (* t1 u)) 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 (pow u 2)) in t1
0.393 * [taylor]: Taking taylor expansion of (pow u 2) in t1
0.393 * [taylor]: Taking taylor expansion of u in t1
0.393 * [taylor]: Taking taylor expansion of -1 in u
0.394 * [taylor]: Taking taylor expansion of 0 in t1
0.394 * [taylor]: Taking taylor expansion of 0 in u
0.394 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.394 * [taylor]: Taking taylor expansion of 2 in u
0.395 * [taylor]: Taking taylor expansion of (/ 1 u) 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 (* 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 (* 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 (* 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.397 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) 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 (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.399 * [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.399 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.399 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.399 * [taylor]: Taking taylor expansion of 2 in u
0.399 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.399 * [taylor]: Taking taylor expansion of u in u
0.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 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.401 * [approximate]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in (t1 u) around 0
0.401 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in u
0.401 * [taylor]: Taking taylor expansion of -1 in u
0.401 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
0.401 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.401 * [taylor]: Taking taylor expansion of t1 in u
0.401 * [taylor]: Taking taylor expansion of u in u
0.401 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in t1
0.401 * [taylor]: Taking taylor expansion of -1 in t1
0.401 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.401 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.401 * [taylor]: Taking taylor expansion of t1 in t1
0.401 * [taylor]: Taking taylor expansion of u in t1
0.401 * [taylor]: Taking taylor expansion of (* -1 (pow (+ t1 u) 2)) in t1
0.401 * [taylor]: Taking taylor expansion of -1 in t1
0.401 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
0.401 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.401 * [taylor]: Taking taylor expansion of t1 in t1
0.401 * [taylor]: Taking taylor expansion of u in t1
0.401 * [taylor]: Taking taylor expansion of (* -1 (pow u 2)) in u
0.401 * [taylor]: Taking taylor expansion of -1 in u
0.401 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.401 * [taylor]: Taking taylor expansion of u in u
0.401 * [taylor]: Taking taylor expansion of (neg (* 2 u)) in u
0.401 * [taylor]: Taking taylor expansion of (* 2 u) in u
0.401 * [taylor]: Taking taylor expansion of 2 in u
0.401 * [taylor]: Taking taylor expansion of u in u
0.402 * [taylor]: Taking taylor expansion of (neg 1) in u
0.402 * [taylor]: Taking taylor expansion of 1 in u
0.402 * [approximate]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in (t1 u) around 0
0.402 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.402 * [taylor]: Taking taylor expansion of -1 in u
0.402 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.402 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.402 * [taylor]: Taking taylor expansion of u in u
0.402 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.402 * [taylor]: Taking taylor expansion of t1 in u
0.402 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.402 * [taylor]: Taking taylor expansion of -1 in t1
0.402 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.402 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.402 * [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 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.402 * [taylor]: Taking taylor expansion of -1 in t1
0.402 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.402 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.402 * [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.403 * [taylor]: Taking taylor expansion of -1 in u
0.403 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.403 * [taylor]: Taking taylor expansion of 2 in u
0.403 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.403 * [taylor]: Taking taylor expansion of u in u
0.403 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.403 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.403 * [taylor]: Taking taylor expansion of u in u
0.404 * [approximate]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in (t1 u) around 0
0.404 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
0.404 * [taylor]: Taking taylor expansion of -1 in u
0.404 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.404 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.404 * [taylor]: Taking taylor expansion of u in u
0.404 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.404 * [taylor]: Taking taylor expansion of t1 in u
0.404 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.404 * [taylor]: Taking taylor expansion of -1 in t1
0.404 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.404 * [taylor]: Taking taylor expansion of u in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.404 * [taylor]: Taking taylor expansion of t1 in t1
0.404 * [taylor]: Taking taylor expansion of (* -1 (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
0.404 * [taylor]: Taking taylor expansion of -1 in t1
0.404 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.404 * [taylor]: Taking taylor expansion of u in t1
0.404 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.404 * [taylor]: Taking taylor expansion of t1 in t1
0.404 * [taylor]: Taking taylor expansion of -1 in u
0.404 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 u))) in u
0.404 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
0.404 * [taylor]: Taking taylor expansion of 2 in u
0.404 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.404 * [taylor]: Taking taylor expansion of u in u
0.405 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow u 2))) in u
0.405 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
0.405 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.405 * [taylor]: Taking taylor expansion of u in u
0.405 * * * [progress]: simplifying candidates
0.406 * [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.442 * * [simplify]: iteration  0 :  4984  enodes  (cost  1307 )
0.443 * * [simplify]: iteration  1 :  4984  enodes  (cost  1307 )
0.447 * [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.447 * * * [progress]: adding candidates to table
0.545 * * [progress]: iteration 2 / 4
0.545 * * * [progress]: picking best candidate
0.565 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))>
0.565 * * * [progress]: localizing error
0.575 * * * [progress]: generating rewritten candidates
0.576 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.585 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.587 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
0.588 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.590 * * * [progress]: generating series expansions
0.590 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.590 * [approximate]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in (t1 v u) around 0
0.590 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in u
0.590 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
0.590 * [taylor]: Taking taylor expansion of t1 in u
0.590 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.590 * [taylor]: Taking taylor expansion of t1 in u
0.590 * [taylor]: Taking taylor expansion of u in u
0.590 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in u
0.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in u
0.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in u
0.590 * [taylor]: Taking taylor expansion of 1/3 in u
0.590 * [taylor]: Taking taylor expansion of (log (pow v 2)) in u
0.590 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.590 * [taylor]: Taking taylor expansion of v in u
0.590 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in v
0.590 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in v
0.590 * [taylor]: Taking taylor expansion of t1 in v
0.590 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.590 * [taylor]: Taking taylor expansion of t1 in v
0.590 * [taylor]: Taking taylor expansion of u in v
0.591 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.591 * [taylor]: Taking taylor expansion of 1/3 in v
0.591 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.591 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.591 * [taylor]: Taking taylor expansion of v in v
0.591 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.591 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of u in t1
0.591 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.591 * [taylor]: Taking taylor expansion of 1/3 in t1
0.591 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.591 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.591 * [taylor]: Taking taylor expansion of v in t1
0.591 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.591 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.591 * [taylor]: Taking taylor expansion of t1 in t1
0.591 * [taylor]: Taking taylor expansion of u in t1
0.591 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.591 * [taylor]: Taking taylor expansion of 1/3 in t1
0.591 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.591 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.591 * [taylor]: Taking taylor expansion of v in t1
0.592 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 u)) in v
0.592 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.592 * [taylor]: Taking taylor expansion of 1/3 in v
0.592 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.592 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.592 * [taylor]: Taking taylor expansion of v in v
0.592 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.592 * [taylor]: Taking taylor expansion of u in v
0.592 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) u) in u
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.592 * [taylor]: Taking taylor expansion of 1/3 in u
0.592 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.592 * [taylor]: Taking taylor expansion of (log 1) in u
0.592 * [taylor]: Taking taylor expansion of 1 in u
0.592 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.592 * [taylor]: Taking taylor expansion of 2 in u
0.592 * [taylor]: Taking taylor expansion of (log v) in u
0.592 * [taylor]: Taking taylor expansion of v in u
0.593 * [taylor]: Taking taylor expansion of u in u
0.594 * [taylor]: Taking taylor expansion of (neg (* (pow (pow v 2) 1/3) (/ 1 (pow u 2)))) in v
0.594 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 2))) in v
0.594 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.594 * [taylor]: Taking taylor expansion of 1/3 in v
0.594 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.594 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.594 * [taylor]: Taking taylor expansion of v in v
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.594 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.594 * [taylor]: Taking taylor expansion of u in v
0.595 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2))) in u
0.595 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2)) in u
0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.595 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.595 * [taylor]: Taking taylor expansion of 1/3 in u
0.595 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.595 * [taylor]: Taking taylor expansion of (log 1) in u
0.595 * [taylor]: Taking taylor expansion of 1 in u
0.595 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.595 * [taylor]: Taking taylor expansion of 2 in u
0.595 * [taylor]: Taking taylor expansion of (log v) in u
0.595 * [taylor]: Taking taylor expansion of v in u
0.595 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.595 * [taylor]: Taking taylor expansion of u in u
0.597 * [taylor]: Taking taylor expansion of 0 in u
0.598 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 3))) in v
0.598 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.598 * [taylor]: Taking taylor expansion of 1/3 in v
0.598 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.598 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.598 * [taylor]: Taking taylor expansion of v in v
0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in v
0.599 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.599 * [taylor]: Taking taylor expansion of u in v
0.599 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 3)) in u
0.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.599 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.599 * [taylor]: Taking taylor expansion of 1/3 in u
0.599 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.599 * [taylor]: Taking taylor expansion of (log 1) in u
0.599 * [taylor]: Taking taylor expansion of 1 in u
0.599 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.599 * [taylor]: Taking taylor expansion of 2 in u
0.599 * [taylor]: Taking taylor expansion of (log v) in u
0.599 * [taylor]: Taking taylor expansion of v in u
0.599 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.599 * [taylor]: Taking taylor expansion of u in u
0.602 * [taylor]: Taking taylor expansion of 0 in u
0.602 * [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.602 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.602 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.602 * [taylor]: Taking taylor expansion of t1 in u
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.602 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.602 * [taylor]: Taking taylor expansion of u in u
0.602 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.602 * [taylor]: Taking taylor expansion of t1 in u
0.603 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.603 * [taylor]: Taking taylor expansion of 1/3 in u
0.603 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.603 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.603 * [taylor]: Taking taylor expansion of v in u
0.603 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.603 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.603 * [taylor]: Taking taylor expansion of t1 in v
0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.603 * [taylor]: Taking taylor expansion of u in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.603 * [taylor]: Taking taylor expansion of t1 in v
0.603 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.603 * [taylor]: Taking taylor expansion of 1/3 in v
0.603 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.603 * [taylor]: Taking taylor expansion of (/ 1 (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.604 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.604 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.604 * [taylor]: Taking taylor expansion of u in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.604 * [taylor]: Taking taylor expansion of 1/3 in t1
0.604 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.604 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.604 * [taylor]: Taking taylor expansion of v in t1
0.604 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.604 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.604 * [taylor]: Taking taylor expansion of u in t1
0.604 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.604 * [taylor]: Taking taylor expansion of t1 in t1
0.604 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.604 * [taylor]: Taking taylor expansion of 1/3 in t1
0.605 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.605 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.605 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.605 * [taylor]: Taking taylor expansion of v in t1
0.605 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.605 * [taylor]: Taking taylor expansion of 1/3 in v
0.605 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.605 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.605 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.605 * [taylor]: Taking taylor expansion of v in v
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.605 * [taylor]: Taking taylor expansion of 1/3 in u
0.605 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.605 * [taylor]: Taking taylor expansion of (log 1) in u
0.605 * [taylor]: Taking taylor expansion of 1 in u
0.605 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.605 * [taylor]: Taking taylor expansion of 2 in u
0.605 * [taylor]: Taking taylor expansion of (log v) in u
0.605 * [taylor]: Taking taylor expansion of v in u
0.607 * [taylor]: Taking taylor expansion of (neg (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u))) in v
0.607 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u)) in v
0.607 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.607 * [taylor]: Taking taylor expansion of 1/3 in v
0.607 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.607 * [taylor]: Taking taylor expansion of (/ 1 (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.607 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.607 * [taylor]: Taking taylor expansion of u in v
0.607 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u)) in u
0.607 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u) in u
0.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.607 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.607 * [taylor]: Taking taylor expansion of 1/3 in u
0.607 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.607 * [taylor]: Taking taylor expansion of (log 1) in u
0.607 * [taylor]: Taking taylor expansion of 1 in u
0.607 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.607 * [taylor]: Taking taylor expansion of 2 in u
0.607 * [taylor]: Taking taylor expansion of (log v) in u
0.607 * [taylor]: Taking taylor expansion of v in u
0.608 * [taylor]: Taking taylor expansion of u in u
0.609 * [taylor]: Taking taylor expansion of 0 in u
0.611 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 (pow u 2))) in v
0.611 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.611 * [taylor]: Taking taylor expansion of 1/3 in v
0.611 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.611 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.611 * [taylor]: Taking taylor expansion of v in v
0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.611 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.611 * [taylor]: Taking taylor expansion of u in v
0.611 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) (pow u 2)) in u
0.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.611 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.612 * [taylor]: Taking taylor expansion of 1/3 in u
0.612 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.612 * [taylor]: Taking taylor expansion of (log 1) in u
0.612 * [taylor]: Taking taylor expansion of 1 in u
0.612 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.612 * [taylor]: Taking taylor expansion of 2 in u
0.612 * [taylor]: Taking taylor expansion of (log v) in u
0.612 * [taylor]: Taking taylor expansion of v in u
0.612 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.612 * [taylor]: Taking taylor expansion of u in u
0.615 * [taylor]: Taking taylor expansion of 0 in u
0.615 * [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.615 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.615 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.615 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.615 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.615 * [taylor]: Taking taylor expansion of -1 in u
0.615 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.615 * [taylor]: Taking taylor expansion of t1 in u
0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.615 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.615 * [taylor]: Taking taylor expansion of u in u
0.615 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.615 * [taylor]: Taking taylor expansion of t1 in u
0.616 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.616 * [taylor]: Taking taylor expansion of 1/3 in u
0.616 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.616 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.616 * [taylor]: Taking taylor expansion of v in u
0.616 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.616 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.616 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.616 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.616 * [taylor]: Taking taylor expansion of -1 in v
0.616 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.616 * [taylor]: Taking taylor expansion of t1 in v
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.616 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.616 * [taylor]: Taking taylor expansion of u in v
0.616 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.616 * [taylor]: Taking taylor expansion of t1 in v
0.617 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.617 * [taylor]: Taking taylor expansion of 1/3 in v
0.617 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.617 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.617 * [taylor]: Taking taylor expansion of v in v
0.617 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.617 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.617 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.617 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.617 * [taylor]: Taking taylor expansion of -1 in t1
0.617 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.617 * [taylor]: Taking taylor expansion of t1 in t1
0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.617 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.617 * [taylor]: Taking taylor expansion of u in t1
0.617 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.617 * [taylor]: Taking taylor expansion of t1 in t1
0.618 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.618 * [taylor]: Taking taylor expansion of 1/3 in t1
0.618 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.618 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.618 * [taylor]: Taking taylor expansion of v in t1
0.618 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.618 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.618 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.618 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.618 * [taylor]: Taking taylor expansion of -1 in t1
0.618 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.618 * [taylor]: Taking taylor expansion of t1 in t1
0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.618 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.618 * [taylor]: Taking taylor expansion of u in t1
0.618 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.618 * [taylor]: Taking taylor expansion of t1 in t1
0.619 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.619 * [taylor]: Taking taylor expansion of 1/3 in t1
0.619 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.619 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.619 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.619 * [taylor]: Taking taylor expansion of v in t1
0.619 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow v 2)) 1/3)) in v
0.619 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.619 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.619 * [taylor]: Taking taylor expansion of -1 in v
0.619 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.619 * [taylor]: Taking taylor expansion of 1/3 in v
0.619 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.619 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.619 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.619 * [taylor]: Taking taylor expansion of v in v
0.620 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.620 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.620 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.620 * [taylor]: Taking taylor expansion of -1 in u
0.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.620 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.620 * [taylor]: Taking taylor expansion of 1/3 in u
0.620 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.620 * [taylor]: Taking taylor expansion of (log 1) in u
0.620 * [taylor]: Taking taylor expansion of 1 in u
0.620 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.620 * [taylor]: Taking taylor expansion of 2 in u
0.620 * [taylor]: Taking taylor expansion of (log v) in u
0.620 * [taylor]: Taking taylor expansion of v in u
0.622 * [taylor]: Taking taylor expansion of (neg (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3))) in v
0.623 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3)) in v
0.623 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) u) in v
0.623 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.623 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.623 * [taylor]: Taking taylor expansion of -1 in v
0.623 * [taylor]: Taking taylor expansion of u in v
0.623 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.623 * [taylor]: Taking taylor expansion of 1/3 in v
0.623 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.623 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.623 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.623 * [taylor]: Taking taylor expansion of v in v
0.624 * [taylor]: Taking taylor expansion of (neg (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u)) in u
0.624 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u) in u
0.624 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.624 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.624 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.624 * [taylor]: Taking taylor expansion of -1 in u
0.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.624 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.624 * [taylor]: Taking taylor expansion of 1/3 in u
0.624 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.624 * [taylor]: Taking taylor expansion of (log 1) in u
0.624 * [taylor]: Taking taylor expansion of 1 in u
0.624 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.624 * [taylor]: Taking taylor expansion of 2 in u
0.624 * [taylor]: Taking taylor expansion of (log v) in u
0.624 * [taylor]: Taking taylor expansion of v in u
0.624 * [taylor]: Taking taylor expansion of u in u
0.627 * [taylor]: Taking taylor expansion of 0 in u
0.631 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow u 2)) (pow (/ 1 (pow v 2)) 1/3)) in v
0.631 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow u 2)) in v
0.631 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.631 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.631 * [taylor]: Taking taylor expansion of -1 in v
0.631 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.631 * [taylor]: Taking taylor expansion of u in v
0.631 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.631 * [taylor]: Taking taylor expansion of 1/3 in v
0.631 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.631 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.631 * [taylor]: Taking taylor expansion of v in v
0.632 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) (pow u 2)) in u
0.632 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.632 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.632 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.632 * [taylor]: Taking taylor expansion of -1 in u
0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.632 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.632 * [taylor]: Taking taylor expansion of 1/3 in u
0.632 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.632 * [taylor]: Taking taylor expansion of (log 1) in u
0.632 * [taylor]: Taking taylor expansion of 1 in u
0.632 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.632 * [taylor]: Taking taylor expansion of 2 in u
0.632 * [taylor]: Taking taylor expansion of (log v) in u
0.632 * [taylor]: Taking taylor expansion of v in u
0.632 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.632 * [taylor]: Taking taylor expansion of u in u
0.637 * [taylor]: Taking taylor expansion of 0 in u
0.637 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.637 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.637 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.637 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.637 * [taylor]: Taking taylor expansion of 1/3 in v
0.637 * [taylor]: Taking taylor expansion of (log v) in v
0.637 * [taylor]: Taking taylor expansion of v in v
0.637 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.637 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.637 * [taylor]: Taking taylor expansion of 1/3 in v
0.637 * [taylor]: Taking taylor expansion of (log v) in v
0.637 * [taylor]: Taking taylor expansion of v in v
0.645 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.645 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.645 * [taylor]: Taking taylor expansion of 1/3 in v
0.645 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.645 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.645 * [taylor]: Taking taylor expansion of v in v
0.645 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.645 * [taylor]: Taking taylor expansion of 1/3 in v
0.645 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.645 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.645 * [taylor]: Taking taylor expansion of v in v
0.652 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.652 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.652 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.652 * [taylor]: Taking taylor expansion of -1 in v
0.652 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.652 * [taylor]: Taking taylor expansion of 1/3 in v
0.652 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.652 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.652 * [taylor]: Taking taylor expansion of v in v
0.652 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.652 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.652 * [taylor]: Taking taylor expansion of -1 in v
0.652 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.652 * [taylor]: Taking taylor expansion of 1/3 in v
0.652 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.652 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.652 * [taylor]: Taking taylor expansion of v in v
0.660 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
0.660 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.660 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.660 * [taylor]: Taking taylor expansion of 1/3 in v
0.660 * [taylor]: Taking taylor expansion of (log v) in v
0.660 * [taylor]: Taking taylor expansion of v in v
0.660 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.660 * [taylor]: Taking taylor expansion of 1/3 in v
0.660 * [taylor]: Taking taylor expansion of (log v) in v
0.660 * [taylor]: Taking taylor expansion of v in v
0.666 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.666 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.666 * [taylor]: Taking taylor expansion of 1/3 in v
0.666 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.666 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.666 * [taylor]: Taking taylor expansion of v in v
0.666 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.666 * [taylor]: Taking taylor expansion of 1/3 in v
0.666 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.666 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.666 * [taylor]: Taking taylor expansion of v in v
0.672 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.672 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.672 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.672 * [taylor]: Taking taylor expansion of -1 in v
0.672 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.672 * [taylor]: Taking taylor expansion of 1/3 in v
0.672 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.672 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.672 * [taylor]: Taking taylor expansion of v in v
0.672 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.672 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.672 * [taylor]: Taking taylor expansion of -1 in v
0.672 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.673 * [taylor]: Taking taylor expansion of 1/3 in v
0.673 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.673 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.673 * [taylor]: Taking taylor expansion of v in v
0.680 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.680 * [approximate]: Taking taylor expansion of (pow v 1/3) in (v) around 0
0.680 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.680 * [taylor]: Taking taylor expansion of 1/3 in v
0.680 * [taylor]: Taking taylor expansion of (log v) in v
0.680 * [taylor]: Taking taylor expansion of v in v
0.680 * [taylor]: Taking taylor expansion of (pow v 1/3) in v
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log v))) in v
0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log v)) in v
0.680 * [taylor]: Taking taylor expansion of 1/3 in v
0.680 * [taylor]: Taking taylor expansion of (log v) in v
0.680 * [taylor]: Taking taylor expansion of v in v
0.686 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/3) in (v) around 0
0.686 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.686 * [taylor]: Taking taylor expansion of 1/3 in v
0.686 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.686 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.686 * [taylor]: Taking taylor expansion of v in v
0.686 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.686 * [taylor]: Taking taylor expansion of 1/3 in v
0.686 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.686 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.686 * [taylor]: Taking taylor expansion of v in v
0.692 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in (v) around 0
0.692 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.692 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.692 * [taylor]: Taking taylor expansion of -1 in v
0.692 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.692 * [taylor]: Taking taylor expansion of 1/3 in v
0.693 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.693 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.693 * [taylor]: Taking taylor expansion of v in v
0.693 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 v) 1/3)) in v
0.693 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.693 * [taylor]: Taking taylor expansion of -1 in v
0.693 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/3) in v
0.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 v)))) in v
0.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 v))) in v
0.693 * [taylor]: Taking taylor expansion of 1/3 in v
0.693 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.693 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.693 * [taylor]: Taking taylor expansion of v in v
0.701 * * * [progress]: simplifying candidates
0.701 * [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.738 * * [simplify]: iteration  0 :  4994  enodes  (cost  351 )
0.738 * * [simplify]: iteration  1 :  4994  enodes  (cost  351 )
0.740 * [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.741 * * * [progress]: adding candidates to table
0.796 * * [progress]: iteration 3 / 4
0.796 * * * [progress]: picking best candidate
0.817 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))>
0.817 * * * [progress]: localizing error
0.832 * * * [progress]: generating rewritten candidates
0.833 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.842 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.844 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
0.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
0.848 * * * [progress]: generating series expansions
0.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.849 * [approximate]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in (t1 v u) around 0
0.849 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in u
0.849 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
0.849 * [taylor]: Taking taylor expansion of t1 in u
0.849 * [taylor]: Taking taylor expansion of (+ t1 u) in u
0.849 * [taylor]: Taking taylor expansion of t1 in u
0.849 * [taylor]: Taking taylor expansion of u in u
0.849 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in u
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in u
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in u
0.849 * [taylor]: Taking taylor expansion of 1/3 in u
0.849 * [taylor]: Taking taylor expansion of (log (pow v 2)) in u
0.849 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.849 * [taylor]: Taking taylor expansion of v in u
0.849 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in v
0.849 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in v
0.849 * [taylor]: Taking taylor expansion of t1 in v
0.849 * [taylor]: Taking taylor expansion of (+ t1 u) in v
0.849 * [taylor]: Taking taylor expansion of t1 in v
0.849 * [taylor]: Taking taylor expansion of u in v
0.849 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.850 * [taylor]: Taking taylor expansion of 1/3 in v
0.850 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.850 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.850 * [taylor]: Taking taylor expansion of v in v
0.850 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.850 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.850 * [taylor]: Taking taylor expansion of t1 in t1
0.850 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.850 * [taylor]: Taking taylor expansion of t1 in t1
0.850 * [taylor]: Taking taylor expansion of u in t1
0.850 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.850 * [taylor]: Taking taylor expansion of 1/3 in t1
0.850 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.850 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.850 * [taylor]: Taking taylor expansion of v in t1
0.850 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
0.850 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
0.850 * [taylor]: Taking taylor expansion of t1 in t1
0.850 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
0.850 * [taylor]: Taking taylor expansion of t1 in t1
0.850 * [taylor]: Taking taylor expansion of u in t1
0.850 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
0.850 * [taylor]: Taking taylor expansion of 1/3 in t1
0.850 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
0.850 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.850 * [taylor]: Taking taylor expansion of v in t1
0.851 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 u)) in v
0.851 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.851 * [taylor]: Taking taylor expansion of 1/3 in v
0.851 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.851 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.851 * [taylor]: Taking taylor expansion of v in v
0.851 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.851 * [taylor]: Taking taylor expansion of u in v
0.851 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) u) in u
0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.851 * [taylor]: Taking taylor expansion of 1/3 in u
0.851 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.851 * [taylor]: Taking taylor expansion of (log 1) in u
0.851 * [taylor]: Taking taylor expansion of 1 in u
0.851 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.851 * [taylor]: Taking taylor expansion of 2 in u
0.851 * [taylor]: Taking taylor expansion of (log v) in u
0.851 * [taylor]: Taking taylor expansion of v in u
0.851 * [taylor]: Taking taylor expansion of u in u
0.853 * [taylor]: Taking taylor expansion of (neg (* (pow (pow v 2) 1/3) (/ 1 (pow u 2)))) in v
0.853 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 2))) in v
0.853 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.853 * [taylor]: Taking taylor expansion of 1/3 in v
0.853 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.853 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.853 * [taylor]: Taking taylor expansion of v in v
0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.853 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.853 * [taylor]: Taking taylor expansion of u in v
0.853 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2))) in u
0.853 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2)) in u
0.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.853 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.853 * [taylor]: Taking taylor expansion of 1/3 in u
0.853 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.853 * [taylor]: Taking taylor expansion of (log 1) in u
0.853 * [taylor]: Taking taylor expansion of 1 in u
0.853 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.853 * [taylor]: Taking taylor expansion of 2 in u
0.853 * [taylor]: Taking taylor expansion of (log v) in u
0.853 * [taylor]: Taking taylor expansion of v in u
0.854 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.854 * [taylor]: Taking taylor expansion of u in u
0.855 * [taylor]: Taking taylor expansion of 0 in u
0.857 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 3))) in v
0.857 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
0.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
0.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
0.857 * [taylor]: Taking taylor expansion of 1/3 in v
0.857 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
0.857 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.857 * [taylor]: Taking taylor expansion of v in v
0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in v
0.857 * [taylor]: Taking taylor expansion of (pow u 3) in v
0.857 * [taylor]: Taking taylor expansion of u in v
0.857 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 3)) in u
0.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
0.857 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
0.857 * [taylor]: Taking taylor expansion of 1/3 in u
0.857 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
0.857 * [taylor]: Taking taylor expansion of (log 1) in u
0.858 * [taylor]: Taking taylor expansion of 1 in u
0.858 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.858 * [taylor]: Taking taylor expansion of 2 in u
0.858 * [taylor]: Taking taylor expansion of (log v) in u
0.858 * [taylor]: Taking taylor expansion of v in u
0.858 * [taylor]: Taking taylor expansion of (pow u 3) in u
0.858 * [taylor]: Taking taylor expansion of u in u
0.861 * [taylor]: Taking taylor expansion of 0 in u
0.861 * [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.861 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.861 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.861 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.861 * [taylor]: Taking taylor expansion of t1 in u
0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.861 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.861 * [taylor]: Taking taylor expansion of u in u
0.861 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.861 * [taylor]: Taking taylor expansion of t1 in u
0.861 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.861 * [taylor]: Taking taylor expansion of 1/3 in u
0.861 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.861 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.861 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.861 * [taylor]: Taking taylor expansion of v in u
0.861 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.861 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.862 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.862 * [taylor]: Taking taylor expansion of t1 in v
0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.862 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.862 * [taylor]: Taking taylor expansion of u in v
0.862 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.862 * [taylor]: Taking taylor expansion of t1 in v
0.862 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.862 * [taylor]: Taking taylor expansion of 1/3 in v
0.862 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.862 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.862 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.862 * [taylor]: Taking taylor expansion of v in v
0.862 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.862 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.862 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.862 * [taylor]: Taking taylor expansion of t1 in t1
0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.862 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.862 * [taylor]: Taking taylor expansion of u in t1
0.862 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.862 * [taylor]: Taking taylor expansion of t1 in t1
0.862 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.862 * [taylor]: Taking taylor expansion of 1/3 in t1
0.862 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.862 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.862 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.862 * [taylor]: Taking taylor expansion of v in t1
0.863 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.863 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.863 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.863 * [taylor]: Taking taylor expansion of t1 in t1
0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.863 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.863 * [taylor]: Taking taylor expansion of u in t1
0.863 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.863 * [taylor]: Taking taylor expansion of t1 in t1
0.863 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.863 * [taylor]: Taking taylor expansion of 1/3 in t1
0.863 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.863 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.863 * [taylor]: Taking taylor expansion of v in t1
0.863 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.864 * [taylor]: Taking taylor expansion of 1/3 in v
0.864 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.864 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.864 * [taylor]: Taking taylor expansion of v in v
0.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.864 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.864 * [taylor]: Taking taylor expansion of 1/3 in u
0.864 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.864 * [taylor]: Taking taylor expansion of (log 1) in u
0.864 * [taylor]: Taking taylor expansion of 1 in u
0.864 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.864 * [taylor]: Taking taylor expansion of 2 in u
0.864 * [taylor]: Taking taylor expansion of (log v) in u
0.864 * [taylor]: Taking taylor expansion of v in u
0.865 * [taylor]: Taking taylor expansion of (neg (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u))) in v
0.865 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u)) in v
0.865 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.865 * [taylor]: Taking taylor expansion of 1/3 in v
0.865 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.865 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.865 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.865 * [taylor]: Taking taylor expansion of v in v
0.866 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.866 * [taylor]: Taking taylor expansion of u in v
0.866 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u)) in u
0.866 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u) in u
0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.866 * [taylor]: Taking taylor expansion of 1/3 in u
0.866 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.866 * [taylor]: Taking taylor expansion of (log 1) in u
0.866 * [taylor]: Taking taylor expansion of 1 in u
0.866 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.866 * [taylor]: Taking taylor expansion of 2 in u
0.866 * [taylor]: Taking taylor expansion of (log v) in u
0.866 * [taylor]: Taking taylor expansion of v in u
0.866 * [taylor]: Taking taylor expansion of u in u
0.868 * [taylor]: Taking taylor expansion of 0 in u
0.870 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 (pow u 2))) in v
0.870 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.870 * [taylor]: Taking taylor expansion of 1/3 in v
0.870 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.870 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.870 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.870 * [taylor]: Taking taylor expansion of v in v
0.870 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
0.870 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.870 * [taylor]: Taking taylor expansion of u in v
0.870 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) (pow u 2)) in u
0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.870 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.870 * [taylor]: Taking taylor expansion of 1/3 in u
0.870 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.870 * [taylor]: Taking taylor expansion of (log 1) in u
0.870 * [taylor]: Taking taylor expansion of 1 in u
0.870 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.870 * [taylor]: Taking taylor expansion of 2 in u
0.870 * [taylor]: Taking taylor expansion of (log v) in u
0.870 * [taylor]: Taking taylor expansion of v in u
0.870 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.871 * [taylor]: Taking taylor expansion of u in u
0.873 * [taylor]: Taking taylor expansion of 0 in u
0.874 * [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.874 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
0.874 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
0.874 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.874 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.874 * [taylor]: Taking taylor expansion of -1 in u
0.874 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
0.874 * [taylor]: Taking taylor expansion of t1 in u
0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
0.874 * [taylor]: Taking taylor expansion of (/ 1 u) in u
0.874 * [taylor]: Taking taylor expansion of u in u
0.874 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
0.874 * [taylor]: Taking taylor expansion of t1 in u
0.874 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
0.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
0.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
0.874 * [taylor]: Taking taylor expansion of 1/3 in u
0.874 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
0.874 * [taylor]: Taking taylor expansion of (pow v 2) in u
0.874 * [taylor]: Taking taylor expansion of v in u
0.875 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
0.875 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
0.875 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.875 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.875 * [taylor]: Taking taylor expansion of -1 in v
0.875 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
0.875 * [taylor]: Taking taylor expansion of t1 in v
0.875 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
0.875 * [taylor]: Taking taylor expansion of (/ 1 u) in v
0.875 * [taylor]: Taking taylor expansion of u in v
0.875 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
0.875 * [taylor]: Taking taylor expansion of t1 in v
0.875 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.875 * [taylor]: Taking taylor expansion of 1/3 in v
0.875 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.875 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.875 * [taylor]: Taking taylor expansion of v in v
0.875 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.875 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.876 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.876 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.876 * [taylor]: Taking taylor expansion of -1 in t1
0.876 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.876 * [taylor]: Taking taylor expansion of t1 in t1
0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.876 * [taylor]: Taking taylor expansion of u in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.876 * [taylor]: Taking taylor expansion of t1 in t1
0.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.876 * [taylor]: Taking taylor expansion of 1/3 in t1
0.876 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.876 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.876 * [taylor]: Taking taylor expansion of v in t1
0.876 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
0.876 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
0.876 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
0.876 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
0.877 * [taylor]: Taking taylor expansion of -1 in t1
0.877 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
0.877 * [taylor]: Taking taylor expansion of t1 in t1
0.877 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
0.877 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
0.877 * [taylor]: Taking taylor expansion of u in t1
0.877 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
0.877 * [taylor]: Taking taylor expansion of t1 in t1
0.877 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
0.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
0.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
0.877 * [taylor]: Taking taylor expansion of 1/3 in t1
0.877 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
0.877 * [taylor]: Taking taylor expansion of (pow v 2) in t1
0.877 * [taylor]: Taking taylor expansion of v in t1
0.878 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow v 2)) 1/3)) in v
0.878 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.878 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.878 * [taylor]: Taking taylor expansion of -1 in v
0.878 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.878 * [taylor]: Taking taylor expansion of 1/3 in v
0.878 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.878 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.878 * [taylor]: Taking taylor expansion of v in v
0.878 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.878 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.878 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.878 * [taylor]: Taking taylor expansion of -1 in u
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.879 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.879 * [taylor]: Taking taylor expansion of 1/3 in u
0.879 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.879 * [taylor]: Taking taylor expansion of (log 1) in u
0.879 * [taylor]: Taking taylor expansion of 1 in u
0.879 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.879 * [taylor]: Taking taylor expansion of 2 in u
0.879 * [taylor]: Taking taylor expansion of (log v) in u
0.879 * [taylor]: Taking taylor expansion of v in u
0.881 * [taylor]: Taking taylor expansion of (neg (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3))) in v
0.881 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3)) in v
0.881 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) u) in v
0.881 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.881 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.881 * [taylor]: Taking taylor expansion of -1 in v
0.881 * [taylor]: Taking taylor expansion of u in v
0.881 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.881 * [taylor]: Taking taylor expansion of 1/3 in v
0.881 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.881 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.881 * [taylor]: Taking taylor expansion of v in v
0.882 * [taylor]: Taking taylor expansion of (neg (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u)) in u
0.882 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u) in u
0.882 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.882 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.882 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.882 * [taylor]: Taking taylor expansion of -1 in u
0.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.882 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.882 * [taylor]: Taking taylor expansion of 1/3 in u
0.882 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.882 * [taylor]: Taking taylor expansion of (log 1) in u
0.882 * [taylor]: Taking taylor expansion of 1 in u
0.882 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.882 * [taylor]: Taking taylor expansion of 2 in u
0.882 * [taylor]: Taking taylor expansion of (log v) in u
0.882 * [taylor]: Taking taylor expansion of v in u
0.883 * [taylor]: Taking taylor expansion of u in u
0.886 * [taylor]: Taking taylor expansion of 0 in u
0.889 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow u 2)) (pow (/ 1 (pow v 2)) 1/3)) in v
0.889 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow u 2)) in v
0.889 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
0.889 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.889 * [taylor]: Taking taylor expansion of -1 in v
0.889 * [taylor]: Taking taylor expansion of (pow u 2) in v
0.889 * [taylor]: Taking taylor expansion of u in v
0.889 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
0.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
0.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
0.889 * [taylor]: Taking taylor expansion of 1/3 in v
0.889 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
0.889 * [taylor]: Taking taylor expansion of (pow v 2) in v
0.889 * [taylor]: Taking taylor expansion of v in v
0.890 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) (pow u 2)) in u
0.890 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
0.890 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
0.890 * [taylor]: Taking taylor expansion of (cbrt -1) in u
0.890 * [taylor]: Taking taylor expansion of -1 in u
0.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
0.890 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
0.890 * [taylor]: Taking taylor expansion of 1/3 in u
0.890 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
0.890 * [taylor]: Taking taylor expansion of (log 1) in u
0.890 * [taylor]: Taking taylor expansion of 1 in u
0.890 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
0.890 * [taylor]: Taking taylor expansion of 2 in u
0.890 * [taylor]: Taking taylor expansion of (log v) in u
0.890 * [taylor]: Taking taylor expansion of v in u
0.890 * [taylor]: Taking taylor expansion of (pow u 2) in u
0.890 * [taylor]: Taking taylor expansion of u in u
0.897 * [taylor]: Taking taylor expansion of 0 in u
0.897 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.897 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
0.897 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.897 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.897 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.897 * [taylor]: Taking taylor expansion of 1/9 in v
0.897 * [taylor]: Taking taylor expansion of (log v) in v
0.897 * [taylor]: Taking taylor expansion of v in v
0.897 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.897 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.897 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.897 * [taylor]: Taking taylor expansion of 1/9 in v
0.897 * [taylor]: Taking taylor expansion of (log v) in v
0.897 * [taylor]: Taking taylor expansion of v in v
0.903 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
0.903 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.903 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.903 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.903 * [taylor]: Taking taylor expansion of 1/9 in v
0.903 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.903 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.903 * [taylor]: Taking taylor expansion of v in v
0.904 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.904 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.904 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.904 * [taylor]: Taking taylor expansion of 1/9 in v
0.904 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.904 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.904 * [taylor]: Taking taylor expansion of v in v
0.910 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
0.910 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.910 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.910 * [taylor]: Taking taylor expansion of 1/3 in v
0.910 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.910 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.910 * [taylor]: Taking taylor expansion of -1 in v
0.910 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.910 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.910 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.910 * [taylor]: Taking taylor expansion of 1/9 in v
0.910 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.910 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.910 * [taylor]: Taking taylor expansion of v in v
0.910 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.910 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.910 * [taylor]: Taking taylor expansion of 1/3 in v
0.910 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.910 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.911 * [taylor]: Taking taylor expansion of -1 in v
0.911 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.911 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.911 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.911 * [taylor]: Taking taylor expansion of 1/9 in v
0.911 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.911 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.911 * [taylor]: Taking taylor expansion of v in v
0.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
0.926 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
0.926 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.926 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.926 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.926 * [taylor]: Taking taylor expansion of 1/9 in v
0.926 * [taylor]: Taking taylor expansion of (log v) in v
0.926 * [taylor]: Taking taylor expansion of v in v
0.926 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.926 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.926 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.926 * [taylor]: Taking taylor expansion of 1/9 in v
0.926 * [taylor]: Taking taylor expansion of (log v) in v
0.926 * [taylor]: Taking taylor expansion of v in v
0.932 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.932 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.932 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.932 * [taylor]: Taking taylor expansion of 1/9 in v
0.932 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.932 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.932 * [taylor]: Taking taylor expansion of v in v
0.932 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.932 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.932 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.932 * [taylor]: Taking taylor expansion of 1/9 in v
0.932 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.932 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.932 * [taylor]: Taking taylor expansion of v in v
0.938 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
0.938 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.938 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.938 * [taylor]: Taking taylor expansion of 1/3 in v
0.938 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.938 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.939 * [taylor]: Taking taylor expansion of -1 in v
0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.939 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.939 * [taylor]: Taking taylor expansion of 1/9 in v
0.939 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.939 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.939 * [taylor]: Taking taylor expansion of v in v
0.939 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.939 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.939 * [taylor]: Taking taylor expansion of 1/3 in v
0.939 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.939 * [taylor]: Taking taylor expansion of -1 in v
0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.939 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.939 * [taylor]: Taking taylor expansion of 1/9 in v
0.939 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.939 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.939 * [taylor]: Taking taylor expansion of v in v
0.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
0.955 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
0.955 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.955 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.955 * [taylor]: Taking taylor expansion of 1/9 in v
0.955 * [taylor]: Taking taylor expansion of (log v) in v
0.955 * [taylor]: Taking taylor expansion of v in v
0.955 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
0.955 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
0.955 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
0.955 * [taylor]: Taking taylor expansion of 1/9 in v
0.955 * [taylor]: Taking taylor expansion of (log v) in v
0.955 * [taylor]: Taking taylor expansion of v in v
0.961 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
0.961 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.961 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.961 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.961 * [taylor]: Taking taylor expansion of 1/9 in v
0.961 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.961 * [taylor]: Taking taylor expansion of v in v
0.961 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.961 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.961 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.961 * [taylor]: Taking taylor expansion of 1/9 in v
0.961 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.961 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.961 * [taylor]: Taking taylor expansion of v in v
0.967 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
0.967 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.967 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.967 * [taylor]: Taking taylor expansion of 1/3 in v
0.967 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.967 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.967 * [taylor]: Taking taylor expansion of -1 in v
0.968 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.968 * [taylor]: Taking taylor expansion of 1/9 in v
0.968 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.968 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.968 * [taylor]: Taking taylor expansion of v in v
0.968 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
0.968 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
0.968 * [taylor]: Taking taylor expansion of 1/3 in v
0.968 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
0.968 * [taylor]: Taking taylor expansion of (cbrt -1) in v
0.968 * [taylor]: Taking taylor expansion of -1 in v
0.968 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
0.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
0.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
0.968 * [taylor]: Taking taylor expansion of 1/9 in v
0.968 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
0.968 * [taylor]: Taking taylor expansion of (/ 1 v) in v
0.968 * [taylor]: Taking taylor expansion of v in v
0.985 * * * [progress]: simplifying candidates
0.986 * [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 (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  0
  0
  0
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
1.021 * * [simplify]: iteration  0 :  5021  enodes  (cost  518 )
1.024 * [simplify]: Simplified to:
   (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (+ (* (log (cbrt v)) 2) (log (/ t1 (+ t1 u))))
  (+ (* (log (cbrt v)) 2) (log (/ t1 (+ t1 u))))
  (+ (* (log (cbrt v)) 2) (log (/ t1 (+ t1 u))))
  (+ (* (log (cbrt v)) 2) (log (/ t1 (+ t1 u))))
  (pow (exp t1) (* (cbrt v) (/ (cbrt v) (+ 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 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))))
  (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* v (/ v (pow (/ (+ t1 u) t1) 3)))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* t1 (cbrt v))
  (* (cbrt v) (* (/ (cbrt v) (+ t1 u)) (cbrt t1)))
  (* (cbrt v) (* (/ (cbrt v) (+ t1 u)) (sqrt t1)))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  0
  0
  0
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (neg v) 1/9))
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (neg v) 1/9))
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (neg v) 1/9))
1.024 * * * [progress]: adding candidates to table
1.090 * * [progress]: iteration 4 / 4
1.090 * * * [progress]: picking best candidate
1.114 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))>
1.114 * * * [progress]: localizing error
1.129 * * * [progress]: generating rewritten candidates
1.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.150 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
1.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2)
1.153 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.157 * * * [progress]: generating series expansions
1.157 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.158 * [approximate]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in (t1 v u) around 0
1.158 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in u
1.158 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
1.158 * [taylor]: Taking taylor expansion of t1 in u
1.158 * [taylor]: Taking taylor expansion of (+ t1 u) in u
1.158 * [taylor]: Taking taylor expansion of t1 in u
1.158 * [taylor]: Taking taylor expansion of u in u
1.158 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in u
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in u
1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in u
1.158 * [taylor]: Taking taylor expansion of 1/3 in u
1.158 * [taylor]: Taking taylor expansion of (log (pow v 2)) in u
1.158 * [taylor]: Taking taylor expansion of (pow v 2) in u
1.158 * [taylor]: Taking taylor expansion of v in u
1.158 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in v
1.158 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in v
1.158 * [taylor]: Taking taylor expansion of t1 in v
1.158 * [taylor]: Taking taylor expansion of (+ t1 u) in v
1.158 * [taylor]: Taking taylor expansion of t1 in v
1.158 * [taylor]: Taking taylor expansion of u in v
1.158 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
1.158 * [taylor]: Taking taylor expansion of 1/3 in v
1.158 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
1.158 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.158 * [taylor]: Taking taylor expansion of v in v
1.159 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
1.159 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.159 * [taylor]: Taking taylor expansion of t1 in t1
1.159 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.159 * [taylor]: Taking taylor expansion of t1 in t1
1.159 * [taylor]: Taking taylor expansion of u in t1
1.159 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
1.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
1.159 * [taylor]: Taking taylor expansion of 1/3 in t1
1.159 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
1.159 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.159 * [taylor]: Taking taylor expansion of v in t1
1.159 * [taylor]: Taking taylor expansion of (* (/ t1 (+ t1 u)) (pow (pow v 2) 1/3)) in t1
1.159 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
1.159 * [taylor]: Taking taylor expansion of t1 in t1
1.159 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
1.159 * [taylor]: Taking taylor expansion of t1 in t1
1.159 * [taylor]: Taking taylor expansion of u in t1
1.159 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in t1
1.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in t1
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in t1
1.159 * [taylor]: Taking taylor expansion of 1/3 in t1
1.159 * [taylor]: Taking taylor expansion of (log (pow v 2)) in t1
1.159 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.159 * [taylor]: Taking taylor expansion of v in t1
1.160 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 u)) in v
1.160 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
1.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
1.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
1.160 * [taylor]: Taking taylor expansion of 1/3 in v
1.160 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
1.160 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.160 * [taylor]: Taking taylor expansion of v in v
1.160 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.160 * [taylor]: Taking taylor expansion of u in v
1.160 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) u) in u
1.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
1.160 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
1.160 * [taylor]: Taking taylor expansion of 1/3 in u
1.160 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
1.160 * [taylor]: Taking taylor expansion of (log 1) in u
1.160 * [taylor]: Taking taylor expansion of 1 in u
1.160 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.160 * [taylor]: Taking taylor expansion of 2 in u
1.160 * [taylor]: Taking taylor expansion of (log v) in u
1.160 * [taylor]: Taking taylor expansion of v in u
1.160 * [taylor]: Taking taylor expansion of u in u
1.161 * [taylor]: Taking taylor expansion of (neg (* (pow (pow v 2) 1/3) (/ 1 (pow u 2)))) in v
1.162 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 2))) in v
1.162 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
1.162 * [taylor]: Taking taylor expansion of 1/3 in v
1.162 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
1.162 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.162 * [taylor]: Taking taylor expansion of v in v
1.162 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
1.162 * [taylor]: Taking taylor expansion of (pow u 2) in v
1.162 * [taylor]: Taking taylor expansion of u in v
1.162 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2))) in u
1.162 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 2)) in u
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
1.162 * [taylor]: Taking taylor expansion of 1/3 in u
1.162 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
1.162 * [taylor]: Taking taylor expansion of (log 1) in u
1.162 * [taylor]: Taking taylor expansion of 1 in u
1.162 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.162 * [taylor]: Taking taylor expansion of 2 in u
1.162 * [taylor]: Taking taylor expansion of (log v) in u
1.162 * [taylor]: Taking taylor expansion of v in u
1.163 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.163 * [taylor]: Taking taylor expansion of u in u
1.164 * [taylor]: Taking taylor expansion of 0 in u
1.166 * [taylor]: Taking taylor expansion of (* (pow (pow v 2) 1/3) (/ 1 (pow u 3))) in v
1.166 * [taylor]: Taking taylor expansion of (pow (pow v 2) 1/3) in v
1.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow v 2)))) in v
1.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow v 2))) in v
1.166 * [taylor]: Taking taylor expansion of 1/3 in v
1.166 * [taylor]: Taking taylor expansion of (log (pow v 2)) in v
1.166 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.166 * [taylor]: Taking taylor expansion of v in v
1.166 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in v
1.166 * [taylor]: Taking taylor expansion of (pow u 3) in v
1.166 * [taylor]: Taking taylor expansion of u in v
1.166 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log v))))) (pow u 3)) in u
1.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log v))))) in u
1.166 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log v)))) in u
1.166 * [taylor]: Taking taylor expansion of 1/3 in u
1.166 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log v))) in u
1.166 * [taylor]: Taking taylor expansion of (log 1) in u
1.166 * [taylor]: Taking taylor expansion of 1 in u
1.167 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.167 * [taylor]: Taking taylor expansion of 2 in u
1.167 * [taylor]: Taking taylor expansion of (log v) in u
1.167 * [taylor]: Taking taylor expansion of v in u
1.167 * [taylor]: Taking taylor expansion of (pow u 3) in u
1.167 * [taylor]: Taking taylor expansion of u in u
1.170 * [taylor]: Taking taylor expansion of 0 in u
1.170 * [approximate]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in (t1 v u) around 0
1.170 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
1.170 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.170 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.170 * [taylor]: Taking taylor expansion of t1 in u
1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.170 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.170 * [taylor]: Taking taylor expansion of u in u
1.170 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.170 * [taylor]: Taking taylor expansion of t1 in u
1.170 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
1.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
1.170 * [taylor]: Taking taylor expansion of 1/3 in u
1.170 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
1.170 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
1.170 * [taylor]: Taking taylor expansion of (pow v 2) in u
1.170 * [taylor]: Taking taylor expansion of v in u
1.171 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
1.171 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
1.171 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
1.171 * [taylor]: Taking taylor expansion of t1 in v
1.171 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.171 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.171 * [taylor]: Taking taylor expansion of u in v
1.171 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.171 * [taylor]: Taking taylor expansion of t1 in v
1.171 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.171 * [taylor]: Taking taylor expansion of 1/3 in v
1.171 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.171 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.171 * [taylor]: Taking taylor expansion of v in v
1.171 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
1.171 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.171 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.171 * [taylor]: Taking taylor expansion of t1 in t1
1.171 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.171 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.171 * [taylor]: Taking taylor expansion of u in t1
1.171 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.171 * [taylor]: Taking taylor expansion of t1 in t1
1.171 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
1.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
1.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
1.172 * [taylor]: Taking taylor expansion of 1/3 in t1
1.172 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
1.172 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.172 * [taylor]: Taking taylor expansion of v in t1
1.172 * [taylor]: Taking taylor expansion of (* (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.172 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.172 * [taylor]: Taking taylor expansion of t1 in t1
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.172 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.172 * [taylor]: Taking taylor expansion of u in t1
1.172 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.172 * [taylor]: Taking taylor expansion of t1 in t1
1.172 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
1.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
1.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
1.172 * [taylor]: Taking taylor expansion of 1/3 in t1
1.172 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
1.172 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.172 * [taylor]: Taking taylor expansion of v in t1
1.173 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.173 * [taylor]: Taking taylor expansion of 1/3 in v
1.173 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.173 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.173 * [taylor]: Taking taylor expansion of v in v
1.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.173 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.173 * [taylor]: Taking taylor expansion of 1/3 in u
1.173 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.173 * [taylor]: Taking taylor expansion of (log 1) in u
1.173 * [taylor]: Taking taylor expansion of 1 in u
1.173 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.173 * [taylor]: Taking taylor expansion of 2 in u
1.173 * [taylor]: Taking taylor expansion of (log v) in u
1.173 * [taylor]: Taking taylor expansion of v in u
1.174 * [taylor]: Taking taylor expansion of (neg (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u))) in v
1.174 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 u)) in v
1.174 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.175 * [taylor]: Taking taylor expansion of 1/3 in v
1.175 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.175 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.175 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.175 * [taylor]: Taking taylor expansion of v in v
1.175 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.175 * [taylor]: Taking taylor expansion of u in v
1.175 * [taylor]: Taking taylor expansion of (neg (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u)) in u
1.175 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) u) in u
1.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.175 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.175 * [taylor]: Taking taylor expansion of 1/3 in u
1.175 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.175 * [taylor]: Taking taylor expansion of (log 1) in u
1.175 * [taylor]: Taking taylor expansion of 1 in u
1.175 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.175 * [taylor]: Taking taylor expansion of 2 in u
1.175 * [taylor]: Taking taylor expansion of (log v) in u
1.175 * [taylor]: Taking taylor expansion of v in u
1.175 * [taylor]: Taking taylor expansion of u in u
1.177 * [taylor]: Taking taylor expansion of 0 in u
1.179 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow v 2)) 1/3) (/ 1 (pow u 2))) in v
1.179 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.179 * [taylor]: Taking taylor expansion of 1/3 in v
1.179 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.179 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.179 * [taylor]: Taking taylor expansion of v in v
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in v
1.179 * [taylor]: Taking taylor expansion of (pow u 2) in v
1.179 * [taylor]: Taking taylor expansion of u in v
1.179 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log v))))) (pow u 2)) in u
1.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.179 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.179 * [taylor]: Taking taylor expansion of 1/3 in u
1.179 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.179 * [taylor]: Taking taylor expansion of (log 1) in u
1.179 * [taylor]: Taking taylor expansion of 1 in u
1.179 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.179 * [taylor]: Taking taylor expansion of 2 in u
1.179 * [taylor]: Taking taylor expansion of (log v) in u
1.179 * [taylor]: Taking taylor expansion of v in u
1.180 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.180 * [taylor]: Taking taylor expansion of u in u
1.183 * [taylor]: Taking taylor expansion of 0 in u
1.183 * [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
1.183 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in u
1.183 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
1.183 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
1.183 * [taylor]: Taking taylor expansion of (cbrt -1) in u
1.183 * [taylor]: Taking taylor expansion of -1 in u
1.183 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
1.183 * [taylor]: Taking taylor expansion of t1 in u
1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
1.184 * [taylor]: Taking taylor expansion of (/ 1 u) in u
1.184 * [taylor]: Taking taylor expansion of u in u
1.184 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
1.184 * [taylor]: Taking taylor expansion of t1 in u
1.184 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in u
1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in u
1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in u
1.184 * [taylor]: Taking taylor expansion of 1/3 in u
1.184 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in u
1.184 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in u
1.184 * [taylor]: Taking taylor expansion of (pow v 2) in u
1.184 * [taylor]: Taking taylor expansion of v in u
1.184 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in v
1.184 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in v
1.184 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
1.184 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.184 * [taylor]: Taking taylor expansion of -1 in v
1.184 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in v
1.184 * [taylor]: Taking taylor expansion of t1 in v
1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
1.184 * [taylor]: Taking taylor expansion of (/ 1 u) in v
1.184 * [taylor]: Taking taylor expansion of u in v
1.184 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
1.185 * [taylor]: Taking taylor expansion of t1 in v
1.185 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.185 * [taylor]: Taking taylor expansion of 1/3 in v
1.185 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.185 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.185 * [taylor]: Taking taylor expansion of v in v
1.185 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
1.185 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.185 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
1.185 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
1.185 * [taylor]: Taking taylor expansion of -1 in t1
1.185 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.185 * [taylor]: Taking taylor expansion of t1 in t1
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
1.185 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
1.185 * [taylor]: Taking taylor expansion of u in t1
1.185 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
1.185 * [taylor]: Taking taylor expansion of t1 in t1
1.186 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
1.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
1.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
1.186 * [taylor]: Taking taylor expansion of 1/3 in t1
1.186 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
1.186 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
1.186 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.186 * [taylor]: Taking taylor expansion of v in t1
1.186 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) (pow (/ 1 (pow v 2)) 1/3)) in t1
1.186 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
1.186 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t1
1.186 * [taylor]: Taking taylor expansion of (cbrt -1) in t1
1.186 * [taylor]: Taking taylor expansion of -1 in t1
1.186 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
1.186 * [taylor]: Taking taylor expansion of t1 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.187 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in t1
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in t1
1.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in t1
1.187 * [taylor]: Taking taylor expansion of 1/3 in t1
1.187 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in t1
1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in t1
1.187 * [taylor]: Taking taylor expansion of (pow v 2) in t1
1.187 * [taylor]: Taking taylor expansion of v in t1
1.187 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow v 2)) 1/3)) in v
1.187 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
1.187 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.187 * [taylor]: Taking taylor expansion of -1 in v
1.188 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.188 * [taylor]: Taking taylor expansion of 1/3 in v
1.188 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.188 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.188 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.188 * [taylor]: Taking taylor expansion of v in v
1.188 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
1.188 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
1.188 * [taylor]: Taking taylor expansion of (cbrt -1) in u
1.188 * [taylor]: Taking taylor expansion of -1 in u
1.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.188 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.188 * [taylor]: Taking taylor expansion of 1/3 in u
1.188 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.188 * [taylor]: Taking taylor expansion of (log 1) in u
1.188 * [taylor]: Taking taylor expansion of 1 in u
1.188 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.188 * [taylor]: Taking taylor expansion of 2 in u
1.188 * [taylor]: Taking taylor expansion of (log v) in u
1.188 * [taylor]: Taking taylor expansion of v in u
1.191 * [taylor]: Taking taylor expansion of (neg (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3))) in v
1.191 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) u) (pow (/ 1 (pow v 2)) 1/3)) in v
1.191 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) u) in v
1.191 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
1.191 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.191 * [taylor]: Taking taylor expansion of -1 in v
1.191 * [taylor]: Taking taylor expansion of u in v
1.191 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.191 * [taylor]: Taking taylor expansion of 1/3 in v
1.191 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.191 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.191 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.191 * [taylor]: Taking taylor expansion of v in v
1.192 * [taylor]: Taking taylor expansion of (neg (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u)) in u
1.192 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) u) in u
1.192 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
1.192 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
1.192 * [taylor]: Taking taylor expansion of (cbrt -1) in u
1.192 * [taylor]: Taking taylor expansion of -1 in u
1.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.192 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.192 * [taylor]: Taking taylor expansion of 1/3 in u
1.192 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.192 * [taylor]: Taking taylor expansion of (log 1) in u
1.192 * [taylor]: Taking taylor expansion of 1 in u
1.192 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.192 * [taylor]: Taking taylor expansion of 2 in u
1.192 * [taylor]: Taking taylor expansion of (log v) in u
1.192 * [taylor]: Taking taylor expansion of v in u
1.193 * [taylor]: Taking taylor expansion of u in u
1.196 * [taylor]: Taking taylor expansion of 0 in u
1.199 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow u 2)) (pow (/ 1 (pow v 2)) 1/3)) in v
1.199 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow u 2)) in v
1.199 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in v
1.199 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.199 * [taylor]: Taking taylor expansion of -1 in v
1.199 * [taylor]: Taking taylor expansion of (pow u 2) in v
1.199 * [taylor]: Taking taylor expansion of u in v
1.199 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow v 2)) 1/3) in v
1.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow v 2))))) in v
1.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow v 2)))) in v
1.199 * [taylor]: Taking taylor expansion of 1/3 in v
1.199 * [taylor]: Taking taylor expansion of (log (/ 1 (pow v 2))) in v
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow v 2)) in v
1.199 * [taylor]: Taking taylor expansion of (pow v 2) in v
1.199 * [taylor]: Taking taylor expansion of v in v
1.200 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) (pow u 2)) in u
1.200 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log v)))))) in u
1.200 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in u
1.200 * [taylor]: Taking taylor expansion of (cbrt -1) in u
1.200 * [taylor]: Taking taylor expansion of -1 in u
1.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log v))))) in u
1.200 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log v)))) in u
1.200 * [taylor]: Taking taylor expansion of 1/3 in u
1.200 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log v))) in u
1.200 * [taylor]: Taking taylor expansion of (log 1) in u
1.200 * [taylor]: Taking taylor expansion of 1 in u
1.200 * [taylor]: Taking taylor expansion of (* 2 (log v)) in u
1.200 * [taylor]: Taking taylor expansion of 2 in u
1.200 * [taylor]: Taking taylor expansion of (log v) in u
1.200 * [taylor]: Taking taylor expansion of v in u
1.200 * [taylor]: Taking taylor expansion of (pow u 2) in u
1.200 * [taylor]: Taking taylor expansion of u in u
1.205 * [taylor]: Taking taylor expansion of 0 in u
1.205 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
1.205 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
1.205 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.205 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.205 * [taylor]: Taking taylor expansion of 1/9 in v
1.205 * [taylor]: Taking taylor expansion of (log v) in v
1.205 * [taylor]: Taking taylor expansion of v in v
1.205 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.206 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.206 * [taylor]: Taking taylor expansion of 1/9 in v
1.206 * [taylor]: Taking taylor expansion of (log v) in v
1.206 * [taylor]: Taking taylor expansion of v in v
1.211 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
1.211 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.211 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.211 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.211 * [taylor]: Taking taylor expansion of 1/9 in v
1.211 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.211 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.211 * [taylor]: Taking taylor expansion of v in v
1.211 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.211 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.211 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.211 * [taylor]: Taking taylor expansion of 1/9 in v
1.212 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.212 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.212 * [taylor]: Taking taylor expansion of v in v
1.218 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
1.218 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.218 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.218 * [taylor]: Taking taylor expansion of 1/3 in v
1.218 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.218 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.218 * [taylor]: Taking taylor expansion of -1 in v
1.218 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.218 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.218 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.218 * [taylor]: Taking taylor expansion of 1/9 in v
1.218 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.218 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.218 * [taylor]: Taking taylor expansion of v in v
1.218 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.218 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.218 * [taylor]: Taking taylor expansion of 1/3 in v
1.218 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.218 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.218 * [taylor]: Taking taylor expansion of -1 in v
1.219 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.219 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.219 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.219 * [taylor]: Taking taylor expansion of 1/9 in v
1.219 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.219 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.219 * [taylor]: Taking taylor expansion of v in v
1.237 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2)
1.237 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
1.237 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.237 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.237 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.237 * [taylor]: Taking taylor expansion of 1/9 in v
1.237 * [taylor]: Taking taylor expansion of (log v) in v
1.237 * [taylor]: Taking taylor expansion of v in v
1.237 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.237 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.237 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.237 * [taylor]: Taking taylor expansion of 1/9 in v
1.237 * [taylor]: Taking taylor expansion of (log v) in v
1.237 * [taylor]: Taking taylor expansion of v in v
1.243 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.243 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.243 * [taylor]: Taking taylor expansion of 1/9 in v
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.243 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.243 * [taylor]: Taking taylor expansion of v in v
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.243 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.243 * [taylor]: Taking taylor expansion of 1/9 in v
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.243 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.243 * [taylor]: Taking taylor expansion of v in v
1.249 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
1.249 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.249 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.249 * [taylor]: Taking taylor expansion of 1/3 in v
1.249 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.249 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.249 * [taylor]: Taking taylor expansion of -1 in v
1.249 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.249 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.249 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.249 * [taylor]: Taking taylor expansion of 1/9 in v
1.249 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.249 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.249 * [taylor]: Taking taylor expansion of v in v
1.250 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.250 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.250 * [taylor]: Taking taylor expansion of 1/3 in v
1.250 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.250 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.250 * [taylor]: Taking taylor expansion of -1 in v
1.250 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.250 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.250 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.250 * [taylor]: Taking taylor expansion of 1/9 in v
1.250 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.250 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.250 * [taylor]: Taking taylor expansion of v in v
1.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.265 * [approximate]: Taking taylor expansion of (pow v 1/9) in (v) around 0
1.265 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.265 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.265 * [taylor]: Taking taylor expansion of 1/9 in v
1.265 * [taylor]: Taking taylor expansion of (log v) in v
1.265 * [taylor]: Taking taylor expansion of v in v
1.265 * [taylor]: Taking taylor expansion of (pow v 1/9) in v
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log v))) in v
1.265 * [taylor]: Taking taylor expansion of (* 1/9 (log v)) in v
1.265 * [taylor]: Taking taylor expansion of 1/9 in v
1.265 * [taylor]: Taking taylor expansion of (log v) in v
1.265 * [taylor]: Taking taylor expansion of v in v
1.271 * [approximate]: Taking taylor expansion of (pow (/ 1 v) 1/9) in (v) around 0
1.271 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.271 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.271 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.271 * [taylor]: Taking taylor expansion of 1/9 in v
1.271 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.271 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.271 * [taylor]: Taking taylor expansion of v in v
1.271 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.271 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.271 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.271 * [taylor]: Taking taylor expansion of 1/9 in v
1.271 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.271 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.271 * [taylor]: Taking taylor expansion of v in v
1.277 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in (v) around 0
1.277 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.277 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.277 * [taylor]: Taking taylor expansion of 1/3 in v
1.277 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.277 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.277 * [taylor]: Taking taylor expansion of -1 in v
1.278 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.278 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.278 * [taylor]: Taking taylor expansion of 1/9 in v
1.278 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.278 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.278 * [taylor]: Taking taylor expansion of v in v
1.278 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 v) 1/9)) in v
1.278 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in v
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in v
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in v
1.278 * [taylor]: Taking taylor expansion of 1/3 in v
1.278 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in v
1.278 * [taylor]: Taking taylor expansion of (cbrt -1) in v
1.278 * [taylor]: Taking taylor expansion of -1 in v
1.278 * [taylor]: Taking taylor expansion of (pow (/ 1 v) 1/9) in v
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 v)))) in v
1.278 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 v))) in v
1.278 * [taylor]: Taking taylor expansion of 1/9 in v
1.278 * [taylor]: Taking taylor expansion of (log (/ 1 v)) in v
1.278 * [taylor]: Taking taylor expansion of (/ 1 v) in v
1.278 * [taylor]: Taking taylor expansion of v in v
1.293 * * * [progress]: simplifying candidates
1.294 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (+ (log t1) (+ (+ (+ (log (cbrt (cbrt v))) (log (cbrt (cbrt v)))) (log (cbrt (cbrt v)))) (- (log (cbrt v)) (log (+ t1 u)))))
  (+ (log t1) (+ (+ (+ (log (cbrt (cbrt v))) (log (cbrt (cbrt v)))) (log (cbrt (cbrt v)))) (log (/ (cbrt v) (+ t1 u)))))
  (+ (log t1) (+ (+ (log (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (log (cbrt (cbrt v)))) (- (log (cbrt v)) (log (+ t1 u)))))
  (+ (log t1) (+ (+ (log (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (log (cbrt (cbrt v)))) (log (/ (cbrt v) (+ t1 u)))))
  (+ (log t1) (+ (log (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (- (log (cbrt v)) (log (+ t1 u)))))
  (+ (log t1) (+ (log (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (log (/ (cbrt v) (+ t1 u)))))
  (+ (log t1) (log (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (log (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (exp (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (cbrt v) (cbrt v)) (cbrt v)) (/ v (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (cbrt v) (cbrt v)) (cbrt v)) (* (* (/ (cbrt v) (+ t1 u)) (/ (cbrt v) (+ t1 u))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (cbrt v)) (/ v (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (cbrt v)) (* (* (/ (cbrt v) (+ t1 u)) (/ (cbrt v) (+ t1 u))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (/ v (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))) (* (* (/ (cbrt v) (+ t1 u)) (/ (cbrt v) (+ t1 u))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 t1) t1) (* (* (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))) (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (* (cbrt (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))))
  (cbrt (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (* (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))) (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))))
  (* t1 (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))))
  (* (cbrt t1) (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* (sqrt t1) (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (cbrt (* (cbrt v) (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (* (cbrt (cbrt v)) (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  0
  0
  0
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
  (exp (* 1/9 (+ (log 1) (log v))))
  (exp (* 1/9 (- (log 1) (log (/ 1 v)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 v))))))
1.341 * * [simplify]: iteration  0 :  4960  enodes  (cost  629 )
1.341 * * [simplify]: iteration  1 :  4960  enodes  (cost  629 )
1.344 * [simplify]: Simplified to:
   (* 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))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (+ (* 2 (log (cbrt v))) (log (/ t1 (+ t1 u))))
  (pow (exp t1) (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))))
  (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* (pow (/ t1 (+ t1 u)) 3) (* v v))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (sqrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))
  (* t1 (cbrt v))
  (* (cbrt v) (* (/ (cbrt v) (+ t1 u)) (cbrt t1)))
  (* (cbrt v) (* (/ (cbrt v) (+ t1 u)) (sqrt t1)))
  (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))
  (* t1 (* (cbrt v) (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  (log (cbrt (cbrt v)))
  (exp (cbrt (cbrt v)))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt (sqrt v)))
  (cbrt (cbrt 1))
  (cbrt (cbrt v))
  (cbrt (pow (cbrt (cbrt v)) 2))
  (cbrt (cbrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt (sqrt (cbrt v)))
  (cbrt 1)
  (cbrt (cbrt v))
  (* (cbrt (cbrt (cbrt v))) (cbrt (cbrt (cbrt v))))
  (cbrt (cbrt (cbrt v)))
  (cbrt v)
  (sqrt (cbrt (cbrt v)))
  (sqrt (cbrt (cbrt v)))
  0
  0
  0
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (* v -1) 1/9))
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (* v -1) 1/9))
  (pow v 1/9)
  (pow v 1/9)
  (* (cbrt (cbrt -1)) (pow (* v -1) 1/9))
1.345 * * * [progress]: adding candidates to table
1.413 * [progress]: [Phase 3 of 3] Extracting.
1.413 * * [regime]: Finding splitpoints for: (#<alt (λ (u v t1) (* (* t1 (/ (sqrt v) (+ t1 u))) (/ (sqrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt -1)) (pow (neg v) 1/9))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* t1 (/ (/ v (+ t1 u)) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))) (* (- t1 u) (- t1 u))))> #<alt (λ (u v t1) (* (* (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>)
1.417 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) t1 v u)
1.417 * * * * [regimes]: Trying to branch on (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) from (#<alt (λ (u v t1) (* (* t1 (/ (sqrt v) (+ t1 u))) (/ (sqrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt -1)) (pow (neg v) 1/9))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* t1 (/ (/ v (+ t1 u)) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))) (* (- t1 u) (- t1 u))))> #<alt (λ (u v t1) (* (* (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>)
1.482 * * * * [regimes]: Trying to branch on t1 from (#<alt (λ (u v t1) (* (* t1 (/ (sqrt v) (+ t1 u))) (/ (sqrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt -1)) (pow (neg v) 1/9))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* t1 (/ (/ v (+ t1 u)) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))) (* (- t1 u) (- t1 u))))> #<alt (λ (u v t1) (* (* (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>)
1.548 * * * * [regimes]: Trying to branch on v from (#<alt (λ (u v t1) (* (* t1 (/ (sqrt v) (+ t1 u))) (/ (sqrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt -1)) (pow (neg v) 1/9))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* t1 (/ (/ v (+ t1 u)) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))) (* (- t1 u) (- t1 u))))> #<alt (λ (u v t1) (* (* (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>)
1.612 * * * * [regimes]: Trying to branch on u from (#<alt (λ (u v t1) (* (* t1 (/ (sqrt v) (+ t1 u))) (/ (sqrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (* (cbrt (cbrt -1)) (pow (neg v) 1/9))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* t1 (/ (/ v (+ t1 u)) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (* (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (/ (cbrt v) (+ t1 u)))) (/ (cbrt v) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (* t1 (/ v (* (+ t1 u) (* (- t1 u) (* (+ t1 u) (neg (- t1 u))))))) (* (- t1 u) (- t1 u))))> #<alt (λ (u v t1) (* (* (* (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (cbrt (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))))> #<alt (λ (u v t1) (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u)))))> #<alt (λ (u v t1) (* (/ t1 (+ t1 u)) (/ v (neg (+ t1 u)))))>)
1.678 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
1.678 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (* (cbrt (cbrt v)) (cbrt (cbrt v))) (cbrt (cbrt v))) (neg (+ t1 u))))
1.679 * * [simplify]: iteration  0 :  23  enodes  (cost  28 )
1.679 * * [simplify]: iteration  1 :  23  enodes  (cost  28 )
1.679 * [simplify]: Simplified to:
   (* (* t1 (* (cbrt v) (/ (cbrt v) (+ t1 u)))) (/ (* (cbrt (cbrt v)) (* (cbrt (cbrt v)) (cbrt (cbrt v)))) (neg (+ t1 u))))
3.337 * [regime-testing]: End program error score: 1.2319776435930496