5.242 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 0.018 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 0.019 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 0.023 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 0.038 * * [simplify]: iteration 3 : 125 enodes (cost 12 ) 0.058 * * [simplify]: iteration 4 : 197 enodes (cost 12 ) 0.092 * * [simplify]: iteration 5 : 250 enodes (cost 12 ) 0.134 * * [simplify]: iteration 6 : 300 enodes (cost 12 ) 0.184 * * [simplify]: iteration 7 : 335 enodes (cost 12 ) 0.239 * * [simplify]: iteration 8 : 379 enodes (cost 12 ) 0.305 * * [simplify]: iteration 9 : 447 enodes (cost 12 ) 0.399 * * [simplify]: iteration 10 : 604 enodes (cost 12 ) 0.931 * * [simplify]: iteration 11 : 1606 enodes (cost 12 ) 2.373 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 2.373 * [simplify]: Simplified to: (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 2.374 * * [progress]: iteration 1 / 4 2.374 * * * [progress]: picking best candidate 2.375 * * * * [pick]: Picked # 2.375 * * * [progress]: localizing error 2.382 * * * [progress]: generating rewritten candidates 2.382 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.392 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.411 * * * [progress]: generating series expansions 2.411 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.411 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 2.411 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 2.411 * [taylor]: Taking taylor expansion of -1 in u 2.411 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 2.411 * [taylor]: Taking taylor expansion of (* t1 v) in u 2.411 * [taylor]: Taking taylor expansion of t1 in u 2.411 * [taylor]: Taking taylor expansion of v in u 2.411 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 2.411 * [taylor]: Taking taylor expansion of (+ t1 u) in u 2.411 * [taylor]: Taking taylor expansion of t1 in u 2.411 * [taylor]: Taking taylor expansion of u in u 2.412 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 2.412 * [taylor]: Taking taylor expansion of -1 in v 2.412 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 2.412 * [taylor]: Taking taylor expansion of (* t1 v) in v 2.412 * [taylor]: Taking taylor expansion of t1 in v 2.412 * [taylor]: Taking taylor expansion of v in v 2.412 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 2.412 * [taylor]: Taking taylor expansion of (+ t1 u) in v 2.412 * [taylor]: Taking taylor expansion of t1 in v 2.412 * [taylor]: Taking taylor expansion of u in v 2.412 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 2.412 * [taylor]: Taking taylor expansion of -1 in t1 2.412 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 2.412 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.412 * [taylor]: Taking taylor expansion of t1 in t1 2.412 * [taylor]: Taking taylor expansion of v in t1 2.412 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.412 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.412 * [taylor]: Taking taylor expansion of t1 in t1 2.413 * [taylor]: Taking taylor expansion of u in t1 2.413 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 2.413 * [taylor]: Taking taylor expansion of -1 in t1 2.413 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 2.413 * [taylor]: Taking taylor expansion of (* t1 v) in t1 2.413 * [taylor]: Taking taylor expansion of t1 in t1 2.413 * [taylor]: Taking taylor expansion of v in t1 2.413 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.413 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.413 * [taylor]: Taking taylor expansion of t1 in t1 2.413 * [taylor]: Taking taylor expansion of u in t1 2.414 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 2.414 * [taylor]: Taking taylor expansion of -1 in v 2.414 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 2.414 * [taylor]: Taking taylor expansion of v in v 2.414 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.414 * [taylor]: Taking taylor expansion of u in v 2.414 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 2.414 * [taylor]: Taking taylor expansion of -1 in u 2.414 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.414 * [taylor]: Taking taylor expansion of u in u 2.417 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 2.417 * [taylor]: Taking taylor expansion of 2 in v 2.417 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 2.417 * [taylor]: Taking taylor expansion of v in v 2.418 * [taylor]: Taking taylor expansion of (pow u 3) in v 2.418 * [taylor]: Taking taylor expansion of u in v 2.418 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 2.418 * [taylor]: Taking taylor expansion of 2 in u 2.418 * [taylor]: Taking taylor expansion of (pow u 3) in u 2.418 * [taylor]: Taking taylor expansion of u in u 2.423 * [taylor]: Taking taylor expansion of 0 in u 2.426 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 2.426 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 2.426 * [taylor]: Taking taylor expansion of 3 in v 2.426 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 2.427 * [taylor]: Taking taylor expansion of v in v 2.427 * [taylor]: Taking taylor expansion of (pow u 4) in v 2.427 * [taylor]: Taking taylor expansion of u in v 2.427 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 2.427 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 2.427 * [taylor]: Taking taylor expansion of 3 in u 2.427 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 2.427 * [taylor]: Taking taylor expansion of (pow u 4) in u 2.427 * [taylor]: Taking taylor expansion of u in u 2.435 * [taylor]: Taking taylor expansion of 0 in u 2.435 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 2.435 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 2.435 * [taylor]: Taking taylor expansion of -1 in u 2.435 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 2.435 * [taylor]: Taking taylor expansion of t1 in u 2.435 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 2.435 * [taylor]: Taking taylor expansion of v in u 2.435 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.435 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.435 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.435 * [taylor]: Taking taylor expansion of u in u 2.435 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.435 * [taylor]: Taking taylor expansion of t1 in u 2.436 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 2.436 * [taylor]: Taking taylor expansion of -1 in v 2.436 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 2.436 * [taylor]: Taking taylor expansion of t1 in v 2.436 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 2.436 * [taylor]: Taking taylor expansion of v in v 2.436 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 2.436 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.436 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.436 * [taylor]: Taking taylor expansion of u in v 2.436 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.436 * [taylor]: Taking taylor expansion of t1 in v 2.438 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.438 * [taylor]: Taking taylor expansion of -1 in t1 2.438 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.438 * [taylor]: Taking taylor expansion of t1 in t1 2.438 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.438 * [taylor]: Taking taylor expansion of v in t1 2.438 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.438 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.438 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.438 * [taylor]: Taking taylor expansion of u in t1 2.438 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.438 * [taylor]: Taking taylor expansion of t1 in t1 2.440 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.440 * [taylor]: Taking taylor expansion of -1 in t1 2.440 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.440 * [taylor]: Taking taylor expansion of t1 in t1 2.440 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.440 * [taylor]: Taking taylor expansion of v in t1 2.440 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.440 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.440 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.440 * [taylor]: Taking taylor expansion of u in t1 2.440 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.440 * [taylor]: Taking taylor expansion of t1 in t1 2.442 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.442 * [taylor]: Taking taylor expansion of -1 in v 2.442 * [taylor]: Taking taylor expansion of v in v 2.442 * [taylor]: Taking taylor expansion of -1 in u 2.444 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 2.444 * [taylor]: Taking taylor expansion of 2 in v 2.444 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.444 * [taylor]: Taking taylor expansion of (* v u) in v 2.444 * [taylor]: Taking taylor expansion of v in v 2.444 * [taylor]: Taking taylor expansion of u in v 2.445 * [taylor]: Taking taylor expansion of (/ 2 u) in u 2.445 * [taylor]: Taking taylor expansion of 2 in u 2.445 * [taylor]: Taking taylor expansion of u in u 2.447 * [taylor]: Taking taylor expansion of 0 in u 2.454 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 2.454 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 2.454 * [taylor]: Taking taylor expansion of 3 in v 2.454 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.454 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.454 * [taylor]: Taking taylor expansion of v in v 2.454 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.454 * [taylor]: Taking taylor expansion of u in v 2.455 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 2.455 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 2.455 * [taylor]: Taking taylor expansion of 3 in u 2.455 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.455 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.455 * [taylor]: Taking taylor expansion of u in u 2.461 * [taylor]: Taking taylor expansion of 0 in u 2.461 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 2.461 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 2.461 * [taylor]: Taking taylor expansion of -1 in u 2.461 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 2.461 * [taylor]: Taking taylor expansion of t1 in u 2.461 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 2.461 * [taylor]: Taking taylor expansion of v in u 2.461 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.461 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.461 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.461 * [taylor]: Taking taylor expansion of u in u 2.462 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.462 * [taylor]: Taking taylor expansion of t1 in u 2.463 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 2.463 * [taylor]: Taking taylor expansion of -1 in v 2.463 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 2.463 * [taylor]: Taking taylor expansion of t1 in v 2.463 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 2.463 * [taylor]: Taking taylor expansion of v in v 2.463 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 2.463 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 2.463 * [taylor]: Taking taylor expansion of (/ 1 u) in v 2.463 * [taylor]: Taking taylor expansion of u in v 2.463 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 2.463 * [taylor]: Taking taylor expansion of t1 in v 2.465 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.465 * [taylor]: Taking taylor expansion of -1 in t1 2.465 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.465 * [taylor]: Taking taylor expansion of t1 in t1 2.465 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.465 * [taylor]: Taking taylor expansion of v in t1 2.465 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.465 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.465 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.465 * [taylor]: Taking taylor expansion of u in t1 2.465 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.465 * [taylor]: Taking taylor expansion of t1 in t1 2.466 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 2.466 * [taylor]: Taking taylor expansion of -1 in t1 2.466 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 2.467 * [taylor]: Taking taylor expansion of t1 in t1 2.467 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 2.467 * [taylor]: Taking taylor expansion of v in t1 2.467 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.467 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.467 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.467 * [taylor]: Taking taylor expansion of u in t1 2.467 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.467 * [taylor]: Taking taylor expansion of t1 in t1 2.468 * [taylor]: Taking taylor expansion of (/ -1 v) in v 2.468 * [taylor]: Taking taylor expansion of -1 in v 2.468 * [taylor]: Taking taylor expansion of v in v 2.469 * [taylor]: Taking taylor expansion of -1 in u 2.471 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 2.471 * [taylor]: Taking taylor expansion of 2 in v 2.471 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 2.471 * [taylor]: Taking taylor expansion of (* v u) in v 2.471 * [taylor]: Taking taylor expansion of v in v 2.471 * [taylor]: Taking taylor expansion of u in v 2.471 * [taylor]: Taking taylor expansion of (/ 2 u) in u 2.471 * [taylor]: Taking taylor expansion of 2 in u 2.471 * [taylor]: Taking taylor expansion of u in u 2.473 * [taylor]: Taking taylor expansion of 0 in u 2.476 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 2.476 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 2.476 * [taylor]: Taking taylor expansion of 3 in v 2.476 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 2.476 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 2.476 * [taylor]: Taking taylor expansion of v in v 2.476 * [taylor]: Taking taylor expansion of (pow u 2) in v 2.476 * [taylor]: Taking taylor expansion of u in v 2.477 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 2.477 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 2.477 * [taylor]: Taking taylor expansion of 3 in u 2.477 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.477 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.477 * [taylor]: Taking taylor expansion of u in u 2.483 * [taylor]: Taking taylor expansion of 0 in u 2.483 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.483 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0 2.483 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 2.483 * [taylor]: Taking taylor expansion of (+ t1 u) in u 2.483 * [taylor]: Taking taylor expansion of t1 in u 2.483 * [taylor]: Taking taylor expansion of u in u 2.483 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.483 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.483 * [taylor]: Taking taylor expansion of t1 in t1 2.483 * [taylor]: Taking taylor expansion of u in t1 2.483 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 2.483 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 2.483 * [taylor]: Taking taylor expansion of t1 in t1 2.483 * [taylor]: Taking taylor expansion of u in t1 2.483 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.483 * [taylor]: Taking taylor expansion of u in u 2.483 * [taylor]: Taking taylor expansion of (* 2 u) in u 2.484 * [taylor]: Taking taylor expansion of 2 in u 2.484 * [taylor]: Taking taylor expansion of u in u 2.484 * [taylor]: Taking taylor expansion of 1 in u 2.485 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 2.485 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.485 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.485 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.485 * [taylor]: Taking taylor expansion of u in u 2.486 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.486 * [taylor]: Taking taylor expansion of t1 in u 2.486 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.486 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.486 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.486 * [taylor]: Taking taylor expansion of u in t1 2.486 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.486 * [taylor]: Taking taylor expansion of t1 in t1 2.487 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.487 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.487 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.487 * [taylor]: Taking taylor expansion of u in t1 2.487 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.487 * [taylor]: Taking taylor expansion of t1 in t1 2.488 * [taylor]: Taking taylor expansion of 1 in u 2.488 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 2.488 * [taylor]: Taking taylor expansion of 2 in u 2.488 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.488 * [taylor]: Taking taylor expansion of u in u 2.490 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.490 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.490 * [taylor]: Taking taylor expansion of u in u 2.491 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 2.491 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 2.491 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 2.491 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.491 * [taylor]: Taking taylor expansion of u in u 2.491 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 2.491 * [taylor]: Taking taylor expansion of t1 in u 2.492 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.492 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.492 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.492 * [taylor]: Taking taylor expansion of u in t1 2.492 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.492 * [taylor]: Taking taylor expansion of t1 in t1 2.492 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 2.492 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 2.492 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 2.492 * [taylor]: Taking taylor expansion of u in t1 2.492 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 2.492 * [taylor]: Taking taylor expansion of t1 in t1 2.493 * [taylor]: Taking taylor expansion of 1 in u 2.494 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 2.494 * [taylor]: Taking taylor expansion of 2 in u 2.494 * [taylor]: Taking taylor expansion of (/ 1 u) in u 2.494 * [taylor]: Taking taylor expansion of u in u 2.495 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 2.495 * [taylor]: Taking taylor expansion of (pow u 2) in u 2.495 * [taylor]: Taking taylor expansion of u in u 2.497 * * * [progress]: simplifying candidates 2.498 * [simplify]: Simplifying using # : (expm1 (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (log1p (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (+ (log (- t1)) (log v)) (+ (log (+ t1 u)) (log (+ t1 u)))) (- (+ (log (- t1)) (log v)) (log (* (+ t1 u) (+ t1 u)))) (- (log (* (- t1) v)) (+ (log (+ t1 u)) (log (+ t1 u)))) (- (log (* (- t1) v)) (log (* (+ t1 u) (+ t1 u)))) (log (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))) (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))) (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (* (* (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (* (- t1) v)) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (+ t1 u)) (/ (* (+ t1 u) (+ t1 u)) v) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ t1 u) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (expm1 (* (+ t1 u) (+ t1 u))) (log1p (* (+ t1 u) (+ t1 u))) (+ 1 1) (* (+ t1 u) (+ t1 u)) (+ 1 1) (+ (log (+ t1 u)) (log (+ t1 u))) (log (* (+ t1 u) (+ t1 u))) (exp (* (+ t1 u) (+ t1 u))) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u)))) (cbrt (* (+ t1 u) (+ t1 u))) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))) (sqrt (* (+ t1 u) (+ t1 u))) (sqrt (* (+ t1 u) (+ t1 u))) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1 u)) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (- t1 u) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* 1 1) (* (+ t1 u) (+ t1 u)) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* (sqrt (+ t1 u)) (sqrt (+ t1 u))) (* 2 1) (* (+ t1 u) t1) (* (+ t1 u) u) (* t1 (+ t1 u)) (* u (+ t1 u)) (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (* (+ t1 u) (sqrt (+ t1 u))) (* (+ t1 u) 1) (* (+ t1 u) 1) (* (cbrt (+ t1 u)) (+ t1 u)) (* (sqrt (+ t1 u)) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ (pow t1 3) (pow u 3))) (* (+ t1 u) (- (* t1 t1) (* u u))) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) 2.502 * * [simplify]: iteration 0 : 117 enodes (cost 1120 ) 2.532 * * [simplify]: iteration 1 : 378 enodes (cost 1025 ) 2.701 * * [simplify]: iteration 2 : 1768 enodes (cost 869 ) 3.298 * * [simplify]: iteration done : 5000 enodes (cost 869 ) 3.299 * [simplify]: Simplified to: (expm1 (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (log1p (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (- (log (* (- t1) v)) (* 2 (log (+ t1 u)))) (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (* t1 v) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (+ u t1) (/ (+ u t1) v)) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (expm1 (* (+ t1 u) (+ t1 u))) (log1p (* (+ t1 u) (+ t1 u))) 2 (* (+ t1 u) (+ t1 u)) 2 (* 2 (log (+ t1 u))) (* 2 (log (+ t1 u))) (exp (* (+ t1 u) (+ t1 u))) (pow (* (+ t1 u) (+ t1 u)) 3) (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u)))) (cbrt (* (+ t1 u) (+ t1 u))) (pow (* (+ t1 u) (+ t1 u)) 3) (fabs (+ u t1)) (fabs (+ u t1)) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (fma t1 t1 (* u (- u t1))) (fma t1 t1 (* u (- u t1)))) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (fma t1 t1 (* u (- u t1))) (- t1 u)) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (fma t1 t1 (* u (- u t1))) (- t1 u)) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* (cbrt (+ t1 u)) (pow (cbrt (+ t1 u)) 3)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (+ u t1) (+ u t1) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) 1 (* (+ t1 u) (+ t1 u)) (+ u t1) (+ u t1) 2 (* t1 (+ t1 u)) (* u (+ t1 u)) (* t1 (+ t1 u)) (* u (+ t1 u)) (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (pow (sqrt (+ t1 u)) 3) (+ u t1) (+ u t1) (* (cbrt (+ t1 u)) (+ t1 u)) (pow (sqrt (+ t1 u)) 3) (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (fma t1 t1 (* u (+ u (* 2 t1)))) (fma t1 t1 (* u (+ u (* 2 t1)))) (fma t1 t1 (* u (+ u (* 2 t1)))) 3.299 * * * [progress]: adding candidates to table 3.435 * * [progress]: iteration 2 / 4 3.436 * * * [progress]: picking best candidate 3.441 * * * * [pick]: Picked # 3.441 * * * [progress]: localizing error 3.448 * * * [progress]: generating rewritten candidates 3.448 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.466 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 3.477 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 3.486 * * * [progress]: generating series expansions 3.486 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.486 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 3.486 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 3.486 * [taylor]: Taking taylor expansion of -1 in u 3.486 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 3.486 * [taylor]: Taking taylor expansion of (* t1 v) in u 3.486 * [taylor]: Taking taylor expansion of t1 in u 3.486 * [taylor]: Taking taylor expansion of v in u 3.486 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.486 * [taylor]: Taking taylor expansion of t1 in u 3.486 * [taylor]: Taking taylor expansion of u in u 3.486 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 3.486 * [taylor]: Taking taylor expansion of -1 in v 3.486 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 3.486 * [taylor]: Taking taylor expansion of (* t1 v) in v 3.486 * [taylor]: Taking taylor expansion of t1 in v 3.486 * [taylor]: Taking taylor expansion of v in v 3.486 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.486 * [taylor]: Taking taylor expansion of t1 in v 3.486 * [taylor]: Taking taylor expansion of u in v 3.487 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 3.487 * [taylor]: Taking taylor expansion of -1 in t1 3.487 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 3.487 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.487 * [taylor]: Taking taylor expansion of t1 in t1 3.487 * [taylor]: Taking taylor expansion of v in t1 3.487 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.487 * [taylor]: Taking taylor expansion of t1 in t1 3.487 * [taylor]: Taking taylor expansion of u in t1 3.487 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 3.487 * [taylor]: Taking taylor expansion of -1 in t1 3.487 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 3.487 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.487 * [taylor]: Taking taylor expansion of t1 in t1 3.487 * [taylor]: Taking taylor expansion of v in t1 3.487 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.487 * [taylor]: Taking taylor expansion of t1 in t1 3.487 * [taylor]: Taking taylor expansion of u in t1 3.488 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 3.488 * [taylor]: Taking taylor expansion of -1 in v 3.488 * [taylor]: Taking taylor expansion of (/ v u) in v 3.488 * [taylor]: Taking taylor expansion of v in v 3.488 * [taylor]: Taking taylor expansion of u in v 3.488 * [taylor]: Taking taylor expansion of (/ -1 u) in u 3.488 * [taylor]: Taking taylor expansion of -1 in u 3.488 * [taylor]: Taking taylor expansion of u in u 3.493 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 3.493 * [taylor]: Taking taylor expansion of v in v 3.493 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.493 * [taylor]: Taking taylor expansion of u in v 3.493 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.493 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.493 * [taylor]: Taking taylor expansion of u in u 3.496 * [taylor]: Taking taylor expansion of 0 in u 3.498 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 3.498 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 3.498 * [taylor]: Taking taylor expansion of v in v 3.498 * [taylor]: Taking taylor expansion of (pow u 3) in v 3.498 * [taylor]: Taking taylor expansion of u in v 3.498 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 3.498 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 3.498 * [taylor]: Taking taylor expansion of (pow u 3) in u 3.498 * [taylor]: Taking taylor expansion of u in u 3.503 * [taylor]: Taking taylor expansion of 0 in u 3.504 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 3.504 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 3.504 * [taylor]: Taking taylor expansion of -1 in u 3.504 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.504 * [taylor]: Taking taylor expansion of t1 in u 3.504 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.504 * [taylor]: Taking taylor expansion of v in u 3.504 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.504 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.504 * [taylor]: Taking taylor expansion of u in u 3.504 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.504 * [taylor]: Taking taylor expansion of t1 in u 3.504 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 3.505 * [taylor]: Taking taylor expansion of -1 in v 3.505 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.505 * [taylor]: Taking taylor expansion of t1 in v 3.505 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.505 * [taylor]: Taking taylor expansion of v in v 3.505 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.505 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.505 * [taylor]: Taking taylor expansion of u in v 3.505 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.505 * [taylor]: Taking taylor expansion of t1 in v 3.506 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.506 * [taylor]: Taking taylor expansion of -1 in t1 3.506 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.506 * [taylor]: Taking taylor expansion of t1 in t1 3.506 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.506 * [taylor]: Taking taylor expansion of v in t1 3.506 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.506 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.506 * [taylor]: Taking taylor expansion of u in t1 3.506 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.506 * [taylor]: Taking taylor expansion of t1 in t1 3.508 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.508 * [taylor]: Taking taylor expansion of -1 in t1 3.508 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.508 * [taylor]: Taking taylor expansion of t1 in t1 3.508 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.508 * [taylor]: Taking taylor expansion of v in t1 3.508 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.508 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.508 * [taylor]: Taking taylor expansion of u in t1 3.508 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.508 * [taylor]: Taking taylor expansion of t1 in t1 3.509 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.509 * [taylor]: Taking taylor expansion of -1 in v 3.509 * [taylor]: Taking taylor expansion of v in v 3.509 * [taylor]: Taking taylor expansion of -1 in u 3.511 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.511 * [taylor]: Taking taylor expansion of (* v u) in v 3.511 * [taylor]: Taking taylor expansion of v in v 3.511 * [taylor]: Taking taylor expansion of u in v 3.511 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.511 * [taylor]: Taking taylor expansion of u in u 3.513 * [taylor]: Taking taylor expansion of 0 in u 3.515 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 3.515 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.515 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.515 * [taylor]: Taking taylor expansion of v in v 3.515 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.515 * [taylor]: Taking taylor expansion of u in v 3.515 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.515 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.516 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.516 * [taylor]: Taking taylor expansion of u in u 3.519 * [taylor]: Taking taylor expansion of 0 in u 3.520 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 3.520 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 3.520 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.520 * [taylor]: Taking taylor expansion of t1 in u 3.520 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.520 * [taylor]: Taking taylor expansion of v in u 3.520 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.520 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.520 * [taylor]: Taking taylor expansion of u in u 3.520 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.520 * [taylor]: Taking taylor expansion of t1 in u 3.520 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 3.520 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.520 * [taylor]: Taking taylor expansion of t1 in v 3.520 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.520 * [taylor]: Taking taylor expansion of v in v 3.520 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.520 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.520 * [taylor]: Taking taylor expansion of u in v 3.520 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.521 * [taylor]: Taking taylor expansion of t1 in v 3.522 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.522 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.522 * [taylor]: Taking taylor expansion of t1 in t1 3.522 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.522 * [taylor]: Taking taylor expansion of v in t1 3.522 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.522 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.522 * [taylor]: Taking taylor expansion of u in t1 3.522 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.522 * [taylor]: Taking taylor expansion of t1 in t1 3.523 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 3.523 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.523 * [taylor]: Taking taylor expansion of t1 in t1 3.523 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.523 * [taylor]: Taking taylor expansion of v in t1 3.523 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.523 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.523 * [taylor]: Taking taylor expansion of u in t1 3.523 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.523 * [taylor]: Taking taylor expansion of t1 in t1 3.525 * [taylor]: Taking taylor expansion of (/ 1 v) in v 3.525 * [taylor]: Taking taylor expansion of v in v 3.525 * [taylor]: Taking taylor expansion of 1 in u 3.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 3.527 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.527 * [taylor]: Taking taylor expansion of (* v u) in v 3.527 * [taylor]: Taking taylor expansion of v in v 3.527 * [taylor]: Taking taylor expansion of u in v 3.527 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.527 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.527 * [taylor]: Taking taylor expansion of u in u 3.529 * [taylor]: Taking taylor expansion of 0 in u 3.531 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.531 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.531 * [taylor]: Taking taylor expansion of v in v 3.531 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.531 * [taylor]: Taking taylor expansion of u in v 3.531 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.531 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.531 * [taylor]: Taking taylor expansion of u in u 3.535 * [taylor]: Taking taylor expansion of 0 in u 3.535 * * * * [progress]: [ 2 / 3 ] generating series at (2) 3.535 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 3.535 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 3.536 * [taylor]: Taking taylor expansion of -1 in u 3.536 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 3.536 * [taylor]: Taking taylor expansion of (* t1 v) in u 3.536 * [taylor]: Taking taylor expansion of t1 in u 3.536 * [taylor]: Taking taylor expansion of v in u 3.536 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 3.536 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.536 * [taylor]: Taking taylor expansion of t1 in u 3.536 * [taylor]: Taking taylor expansion of u in u 3.536 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 3.536 * [taylor]: Taking taylor expansion of -1 in v 3.536 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 3.536 * [taylor]: Taking taylor expansion of (* t1 v) in v 3.536 * [taylor]: Taking taylor expansion of t1 in v 3.536 * [taylor]: Taking taylor expansion of v in v 3.536 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 3.536 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.536 * [taylor]: Taking taylor expansion of t1 in v 3.536 * [taylor]: Taking taylor expansion of u in v 3.536 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 3.536 * [taylor]: Taking taylor expansion of -1 in t1 3.536 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 3.536 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.536 * [taylor]: Taking taylor expansion of t1 in t1 3.537 * [taylor]: Taking taylor expansion of v in t1 3.537 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 3.537 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.537 * [taylor]: Taking taylor expansion of t1 in t1 3.537 * [taylor]: Taking taylor expansion of u in t1 3.537 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 3.537 * [taylor]: Taking taylor expansion of -1 in t1 3.537 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 3.537 * [taylor]: Taking taylor expansion of (* t1 v) in t1 3.537 * [taylor]: Taking taylor expansion of t1 in t1 3.537 * [taylor]: Taking taylor expansion of v in t1 3.537 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 3.537 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.537 * [taylor]: Taking taylor expansion of t1 in t1 3.537 * [taylor]: Taking taylor expansion of u in t1 3.538 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 3.538 * [taylor]: Taking taylor expansion of -1 in v 3.538 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 3.538 * [taylor]: Taking taylor expansion of v in v 3.538 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.538 * [taylor]: Taking taylor expansion of u in v 3.538 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 3.538 * [taylor]: Taking taylor expansion of -1 in u 3.538 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.538 * [taylor]: Taking taylor expansion of u in u 3.541 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 3.541 * [taylor]: Taking taylor expansion of 2 in v 3.541 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 3.541 * [taylor]: Taking taylor expansion of v in v 3.541 * [taylor]: Taking taylor expansion of (pow u 3) in v 3.541 * [taylor]: Taking taylor expansion of u in v 3.542 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 3.542 * [taylor]: Taking taylor expansion of 2 in u 3.542 * [taylor]: Taking taylor expansion of (pow u 3) in u 3.542 * [taylor]: Taking taylor expansion of u in u 3.547 * [taylor]: Taking taylor expansion of 0 in u 3.550 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 3.550 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 3.550 * [taylor]: Taking taylor expansion of 3 in v 3.550 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 3.550 * [taylor]: Taking taylor expansion of v in v 3.550 * [taylor]: Taking taylor expansion of (pow u 4) in v 3.550 * [taylor]: Taking taylor expansion of u in v 3.550 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 3.550 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 3.551 * [taylor]: Taking taylor expansion of 3 in u 3.551 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 3.551 * [taylor]: Taking taylor expansion of (pow u 4) in u 3.551 * [taylor]: Taking taylor expansion of u in u 3.558 * [taylor]: Taking taylor expansion of 0 in u 3.559 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 3.559 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 3.559 * [taylor]: Taking taylor expansion of -1 in u 3.559 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 3.559 * [taylor]: Taking taylor expansion of t1 in u 3.559 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 3.559 * [taylor]: Taking taylor expansion of v in u 3.559 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 3.559 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.559 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.559 * [taylor]: Taking taylor expansion of u in u 3.559 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.559 * [taylor]: Taking taylor expansion of t1 in u 3.560 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 3.560 * [taylor]: Taking taylor expansion of -1 in v 3.560 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 3.560 * [taylor]: Taking taylor expansion of t1 in v 3.560 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 3.560 * [taylor]: Taking taylor expansion of v in v 3.560 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.560 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.560 * [taylor]: Taking taylor expansion of u in v 3.560 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.560 * [taylor]: Taking taylor expansion of t1 in v 3.562 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.562 * [taylor]: Taking taylor expansion of -1 in t1 3.562 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.562 * [taylor]: Taking taylor expansion of t1 in t1 3.562 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.562 * [taylor]: Taking taylor expansion of v in t1 3.562 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.562 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.562 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.562 * [taylor]: Taking taylor expansion of u in t1 3.562 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.562 * [taylor]: Taking taylor expansion of t1 in t1 3.563 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.563 * [taylor]: Taking taylor expansion of -1 in t1 3.563 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.563 * [taylor]: Taking taylor expansion of t1 in t1 3.563 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.564 * [taylor]: Taking taylor expansion of v in t1 3.564 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.564 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.564 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.564 * [taylor]: Taking taylor expansion of u in t1 3.564 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.564 * [taylor]: Taking taylor expansion of t1 in t1 3.565 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.565 * [taylor]: Taking taylor expansion of -1 in v 3.565 * [taylor]: Taking taylor expansion of v in v 3.566 * [taylor]: Taking taylor expansion of -1 in u 3.568 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 3.568 * [taylor]: Taking taylor expansion of 2 in v 3.568 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.568 * [taylor]: Taking taylor expansion of (* v u) in v 3.568 * [taylor]: Taking taylor expansion of v in v 3.568 * [taylor]: Taking taylor expansion of u in v 3.568 * [taylor]: Taking taylor expansion of (/ 2 u) in u 3.568 * [taylor]: Taking taylor expansion of 2 in u 3.568 * [taylor]: Taking taylor expansion of u in u 3.570 * [taylor]: Taking taylor expansion of 0 in u 3.577 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 3.577 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 3.577 * [taylor]: Taking taylor expansion of 3 in v 3.577 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.577 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.577 * [taylor]: Taking taylor expansion of v in v 3.577 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.577 * [taylor]: Taking taylor expansion of u in v 3.578 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 3.578 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 3.578 * [taylor]: Taking taylor expansion of 3 in u 3.578 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.578 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.578 * [taylor]: Taking taylor expansion of u in u 3.584 * [taylor]: Taking taylor expansion of 0 in u 3.584 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 3.584 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 3.584 * [taylor]: Taking taylor expansion of -1 in u 3.584 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 3.584 * [taylor]: Taking taylor expansion of t1 in u 3.584 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 3.584 * [taylor]: Taking taylor expansion of v in u 3.584 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 3.584 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.584 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.584 * [taylor]: Taking taylor expansion of u in u 3.585 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.585 * [taylor]: Taking taylor expansion of t1 in u 3.585 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 3.585 * [taylor]: Taking taylor expansion of -1 in v 3.585 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 3.585 * [taylor]: Taking taylor expansion of t1 in v 3.585 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 3.585 * [taylor]: Taking taylor expansion of v in v 3.585 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 3.585 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.585 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.585 * [taylor]: Taking taylor expansion of u in v 3.585 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.585 * [taylor]: Taking taylor expansion of t1 in v 3.587 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.587 * [taylor]: Taking taylor expansion of -1 in t1 3.587 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.587 * [taylor]: Taking taylor expansion of t1 in t1 3.587 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.587 * [taylor]: Taking taylor expansion of v in t1 3.587 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.587 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.587 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.587 * [taylor]: Taking taylor expansion of u in t1 3.587 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.587 * [taylor]: Taking taylor expansion of t1 in t1 3.589 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 3.589 * [taylor]: Taking taylor expansion of -1 in t1 3.589 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 3.589 * [taylor]: Taking taylor expansion of t1 in t1 3.589 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 3.589 * [taylor]: Taking taylor expansion of v in t1 3.589 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 3.589 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.589 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.589 * [taylor]: Taking taylor expansion of u in t1 3.589 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.589 * [taylor]: Taking taylor expansion of t1 in t1 3.591 * [taylor]: Taking taylor expansion of (/ -1 v) in v 3.591 * [taylor]: Taking taylor expansion of -1 in v 3.591 * [taylor]: Taking taylor expansion of v in v 3.591 * [taylor]: Taking taylor expansion of -1 in u 3.593 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 3.593 * [taylor]: Taking taylor expansion of 2 in v 3.593 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 3.593 * [taylor]: Taking taylor expansion of (* v u) in v 3.593 * [taylor]: Taking taylor expansion of v in v 3.593 * [taylor]: Taking taylor expansion of u in v 3.594 * [taylor]: Taking taylor expansion of (/ 2 u) in u 3.594 * [taylor]: Taking taylor expansion of 2 in u 3.594 * [taylor]: Taking taylor expansion of u in u 3.596 * [taylor]: Taking taylor expansion of 0 in u 3.598 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 3.598 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 3.598 * [taylor]: Taking taylor expansion of 3 in v 3.598 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 3.598 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 3.598 * [taylor]: Taking taylor expansion of v in v 3.599 * [taylor]: Taking taylor expansion of (pow u 2) in v 3.599 * [taylor]: Taking taylor expansion of u in v 3.599 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 3.599 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 3.599 * [taylor]: Taking taylor expansion of 3 in u 3.599 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.599 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.599 * [taylor]: Taking taylor expansion of u in u 3.605 * [taylor]: Taking taylor expansion of 0 in u 3.605 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 3.605 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 3.605 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 3.605 * [taylor]: Taking taylor expansion of v in u 3.605 * [taylor]: Taking taylor expansion of (+ t1 u) in u 3.605 * [taylor]: Taking taylor expansion of t1 in u 3.605 * [taylor]: Taking taylor expansion of u in u 3.605 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 3.605 * [taylor]: Taking taylor expansion of v in t1 3.605 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.605 * [taylor]: Taking taylor expansion of t1 in t1 3.606 * [taylor]: Taking taylor expansion of u in t1 3.606 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 3.606 * [taylor]: Taking taylor expansion of v in v 3.606 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.606 * [taylor]: Taking taylor expansion of t1 in v 3.606 * [taylor]: Taking taylor expansion of u in v 3.606 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 3.606 * [taylor]: Taking taylor expansion of v in v 3.606 * [taylor]: Taking taylor expansion of (+ t1 u) in v 3.606 * [taylor]: Taking taylor expansion of t1 in v 3.606 * [taylor]: Taking taylor expansion of u in v 3.606 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 3.606 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 3.606 * [taylor]: Taking taylor expansion of t1 in t1 3.606 * [taylor]: Taking taylor expansion of u in t1 3.606 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.606 * [taylor]: Taking taylor expansion of u in u 3.607 * [taylor]: Taking taylor expansion of 0 in t1 3.607 * [taylor]: Taking taylor expansion of 0 in u 3.607 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 3.607 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 3.607 * [taylor]: Taking taylor expansion of (pow u 2) in u 3.607 * [taylor]: Taking taylor expansion of u in u 3.611 * [taylor]: Taking taylor expansion of 0 in t1 3.611 * [taylor]: Taking taylor expansion of 0 in u 3.611 * [taylor]: Taking taylor expansion of 0 in u 3.611 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 3.611 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.611 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.611 * [taylor]: Taking taylor expansion of v in u 3.611 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.611 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.611 * [taylor]: Taking taylor expansion of u in u 3.611 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.611 * [taylor]: Taking taylor expansion of t1 in u 3.611 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.611 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.611 * [taylor]: Taking taylor expansion of v in t1 3.612 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.612 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.612 * [taylor]: Taking taylor expansion of u in t1 3.612 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.612 * [taylor]: Taking taylor expansion of t1 in t1 3.612 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.612 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.612 * [taylor]: Taking taylor expansion of v in v 3.612 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.612 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.612 * [taylor]: Taking taylor expansion of u in v 3.612 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.612 * [taylor]: Taking taylor expansion of t1 in v 3.613 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.613 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.613 * [taylor]: Taking taylor expansion of v in v 3.613 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.613 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.613 * [taylor]: Taking taylor expansion of u in v 3.613 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.613 * [taylor]: Taking taylor expansion of t1 in v 3.614 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.614 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.614 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.614 * [taylor]: Taking taylor expansion of u in t1 3.614 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.614 * [taylor]: Taking taylor expansion of t1 in t1 3.615 * [taylor]: Taking taylor expansion of 1 in u 3.616 * [taylor]: Taking taylor expansion of 0 in t1 3.616 * [taylor]: Taking taylor expansion of 0 in u 3.616 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.616 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.616 * [taylor]: Taking taylor expansion of u in u 3.619 * [taylor]: Taking taylor expansion of 0 in t1 3.619 * [taylor]: Taking taylor expansion of 0 in u 3.619 * [taylor]: Taking taylor expansion of 0 in u 3.619 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 3.619 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 3.619 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 3.619 * [taylor]: Taking taylor expansion of v in u 3.619 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 3.619 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.619 * [taylor]: Taking taylor expansion of u in u 3.620 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 3.620 * [taylor]: Taking taylor expansion of t1 in u 3.620 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 3.620 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 3.620 * [taylor]: Taking taylor expansion of v in t1 3.620 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.620 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.620 * [taylor]: Taking taylor expansion of u in t1 3.620 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.620 * [taylor]: Taking taylor expansion of t1 in t1 3.621 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.621 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.621 * [taylor]: Taking taylor expansion of v in v 3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.621 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.621 * [taylor]: Taking taylor expansion of u in v 3.621 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.621 * [taylor]: Taking taylor expansion of t1 in v 3.622 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 3.622 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 3.622 * [taylor]: Taking taylor expansion of v in v 3.622 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 3.622 * [taylor]: Taking taylor expansion of (/ 1 u) in v 3.622 * [taylor]: Taking taylor expansion of u in v 3.622 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 3.622 * [taylor]: Taking taylor expansion of t1 in v 3.623 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 3.623 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 3.623 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 3.623 * [taylor]: Taking taylor expansion of u in t1 3.623 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 3.623 * [taylor]: Taking taylor expansion of t1 in t1 3.623 * [taylor]: Taking taylor expansion of 1 in u 3.624 * [taylor]: Taking taylor expansion of 0 in t1 3.625 * [taylor]: Taking taylor expansion of 0 in u 3.625 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 3.625 * [taylor]: Taking taylor expansion of (/ 1 u) in u 3.625 * [taylor]: Taking taylor expansion of u in u 3.628 * [taylor]: Taking taylor expansion of 0 in t1 3.628 * [taylor]: Taking taylor expansion of 0 in u 3.628 * [taylor]: Taking taylor expansion of 0 in u 3.628 * * * [progress]: simplifying candidates 3.629 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log1p (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (- (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (log (+ t1 u))) (- (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (+ t1 u))) (- (log (* (- t1) (/ v (+ t1 u)))) (log (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (/ (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (* (* (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (- (* (- t1) (/ v (+ t1 u)))) (- (+ t1 u)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (/ v (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (sqrt (+ t1 u))) (/ (/ v (+ t1 u)) (sqrt (+ t1 u))) (/ (- t1) 1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (- t1) 1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (* t1 (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) 1) (/ (* (- t1) (/ v (+ t1 u))) 1) (/ (+ t1 u) (/ v (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ (pow t1 3) (pow u 3))) (/ (* (- t1) (/ v (+ t1 u))) (- (* t1 t1) (* u u))) (* (+ t1 u) (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 3.633 * * [simplify]: iteration 0 : 142 enodes (cost 1368 ) 3.671 * * [simplify]: iteration 1 : 392 enodes (cost 1292 ) 3.887 * * [simplify]: iteration 2 : 1662 enodes (cost 1146 ) 4.320 * * [simplify]: iteration done : 5001 enodes (cost 1146 ) 4.321 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (log (* (- t1) (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (pow (* (- t1) (/ v (+ t1 u))) 3) (pow (* (- t1) (/ v (+ t1 u))) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (* (- t1) (/ v (+ t1 u))) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log1p (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (log (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) 3) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (* t1 (/ v (+ t1 u))) (- (+ t1 u)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (/ v (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (sqrt (+ t1 u))) (/ (/ v (+ t1 u)) (sqrt (+ t1 u))) (- t1) (/ (/ v (+ t1 u)) (+ t1 u)) (- t1) (/ (/ v (+ t1 u)) (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (* t1 (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (/ (+ t1 u) (/ v (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ (pow t1 3) (pow u 3))) (/ (* (- t1) (/ v (+ t1 u))) (- (* t1 t1) (* u u))) (* (+ t1 u) (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ t1 u)) 1 (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 4.321 * * * [progress]: adding candidates to table 4.539 * * [progress]: iteration 3 / 4 4.539 * * * [progress]: picking best candidate 4.551 * * * * [pick]: Picked # 4.552 * * * [progress]: localizing error 4.560 * * * [progress]: generating rewritten candidates 4.560 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.578 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.614 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.628 * * * [progress]: generating series expansions 4.628 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.628 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 4.628 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 4.628 * [taylor]: Taking taylor expansion of -1 in u 4.628 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 4.628 * [taylor]: Taking taylor expansion of (* t1 v) in u 4.628 * [taylor]: Taking taylor expansion of t1 in u 4.628 * [taylor]: Taking taylor expansion of v in u 4.628 * [taylor]: Taking taylor expansion of (+ t1 u) in u 4.628 * [taylor]: Taking taylor expansion of t1 in u 4.628 * [taylor]: Taking taylor expansion of u in u 4.628 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 4.628 * [taylor]: Taking taylor expansion of -1 in v 4.628 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 4.628 * [taylor]: Taking taylor expansion of (* t1 v) in v 4.628 * [taylor]: Taking taylor expansion of t1 in v 4.628 * [taylor]: Taking taylor expansion of v in v 4.628 * [taylor]: Taking taylor expansion of (+ t1 u) in v 4.628 * [taylor]: Taking taylor expansion of t1 in v 4.628 * [taylor]: Taking taylor expansion of u in v 4.629 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 4.629 * [taylor]: Taking taylor expansion of -1 in t1 4.629 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 4.629 * [taylor]: Taking taylor expansion of (* t1 v) in t1 4.629 * [taylor]: Taking taylor expansion of t1 in t1 4.629 * [taylor]: Taking taylor expansion of v in t1 4.629 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.629 * [taylor]: Taking taylor expansion of t1 in t1 4.629 * [taylor]: Taking taylor expansion of u in t1 4.629 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 4.629 * [taylor]: Taking taylor expansion of -1 in t1 4.629 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 4.629 * [taylor]: Taking taylor expansion of (* t1 v) in t1 4.629 * [taylor]: Taking taylor expansion of t1 in t1 4.629 * [taylor]: Taking taylor expansion of v in t1 4.629 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.629 * [taylor]: Taking taylor expansion of t1 in t1 4.629 * [taylor]: Taking taylor expansion of u in t1 4.630 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 4.630 * [taylor]: Taking taylor expansion of -1 in v 4.630 * [taylor]: Taking taylor expansion of (/ v u) in v 4.630 * [taylor]: Taking taylor expansion of v in v 4.630 * [taylor]: Taking taylor expansion of u in v 4.630 * [taylor]: Taking taylor expansion of (/ -1 u) in u 4.630 * [taylor]: Taking taylor expansion of -1 in u 4.630 * [taylor]: Taking taylor expansion of u in u 4.632 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 4.632 * [taylor]: Taking taylor expansion of v in v 4.632 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.632 * [taylor]: Taking taylor expansion of u in v 4.632 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.632 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.632 * [taylor]: Taking taylor expansion of u in u 4.635 * [taylor]: Taking taylor expansion of 0 in u 4.637 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 4.637 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 4.637 * [taylor]: Taking taylor expansion of v in v 4.637 * [taylor]: Taking taylor expansion of (pow u 3) in v 4.637 * [taylor]: Taking taylor expansion of u in v 4.637 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 4.637 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 4.637 * [taylor]: Taking taylor expansion of (pow u 3) in u 4.637 * [taylor]: Taking taylor expansion of u in u 4.642 * [taylor]: Taking taylor expansion of 0 in u 4.642 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 4.642 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 4.642 * [taylor]: Taking taylor expansion of -1 in u 4.642 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 4.642 * [taylor]: Taking taylor expansion of t1 in u 4.642 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 4.642 * [taylor]: Taking taylor expansion of v in u 4.642 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.642 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.642 * [taylor]: Taking taylor expansion of u in u 4.643 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.643 * [taylor]: Taking taylor expansion of t1 in u 4.643 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 4.643 * [taylor]: Taking taylor expansion of -1 in v 4.643 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.643 * [taylor]: Taking taylor expansion of t1 in v 4.643 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.643 * [taylor]: Taking taylor expansion of v in v 4.643 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.643 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.643 * [taylor]: Taking taylor expansion of u in v 4.643 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.643 * [taylor]: Taking taylor expansion of t1 in v 4.644 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 4.644 * [taylor]: Taking taylor expansion of -1 in t1 4.644 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.644 * [taylor]: Taking taylor expansion of t1 in t1 4.645 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.645 * [taylor]: Taking taylor expansion of v in t1 4.645 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.645 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.645 * [taylor]: Taking taylor expansion of u in t1 4.645 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.645 * [taylor]: Taking taylor expansion of t1 in t1 4.646 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 4.646 * [taylor]: Taking taylor expansion of -1 in t1 4.646 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.646 * [taylor]: Taking taylor expansion of t1 in t1 4.646 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.646 * [taylor]: Taking taylor expansion of v in t1 4.646 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.646 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.646 * [taylor]: Taking taylor expansion of u in t1 4.646 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.646 * [taylor]: Taking taylor expansion of t1 in t1 4.648 * [taylor]: Taking taylor expansion of (/ -1 v) in v 4.648 * [taylor]: Taking taylor expansion of -1 in v 4.648 * [taylor]: Taking taylor expansion of v in v 4.648 * [taylor]: Taking taylor expansion of -1 in u 4.649 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 4.649 * [taylor]: Taking taylor expansion of (* v u) in v 4.649 * [taylor]: Taking taylor expansion of v in v 4.649 * [taylor]: Taking taylor expansion of u in v 4.650 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.650 * [taylor]: Taking taylor expansion of u in u 4.651 * [taylor]: Taking taylor expansion of 0 in u 4.653 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 4.653 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 4.653 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 4.653 * [taylor]: Taking taylor expansion of v in v 4.653 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.653 * [taylor]: Taking taylor expansion of u in v 4.654 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 4.654 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.654 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.654 * [taylor]: Taking taylor expansion of u in u 4.658 * [taylor]: Taking taylor expansion of 0 in u 4.658 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 4.658 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 4.658 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 4.658 * [taylor]: Taking taylor expansion of t1 in u 4.658 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 4.658 * [taylor]: Taking taylor expansion of v in u 4.658 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.658 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.658 * [taylor]: Taking taylor expansion of u in u 4.659 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.659 * [taylor]: Taking taylor expansion of t1 in u 4.659 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 4.659 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.659 * [taylor]: Taking taylor expansion of t1 in v 4.659 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.659 * [taylor]: Taking taylor expansion of v in v 4.659 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.659 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.659 * [taylor]: Taking taylor expansion of u in v 4.659 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.659 * [taylor]: Taking taylor expansion of t1 in v 4.660 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 4.660 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.660 * [taylor]: Taking taylor expansion of t1 in t1 4.660 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.660 * [taylor]: Taking taylor expansion of v in t1 4.660 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.660 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.660 * [taylor]: Taking taylor expansion of u in t1 4.660 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.660 * [taylor]: Taking taylor expansion of t1 in t1 4.662 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 4.662 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.662 * [taylor]: Taking taylor expansion of t1 in t1 4.662 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.662 * [taylor]: Taking taylor expansion of v in t1 4.662 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.662 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.662 * [taylor]: Taking taylor expansion of u in t1 4.662 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.662 * [taylor]: Taking taylor expansion of t1 in t1 4.663 * [taylor]: Taking taylor expansion of (/ 1 v) in v 4.663 * [taylor]: Taking taylor expansion of v in v 4.664 * [taylor]: Taking taylor expansion of 1 in u 4.665 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 4.665 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 4.665 * [taylor]: Taking taylor expansion of (* v u) in v 4.665 * [taylor]: Taking taylor expansion of v in v 4.665 * [taylor]: Taking taylor expansion of u in v 4.666 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 4.666 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.666 * [taylor]: Taking taylor expansion of u in u 4.667 * [taylor]: Taking taylor expansion of 0 in u 4.669 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 4.669 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 4.669 * [taylor]: Taking taylor expansion of v in v 4.669 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.669 * [taylor]: Taking taylor expansion of u in v 4.670 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.670 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.670 * [taylor]: Taking taylor expansion of u in u 4.674 * [taylor]: Taking taylor expansion of 0 in u 4.674 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.674 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 4.674 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 4.674 * [taylor]: Taking taylor expansion of -1 in u 4.674 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 4.674 * [taylor]: Taking taylor expansion of (* t1 v) in u 4.674 * [taylor]: Taking taylor expansion of t1 in u 4.674 * [taylor]: Taking taylor expansion of v in u 4.674 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 4.674 * [taylor]: Taking taylor expansion of (+ t1 u) in u 4.674 * [taylor]: Taking taylor expansion of t1 in u 4.674 * [taylor]: Taking taylor expansion of u in u 4.675 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 4.675 * [taylor]: Taking taylor expansion of -1 in v 4.675 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 4.675 * [taylor]: Taking taylor expansion of (* t1 v) in v 4.675 * [taylor]: Taking taylor expansion of t1 in v 4.675 * [taylor]: Taking taylor expansion of v in v 4.675 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 4.675 * [taylor]: Taking taylor expansion of (+ t1 u) in v 4.675 * [taylor]: Taking taylor expansion of t1 in v 4.675 * [taylor]: Taking taylor expansion of u in v 4.675 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 4.675 * [taylor]: Taking taylor expansion of -1 in t1 4.675 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 4.675 * [taylor]: Taking taylor expansion of (* t1 v) in t1 4.675 * [taylor]: Taking taylor expansion of t1 in t1 4.675 * [taylor]: Taking taylor expansion of v in t1 4.675 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 4.675 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.675 * [taylor]: Taking taylor expansion of t1 in t1 4.675 * [taylor]: Taking taylor expansion of u in t1 4.676 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 4.676 * [taylor]: Taking taylor expansion of -1 in t1 4.676 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 4.676 * [taylor]: Taking taylor expansion of (* t1 v) in t1 4.676 * [taylor]: Taking taylor expansion of t1 in t1 4.676 * [taylor]: Taking taylor expansion of v in t1 4.676 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 4.676 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.676 * [taylor]: Taking taylor expansion of t1 in t1 4.676 * [taylor]: Taking taylor expansion of u in t1 4.676 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 4.676 * [taylor]: Taking taylor expansion of -1 in v 4.676 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 4.676 * [taylor]: Taking taylor expansion of v in v 4.676 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.677 * [taylor]: Taking taylor expansion of u in v 4.677 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 4.677 * [taylor]: Taking taylor expansion of -1 in u 4.677 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.677 * [taylor]: Taking taylor expansion of u in u 4.680 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 4.680 * [taylor]: Taking taylor expansion of 2 in v 4.680 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 4.680 * [taylor]: Taking taylor expansion of v in v 4.680 * [taylor]: Taking taylor expansion of (pow u 3) in v 4.680 * [taylor]: Taking taylor expansion of u in v 4.680 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 4.681 * [taylor]: Taking taylor expansion of 2 in u 4.681 * [taylor]: Taking taylor expansion of (pow u 3) in u 4.681 * [taylor]: Taking taylor expansion of u in u 4.686 * [taylor]: Taking taylor expansion of 0 in u 4.689 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 4.689 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 4.689 * [taylor]: Taking taylor expansion of 3 in v 4.689 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 4.689 * [taylor]: Taking taylor expansion of v in v 4.689 * [taylor]: Taking taylor expansion of (pow u 4) in v 4.689 * [taylor]: Taking taylor expansion of u in v 4.689 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 4.689 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 4.689 * [taylor]: Taking taylor expansion of 3 in u 4.689 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 4.689 * [taylor]: Taking taylor expansion of (pow u 4) in u 4.689 * [taylor]: Taking taylor expansion of u in u 4.697 * [taylor]: Taking taylor expansion of 0 in u 4.697 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 4.697 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 4.698 * [taylor]: Taking taylor expansion of -1 in u 4.698 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 4.698 * [taylor]: Taking taylor expansion of t1 in u 4.698 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 4.698 * [taylor]: Taking taylor expansion of v in u 4.698 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 4.698 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.698 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.698 * [taylor]: Taking taylor expansion of u in u 4.698 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.698 * [taylor]: Taking taylor expansion of t1 in u 4.698 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 4.699 * [taylor]: Taking taylor expansion of -1 in v 4.699 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 4.699 * [taylor]: Taking taylor expansion of t1 in v 4.699 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 4.699 * [taylor]: Taking taylor expansion of v in v 4.699 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 4.699 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.699 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.699 * [taylor]: Taking taylor expansion of u in v 4.699 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.699 * [taylor]: Taking taylor expansion of t1 in v 4.701 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 4.701 * [taylor]: Taking taylor expansion of -1 in t1 4.701 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 4.701 * [taylor]: Taking taylor expansion of t1 in t1 4.701 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 4.701 * [taylor]: Taking taylor expansion of v in t1 4.701 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 4.701 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.701 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.701 * [taylor]: Taking taylor expansion of u in t1 4.701 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.701 * [taylor]: Taking taylor expansion of t1 in t1 4.707 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 4.707 * [taylor]: Taking taylor expansion of -1 in t1 4.707 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 4.707 * [taylor]: Taking taylor expansion of t1 in t1 4.707 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 4.707 * [taylor]: Taking taylor expansion of v in t1 4.707 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 4.707 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.707 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.707 * [taylor]: Taking taylor expansion of u in t1 4.707 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.707 * [taylor]: Taking taylor expansion of t1 in t1 4.709 * [taylor]: Taking taylor expansion of (/ -1 v) in v 4.709 * [taylor]: Taking taylor expansion of -1 in v 4.709 * [taylor]: Taking taylor expansion of v in v 4.709 * [taylor]: Taking taylor expansion of -1 in u 4.711 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 4.711 * [taylor]: Taking taylor expansion of 2 in v 4.711 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 4.711 * [taylor]: Taking taylor expansion of (* v u) in v 4.711 * [taylor]: Taking taylor expansion of v in v 4.711 * [taylor]: Taking taylor expansion of u in v 4.712 * [taylor]: Taking taylor expansion of (/ 2 u) in u 4.712 * [taylor]: Taking taylor expansion of 2 in u 4.712 * [taylor]: Taking taylor expansion of u in u 4.714 * [taylor]: Taking taylor expansion of 0 in u 4.717 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 4.717 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 4.717 * [taylor]: Taking taylor expansion of 3 in v 4.717 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 4.717 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 4.717 * [taylor]: Taking taylor expansion of v in v 4.717 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.717 * [taylor]: Taking taylor expansion of u in v 4.717 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 4.717 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 4.717 * [taylor]: Taking taylor expansion of 3 in u 4.717 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.717 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.717 * [taylor]: Taking taylor expansion of u in u 4.723 * [taylor]: Taking taylor expansion of 0 in u 4.723 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 4.724 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 4.724 * [taylor]: Taking taylor expansion of -1 in u 4.724 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 4.724 * [taylor]: Taking taylor expansion of t1 in u 4.724 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 4.724 * [taylor]: Taking taylor expansion of v in u 4.724 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 4.724 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.724 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.724 * [taylor]: Taking taylor expansion of u in u 4.724 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.724 * [taylor]: Taking taylor expansion of t1 in u 4.725 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 4.725 * [taylor]: Taking taylor expansion of -1 in v 4.725 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 4.725 * [taylor]: Taking taylor expansion of t1 in v 4.725 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 4.725 * [taylor]: Taking taylor expansion of v in v 4.725 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 4.725 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.725 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.725 * [taylor]: Taking taylor expansion of u in v 4.725 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.725 * [taylor]: Taking taylor expansion of t1 in v 4.727 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 4.727 * [taylor]: Taking taylor expansion of -1 in t1 4.727 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 4.727 * [taylor]: Taking taylor expansion of t1 in t1 4.727 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 4.727 * [taylor]: Taking taylor expansion of v in t1 4.727 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 4.727 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.727 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.727 * [taylor]: Taking taylor expansion of u in t1 4.727 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.727 * [taylor]: Taking taylor expansion of t1 in t1 4.728 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 4.729 * [taylor]: Taking taylor expansion of -1 in t1 4.729 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 4.729 * [taylor]: Taking taylor expansion of t1 in t1 4.729 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 4.729 * [taylor]: Taking taylor expansion of v in t1 4.729 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 4.729 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.729 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.729 * [taylor]: Taking taylor expansion of u in t1 4.729 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.729 * [taylor]: Taking taylor expansion of t1 in t1 4.730 * [taylor]: Taking taylor expansion of (/ -1 v) in v 4.730 * [taylor]: Taking taylor expansion of -1 in v 4.730 * [taylor]: Taking taylor expansion of v in v 4.731 * [taylor]: Taking taylor expansion of -1 in u 4.733 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 4.733 * [taylor]: Taking taylor expansion of 2 in v 4.733 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 4.733 * [taylor]: Taking taylor expansion of (* v u) in v 4.733 * [taylor]: Taking taylor expansion of v in v 4.733 * [taylor]: Taking taylor expansion of u in v 4.733 * [taylor]: Taking taylor expansion of (/ 2 u) in u 4.733 * [taylor]: Taking taylor expansion of 2 in u 4.733 * [taylor]: Taking taylor expansion of u in u 4.735 * [taylor]: Taking taylor expansion of 0 in u 4.738 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 4.738 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 4.738 * [taylor]: Taking taylor expansion of 3 in v 4.738 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 4.738 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 4.738 * [taylor]: Taking taylor expansion of v in v 4.738 * [taylor]: Taking taylor expansion of (pow u 2) in v 4.738 * [taylor]: Taking taylor expansion of u in v 4.739 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 4.739 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 4.739 * [taylor]: Taking taylor expansion of 3 in u 4.739 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.739 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.739 * [taylor]: Taking taylor expansion of u in u 4.744 * [taylor]: Taking taylor expansion of 0 in u 4.745 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.745 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 4.745 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 4.745 * [taylor]: Taking taylor expansion of v in u 4.745 * [taylor]: Taking taylor expansion of (+ t1 u) in u 4.745 * [taylor]: Taking taylor expansion of t1 in u 4.745 * [taylor]: Taking taylor expansion of u in u 4.745 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 4.745 * [taylor]: Taking taylor expansion of v in t1 4.745 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.745 * [taylor]: Taking taylor expansion of t1 in t1 4.745 * [taylor]: Taking taylor expansion of u in t1 4.745 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 4.745 * [taylor]: Taking taylor expansion of v in v 4.745 * [taylor]: Taking taylor expansion of (+ t1 u) in v 4.745 * [taylor]: Taking taylor expansion of t1 in v 4.745 * [taylor]: Taking taylor expansion of u in v 4.745 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 4.745 * [taylor]: Taking taylor expansion of v in v 4.745 * [taylor]: Taking taylor expansion of (+ t1 u) in v 4.745 * [taylor]: Taking taylor expansion of t1 in v 4.745 * [taylor]: Taking taylor expansion of u in v 4.745 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 4.745 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.745 * [taylor]: Taking taylor expansion of t1 in t1 4.745 * [taylor]: Taking taylor expansion of u in t1 4.745 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.745 * [taylor]: Taking taylor expansion of u in u 4.747 * [taylor]: Taking taylor expansion of 0 in t1 4.747 * [taylor]: Taking taylor expansion of 0 in u 4.747 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 4.747 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.747 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.747 * [taylor]: Taking taylor expansion of u in u 4.750 * [taylor]: Taking taylor expansion of 0 in t1 4.750 * [taylor]: Taking taylor expansion of 0 in u 4.750 * [taylor]: Taking taylor expansion of 0 in u 4.750 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 4.750 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 4.750 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 4.750 * [taylor]: Taking taylor expansion of v in u 4.750 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.750 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.750 * [taylor]: Taking taylor expansion of u in u 4.751 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.751 * [taylor]: Taking taylor expansion of t1 in u 4.751 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.751 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.751 * [taylor]: Taking taylor expansion of v in t1 4.751 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.751 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.751 * [taylor]: Taking taylor expansion of u in t1 4.751 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.751 * [taylor]: Taking taylor expansion of t1 in t1 4.752 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.752 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.752 * [taylor]: Taking taylor expansion of v in v 4.752 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.752 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.752 * [taylor]: Taking taylor expansion of u in v 4.752 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.752 * [taylor]: Taking taylor expansion of t1 in v 4.753 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.753 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.753 * [taylor]: Taking taylor expansion of v in v 4.753 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.753 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.753 * [taylor]: Taking taylor expansion of u in v 4.753 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.753 * [taylor]: Taking taylor expansion of t1 in v 4.754 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 4.754 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.754 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.754 * [taylor]: Taking taylor expansion of u in t1 4.754 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.754 * [taylor]: Taking taylor expansion of t1 in t1 4.754 * [taylor]: Taking taylor expansion of 1 in u 4.756 * [taylor]: Taking taylor expansion of 0 in t1 4.756 * [taylor]: Taking taylor expansion of 0 in u 4.756 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 4.756 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.756 * [taylor]: Taking taylor expansion of u in u 4.759 * [taylor]: Taking taylor expansion of 0 in t1 4.759 * [taylor]: Taking taylor expansion of 0 in u 4.759 * [taylor]: Taking taylor expansion of 0 in u 4.759 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 4.759 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 4.759 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 4.759 * [taylor]: Taking taylor expansion of v in u 4.759 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.759 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.759 * [taylor]: Taking taylor expansion of u in u 4.759 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.759 * [taylor]: Taking taylor expansion of t1 in u 4.760 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 4.760 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 4.760 * [taylor]: Taking taylor expansion of v in t1 4.760 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.760 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.760 * [taylor]: Taking taylor expansion of u in t1 4.760 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.760 * [taylor]: Taking taylor expansion of t1 in t1 4.760 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.761 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.761 * [taylor]: Taking taylor expansion of v in v 4.761 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.761 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.761 * [taylor]: Taking taylor expansion of u in v 4.761 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.761 * [taylor]: Taking taylor expansion of t1 in v 4.761 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 4.761 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 4.761 * [taylor]: Taking taylor expansion of v in v 4.761 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 4.761 * [taylor]: Taking taylor expansion of (/ 1 u) in v 4.762 * [taylor]: Taking taylor expansion of u in v 4.762 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 4.762 * [taylor]: Taking taylor expansion of t1 in v 4.763 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 4.763 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.763 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.763 * [taylor]: Taking taylor expansion of u in t1 4.763 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.763 * [taylor]: Taking taylor expansion of t1 in t1 4.763 * [taylor]: Taking taylor expansion of 1 in u 4.764 * [taylor]: Taking taylor expansion of 0 in t1 4.764 * [taylor]: Taking taylor expansion of 0 in u 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 4.765 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.765 * [taylor]: Taking taylor expansion of u in u 4.768 * [taylor]: Taking taylor expansion of 0 in t1 4.768 * [taylor]: Taking taylor expansion of 0 in u 4.768 * [taylor]: Taking taylor expansion of 0 in u 4.768 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.768 * [approximate]: Taking taylor expansion of (/ 1 (+ t1 u)) in (t1 u) around 0 4.768 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in u 4.768 * [taylor]: Taking taylor expansion of (+ t1 u) in u 4.768 * [taylor]: Taking taylor expansion of t1 in u 4.768 * [taylor]: Taking taylor expansion of u in u 4.768 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 4.768 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.768 * [taylor]: Taking taylor expansion of t1 in t1 4.768 * [taylor]: Taking taylor expansion of u in t1 4.768 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 4.768 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 4.768 * [taylor]: Taking taylor expansion of t1 in t1 4.768 * [taylor]: Taking taylor expansion of u in t1 4.768 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.768 * [taylor]: Taking taylor expansion of u in u 4.769 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 4.769 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.769 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.769 * [taylor]: Taking taylor expansion of u in u 4.773 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 4.773 * [taylor]: Taking taylor expansion of (pow u 3) in u 4.773 * [taylor]: Taking taylor expansion of u in u 4.779 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0 4.779 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in u 4.779 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.779 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.779 * [taylor]: Taking taylor expansion of u in u 4.779 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.779 * [taylor]: Taking taylor expansion of t1 in u 4.780 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 4.780 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.780 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.780 * [taylor]: Taking taylor expansion of u in t1 4.780 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.780 * [taylor]: Taking taylor expansion of t1 in t1 4.781 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 4.781 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.781 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.781 * [taylor]: Taking taylor expansion of u in t1 4.781 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.781 * [taylor]: Taking taylor expansion of t1 in t1 4.782 * [taylor]: Taking taylor expansion of 1 in u 4.782 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 4.782 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.782 * [taylor]: Taking taylor expansion of u in u 4.784 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.785 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.785 * [taylor]: Taking taylor expansion of u in u 4.793 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in (t1 u) around 0 4.793 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in u 4.793 * [taylor]: Taking taylor expansion of -1 in u 4.793 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 4.793 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.793 * [taylor]: Taking taylor expansion of u in u 4.793 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 4.793 * [taylor]: Taking taylor expansion of t1 in u 4.794 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1 4.794 * [taylor]: Taking taylor expansion of -1 in t1 4.794 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.794 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.794 * [taylor]: Taking taylor expansion of u in t1 4.794 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.794 * [taylor]: Taking taylor expansion of t1 in t1 4.795 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 u) (/ 1 t1))) in t1 4.795 * [taylor]: Taking taylor expansion of -1 in t1 4.795 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 4.795 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 4.795 * [taylor]: Taking taylor expansion of u in t1 4.795 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 4.795 * [taylor]: Taking taylor expansion of t1 in t1 4.795 * [taylor]: Taking taylor expansion of -1 in u 4.796 * [taylor]: Taking taylor expansion of (/ 1 u) in u 4.796 * [taylor]: Taking taylor expansion of u in u 4.799 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 4.799 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 4.799 * [taylor]: Taking taylor expansion of (pow u 2) in u 4.799 * [taylor]: Taking taylor expansion of u in u 4.803 * * * [progress]: simplifying candidates 4.805 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (log1p (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (log (/ 1 (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (/ 1 (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- 0 (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (- (log 1) (log (+ t1 u)))) (+ (log (* (- t1) (/ v (+ t1 u)))) (log (/ 1 (+ t1 u)))) (log (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (exp (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u)))) (* (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))))) (cbrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (sqrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (sqrt (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ t1 u)))) (* (* (- t1) v) 1) (* (+ t1 u) (+ t1 u)) (* (* t1 (/ v (+ t1 u))) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ (sqrt 1) 1)) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (sqrt (+ t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 1)) (* (* (- t1) (/ v (+ t1 u))) (/ 1 1)) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (+ (pow t1 3) (pow u 3)))) (* (* (- t1) (/ v (+ t1 u))) (/ 1 (- (* t1 t1) (* u u)))) (* (/ v (+ t1 u)) (/ 1 (+ t1 u))) (* (* (- t1) (/ v (+ t1 u))) 1) (* (* (- t1) v) (/ 1 (+ t1 u))) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) (expm1 (/ 1 (+ t1 u))) (log1p (/ 1 (+ t1 u))) (- 1) (- (log (+ t1 u))) (- 0 (log (+ t1 u))) (- (log 1) (log (+ t1 u))) (log (/ 1 (+ t1 u))) (exp (/ 1 (+ t1 u))) (/ (* (* 1 1) 1) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))) (cbrt (/ 1 (+ t1 u))) (* (* (/ 1 (+ t1 u)) (/ 1 (+ t1 u))) (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) (- 1) (- (+ t1 u)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt 1) (cbrt (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ t1 u))) (/ (cbrt 1) (sqrt (+ t1 u))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ t1 u)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ t1 u)) (/ (sqrt 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt 1) (cbrt (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u))) (/ (sqrt 1) (sqrt (+ t1 u))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ t1 u)) (/ (sqrt 1) 1) (/ (sqrt 1) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) 1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (sqrt (+ t1 u))) (/ 1 1) (/ 1 1) (/ (+ t1 u) (cbrt 1)) (/ (+ t1 u) (sqrt 1)) (/ (+ t1 u) 1) (/ 1 (+ (pow t1 3) (pow u 3))) (/ 1 (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 0 0 0 4.810 * * [simplify]: iteration 0 : 194 enodes (cost 2220 ) 4.868 * * [simplify]: iteration 1 : 556 enodes (cost 1926 ) 5.234 * * [simplify]: iteration 2 : 2011 enodes (cost 1676 ) 5.782 * * [simplify]: iteration done : 5000 enodes (cost 1676 ) 5.787 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (log (- (* t1 (/ v (+ t1 u))))) (log (- (* t1 (/ v (+ t1 u))))) (log (- (* t1 (/ v (+ t1 u))))) (exp (* (- t1) (/ v (+ t1 u)))) (pow (- (* t1 (/ v (+ t1 u)))) 3) (pow (- (* t1 (/ v (+ t1 u)))) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (- (* t1 (/ v (+ t1 u)))) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (/ t1 (/ (+ t1 u) v)) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (* t1 (- (/ v (+ (pow t1 3) (pow u 3))))) (* (/ (- t1) (- t1 u)) (/ v (+ t1 u))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (/ t1 (/ (+ t1 u) v)) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (/ t1 (/ (+ t1 u) v)) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (* (- t1) v) (expm1 (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log1p (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (exp (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (* (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)))) (cbrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1)) 3) (sqrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (sqrt (/ (- (* t1 (/ v (+ t1 u)))) (+ u t1))) (* (- t1) v) (* (+ u t1) (+ u t1)) (/ (* t1 (/ v (+ t1 u))) (+ u t1)) (* (* (- t1) (/ v (+ t1 u))) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (sqrt (/ 1 (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (sqrt (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (/ (- (* t1 (/ v (+ t1 u)))) (+ (pow t1 3) (pow u 3))) (/ (- (* t1 (/ v (+ t1 u)))) (- (* t1 t1) (* u u))) (/ v (* (+ t1 u) (+ t1 u))) (- (* t1 (/ v (+ t1 u)))) (- (* t1 (/ v (+ t1 u)))) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ t1 u)) 1 (/ v (+ t1 u)) (/ 1 (+ u t1)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ (/ v (+ t1 u)) (- t1 u)) (expm1 (/ 1 (+ t1 u))) (log1p (/ 1 (+ t1 u))) -1 (- (log (+ t1 u))) (- (log (+ t1 u))) (- (log (+ t1 u))) (- (log (+ t1 u))) (exp (/ 1 (+ t1 u))) (/ 1 (pow (+ u t1) 3)) (* (cbrt (/ 1 (+ t1 u))) (cbrt (/ 1 (+ t1 u)))) (cbrt (/ 1 (+ t1 u))) (/ 1 (pow (+ u t1) 3)) (sqrt (/ 1 (+ t1 u))) (sqrt (/ 1 (+ t1 u))) -1 (- (+ t1 u)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 (/ 1 (+ u t1)) 1 (/ 1 (+ u t1)) (/ 1 (+ u t1)) (+ u t1) (/ (/ 1 (cbrt (+ t1 u))) (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) 1 1 (+ u t1) (+ u t1) (+ u t1) (/ 1 (+ (pow t1 3) (pow u 3))) (/ (/ 1 (+ u t1)) (- t1 u)) 0 0 0 0 0 0 0 0 0 0 0 0 5.788 * * * [progress]: adding candidates to table 6.103 * * [progress]: iteration 4 / 4 6.103 * * * [progress]: picking best candidate 6.111 * * * * [pick]: Picked # 6.111 * * * [progress]: localizing error 6.119 * * * [progress]: generating rewritten candidates 6.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 6.150 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.169 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 6.181 * * * [progress]: generating series expansions 6.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.181 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 v u) around 0 6.181 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u 6.181 * [taylor]: Taking taylor expansion of -1 in u 6.181 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u 6.181 * [taylor]: Taking taylor expansion of (* t1 v) in u 6.181 * [taylor]: Taking taylor expansion of t1 in u 6.181 * [taylor]: Taking taylor expansion of v in u 6.181 * [taylor]: Taking taylor expansion of (+ t1 u) in u 6.181 * [taylor]: Taking taylor expansion of t1 in u 6.181 * [taylor]: Taking taylor expansion of u in u 6.181 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v 6.181 * [taylor]: Taking taylor expansion of -1 in v 6.181 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v 6.181 * [taylor]: Taking taylor expansion of (* t1 v) in v 6.181 * [taylor]: Taking taylor expansion of t1 in v 6.181 * [taylor]: Taking taylor expansion of v in v 6.181 * [taylor]: Taking taylor expansion of (+ t1 u) in v 6.181 * [taylor]: Taking taylor expansion of t1 in v 6.181 * [taylor]: Taking taylor expansion of u in v 6.182 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 6.182 * [taylor]: Taking taylor expansion of -1 in t1 6.182 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 6.182 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.182 * [taylor]: Taking taylor expansion of t1 in t1 6.182 * [taylor]: Taking taylor expansion of v in t1 6.182 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.182 * [taylor]: Taking taylor expansion of t1 in t1 6.182 * [taylor]: Taking taylor expansion of u in t1 6.183 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1 6.183 * [taylor]: Taking taylor expansion of -1 in t1 6.183 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1 6.183 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.183 * [taylor]: Taking taylor expansion of t1 in t1 6.183 * [taylor]: Taking taylor expansion of v in t1 6.183 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.183 * [taylor]: Taking taylor expansion of t1 in t1 6.183 * [taylor]: Taking taylor expansion of u in t1 6.183 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in v 6.183 * [taylor]: Taking taylor expansion of -1 in v 6.183 * [taylor]: Taking taylor expansion of (/ v u) in v 6.183 * [taylor]: Taking taylor expansion of v in v 6.183 * [taylor]: Taking taylor expansion of u in v 6.183 * [taylor]: Taking taylor expansion of (/ -1 u) in u 6.183 * [taylor]: Taking taylor expansion of -1 in u 6.183 * [taylor]: Taking taylor expansion of u in u 6.185 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 6.185 * [taylor]: Taking taylor expansion of v in v 6.185 * [taylor]: Taking taylor expansion of (pow u 2) in v 6.185 * [taylor]: Taking taylor expansion of u in v 6.185 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 6.185 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.185 * [taylor]: Taking taylor expansion of u in u 6.188 * [taylor]: Taking taylor expansion of 0 in u 6.190 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in v 6.190 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 6.190 * [taylor]: Taking taylor expansion of v in v 6.190 * [taylor]: Taking taylor expansion of (pow u 3) in v 6.190 * [taylor]: Taking taylor expansion of u in v 6.190 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 6.190 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 6.190 * [taylor]: Taking taylor expansion of (pow u 3) in u 6.190 * [taylor]: Taking taylor expansion of u in u 6.195 * [taylor]: Taking taylor expansion of 0 in u 6.195 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 6.195 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 6.195 * [taylor]: Taking taylor expansion of -1 in u 6.195 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 6.195 * [taylor]: Taking taylor expansion of t1 in u 6.195 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 6.195 * [taylor]: Taking taylor expansion of v in u 6.195 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.195 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.195 * [taylor]: Taking taylor expansion of u in u 6.196 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.196 * [taylor]: Taking taylor expansion of t1 in u 6.196 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 6.196 * [taylor]: Taking taylor expansion of -1 in v 6.196 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.196 * [taylor]: Taking taylor expansion of t1 in v 6.196 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.196 * [taylor]: Taking taylor expansion of v in v 6.196 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.196 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.196 * [taylor]: Taking taylor expansion of u in v 6.196 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.196 * [taylor]: Taking taylor expansion of t1 in v 6.197 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 6.197 * [taylor]: Taking taylor expansion of -1 in t1 6.197 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.197 * [taylor]: Taking taylor expansion of t1 in t1 6.197 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.197 * [taylor]: Taking taylor expansion of v in t1 6.197 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.197 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.197 * [taylor]: Taking taylor expansion of u in t1 6.197 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.198 * [taylor]: Taking taylor expansion of t1 in t1 6.199 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 6.199 * [taylor]: Taking taylor expansion of -1 in t1 6.199 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.199 * [taylor]: Taking taylor expansion of t1 in t1 6.199 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.199 * [taylor]: Taking taylor expansion of v in t1 6.199 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.199 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.199 * [taylor]: Taking taylor expansion of u in t1 6.199 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.199 * [taylor]: Taking taylor expansion of t1 in t1 6.200 * [taylor]: Taking taylor expansion of (/ -1 v) in v 6.200 * [taylor]: Taking taylor expansion of -1 in v 6.200 * [taylor]: Taking taylor expansion of v in v 6.201 * [taylor]: Taking taylor expansion of -1 in u 6.202 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 6.202 * [taylor]: Taking taylor expansion of (* v u) in v 6.202 * [taylor]: Taking taylor expansion of v in v 6.202 * [taylor]: Taking taylor expansion of u in v 6.203 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.203 * [taylor]: Taking taylor expansion of u in u 6.204 * [taylor]: Taking taylor expansion of 0 in u 6.206 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in v 6.206 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 6.206 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 6.206 * [taylor]: Taking taylor expansion of v in v 6.206 * [taylor]: Taking taylor expansion of (pow u 2) in v 6.206 * [taylor]: Taking taylor expansion of u in v 6.207 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 6.207 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 6.207 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.207 * [taylor]: Taking taylor expansion of u in u 6.211 * [taylor]: Taking taylor expansion of 0 in u 6.211 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 v u) around 0 6.212 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u 6.212 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 6.212 * [taylor]: Taking taylor expansion of t1 in u 6.212 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 6.212 * [taylor]: Taking taylor expansion of v in u 6.212 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.212 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.212 * [taylor]: Taking taylor expansion of u in u 6.212 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.212 * [taylor]: Taking taylor expansion of t1 in u 6.212 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v 6.212 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.212 * [taylor]: Taking taylor expansion of t1 in v 6.212 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.212 * [taylor]: Taking taylor expansion of v in v 6.212 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.212 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.212 * [taylor]: Taking taylor expansion of u in v 6.212 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.212 * [taylor]: Taking taylor expansion of t1 in v 6.214 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 6.214 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.214 * [taylor]: Taking taylor expansion of t1 in t1 6.214 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.214 * [taylor]: Taking taylor expansion of v in t1 6.214 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.214 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.214 * [taylor]: Taking taylor expansion of u in t1 6.214 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.214 * [taylor]: Taking taylor expansion of t1 in t1 6.215 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1 6.215 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.215 * [taylor]: Taking taylor expansion of t1 in t1 6.215 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.215 * [taylor]: Taking taylor expansion of v in t1 6.215 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.215 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.215 * [taylor]: Taking taylor expansion of u in t1 6.215 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.215 * [taylor]: Taking taylor expansion of t1 in t1 6.217 * [taylor]: Taking taylor expansion of (/ 1 v) in v 6.217 * [taylor]: Taking taylor expansion of v in v 6.217 * [taylor]: Taking taylor expansion of 1 in u 6.218 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in v 6.219 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 6.219 * [taylor]: Taking taylor expansion of (* v u) in v 6.219 * [taylor]: Taking taylor expansion of v in v 6.219 * [taylor]: Taking taylor expansion of u in v 6.219 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 6.219 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.219 * [taylor]: Taking taylor expansion of u in u 6.221 * [taylor]: Taking taylor expansion of 0 in u 6.223 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 6.223 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 6.223 * [taylor]: Taking taylor expansion of v in v 6.223 * [taylor]: Taking taylor expansion of (pow u 2) in v 6.223 * [taylor]: Taking taylor expansion of u in v 6.223 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 6.223 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.223 * [taylor]: Taking taylor expansion of u in u 6.227 * [taylor]: Taking taylor expansion of 0 in u 6.227 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 6.227 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in (t1 u v) around 0 6.227 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in v 6.228 * [taylor]: Taking taylor expansion of -1 in v 6.228 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in v 6.228 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 6.228 * [taylor]: Taking taylor expansion of (+ t1 u) in v 6.228 * [taylor]: Taking taylor expansion of t1 in v 6.228 * [taylor]: Taking taylor expansion of u in v 6.228 * [taylor]: Taking taylor expansion of (* t1 v) in v 6.228 * [taylor]: Taking taylor expansion of t1 in v 6.228 * [taylor]: Taking taylor expansion of v in v 6.228 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in u 6.228 * [taylor]: Taking taylor expansion of -1 in u 6.228 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in u 6.228 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 6.228 * [taylor]: Taking taylor expansion of (+ t1 u) in u 6.228 * [taylor]: Taking taylor expansion of t1 in u 6.228 * [taylor]: Taking taylor expansion of u in u 6.228 * [taylor]: Taking taylor expansion of (* t1 v) in u 6.228 * [taylor]: Taking taylor expansion of t1 in u 6.228 * [taylor]: Taking taylor expansion of v in u 6.228 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1 6.228 * [taylor]: Taking taylor expansion of -1 in t1 6.228 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1 6.228 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 6.228 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.229 * [taylor]: Taking taylor expansion of t1 in t1 6.229 * [taylor]: Taking taylor expansion of u in t1 6.229 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.229 * [taylor]: Taking taylor expansion of t1 in t1 6.229 * [taylor]: Taking taylor expansion of v in t1 6.229 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1 6.229 * [taylor]: Taking taylor expansion of -1 in t1 6.229 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1 6.229 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 6.229 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.229 * [taylor]: Taking taylor expansion of t1 in t1 6.229 * [taylor]: Taking taylor expansion of u in t1 6.229 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.229 * [taylor]: Taking taylor expansion of t1 in t1 6.229 * [taylor]: Taking taylor expansion of v in t1 6.230 * [taylor]: Taking taylor expansion of (* -1 (/ (pow u 2) v)) in u 6.230 * [taylor]: Taking taylor expansion of -1 in u 6.230 * [taylor]: Taking taylor expansion of (/ (pow u 2) v) in u 6.230 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.230 * [taylor]: Taking taylor expansion of u in u 6.230 * [taylor]: Taking taylor expansion of v in u 6.231 * [taylor]: Taking taylor expansion of (- (* 2 (/ u v))) in u 6.231 * [taylor]: Taking taylor expansion of (* 2 (/ u v)) in u 6.231 * [taylor]: Taking taylor expansion of 2 in u 6.231 * [taylor]: Taking taylor expansion of (/ u v) in u 6.231 * [taylor]: Taking taylor expansion of u in u 6.231 * [taylor]: Taking taylor expansion of v in u 6.233 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in u 6.233 * [taylor]: Taking taylor expansion of (/ 1 v) in u 6.233 * [taylor]: Taking taylor expansion of v in u 6.233 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v 6.233 * [taylor]: Taking taylor expansion of (/ 1 v) in v 6.233 * [taylor]: Taking taylor expansion of v in v 6.237 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 v))) in v 6.237 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v 6.237 * [taylor]: Taking taylor expansion of 2 in v 6.237 * [taylor]: Taking taylor expansion of (/ 1 v) in v 6.237 * [taylor]: Taking taylor expansion of v in v 6.238 * [taylor]: Taking taylor expansion of (/ -1 v) in v 6.238 * [taylor]: Taking taylor expansion of -1 in v 6.238 * [taylor]: Taking taylor expansion of v in v 6.239 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 6.239 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 6.239 * [taylor]: Taking taylor expansion of -1 in v 6.239 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 6.239 * [taylor]: Taking taylor expansion of t1 in v 6.239 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 6.239 * [taylor]: Taking taylor expansion of v in v 6.239 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 6.239 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.239 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.239 * [taylor]: Taking taylor expansion of u in v 6.239 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.239 * [taylor]: Taking taylor expansion of t1 in v 6.239 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 6.239 * [taylor]: Taking taylor expansion of -1 in u 6.239 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 6.239 * [taylor]: Taking taylor expansion of t1 in u 6.239 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 6.239 * [taylor]: Taking taylor expansion of v in u 6.239 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 6.239 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.239 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.239 * [taylor]: Taking taylor expansion of u in u 6.239 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.239 * [taylor]: Taking taylor expansion of t1 in u 6.240 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.240 * [taylor]: Taking taylor expansion of -1 in t1 6.240 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.240 * [taylor]: Taking taylor expansion of t1 in t1 6.240 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.240 * [taylor]: Taking taylor expansion of v in t1 6.240 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.240 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.240 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.240 * [taylor]: Taking taylor expansion of u in t1 6.240 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.240 * [taylor]: Taking taylor expansion of t1 in t1 6.240 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.240 * [taylor]: Taking taylor expansion of -1 in t1 6.240 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.240 * [taylor]: Taking taylor expansion of t1 in t1 6.241 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.241 * [taylor]: Taking taylor expansion of v in t1 6.241 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.241 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.241 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.241 * [taylor]: Taking taylor expansion of u in t1 6.241 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.241 * [taylor]: Taking taylor expansion of t1 in t1 6.242 * [taylor]: Taking taylor expansion of 0 in u 6.243 * [taylor]: Taking taylor expansion of (- v) in u 6.243 * [taylor]: Taking taylor expansion of v in u 6.245 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u 6.245 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u 6.245 * [taylor]: Taking taylor expansion of 2 in u 6.245 * [taylor]: Taking taylor expansion of (/ v u) in u 6.245 * [taylor]: Taking taylor expansion of v in u 6.245 * [taylor]: Taking taylor expansion of u in u 6.245 * [taylor]: Taking taylor expansion of 0 in v 6.248 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u 6.248 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 6.248 * [taylor]: Taking taylor expansion of v in u 6.248 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.248 * [taylor]: Taking taylor expansion of u in u 6.248 * [taylor]: Taking taylor expansion of (- v) in v 6.249 * [taylor]: Taking taylor expansion of v in v 6.249 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v 6.249 * [taylor]: Taking taylor expansion of (* 2 v) in v 6.249 * [taylor]: Taking taylor expansion of 2 in v 6.249 * [taylor]: Taking taylor expansion of v in v 6.249 * [taylor]: Taking taylor expansion of (- v) in v 6.249 * [taylor]: Taking taylor expansion of v in v 6.250 * [taylor]: Taking taylor expansion of 0 in v 6.250 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 6.250 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 6.250 * [taylor]: Taking taylor expansion of -1 in v 6.250 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 6.250 * [taylor]: Taking taylor expansion of t1 in v 6.250 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 6.250 * [taylor]: Taking taylor expansion of v in v 6.250 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 6.250 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.250 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.250 * [taylor]: Taking taylor expansion of u in v 6.250 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.250 * [taylor]: Taking taylor expansion of t1 in v 6.250 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 6.250 * [taylor]: Taking taylor expansion of -1 in u 6.250 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 6.250 * [taylor]: Taking taylor expansion of t1 in u 6.250 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 6.250 * [taylor]: Taking taylor expansion of v in u 6.250 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 6.250 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.250 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.250 * [taylor]: Taking taylor expansion of u in u 6.251 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.251 * [taylor]: Taking taylor expansion of t1 in u 6.251 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.251 * [taylor]: Taking taylor expansion of -1 in t1 6.251 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.251 * [taylor]: Taking taylor expansion of t1 in t1 6.251 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.251 * [taylor]: Taking taylor expansion of v in t1 6.251 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.251 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.251 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.251 * [taylor]: Taking taylor expansion of u in t1 6.251 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.251 * [taylor]: Taking taylor expansion of t1 in t1 6.252 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.252 * [taylor]: Taking taylor expansion of -1 in t1 6.252 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.252 * [taylor]: Taking taylor expansion of t1 in t1 6.252 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.252 * [taylor]: Taking taylor expansion of v in t1 6.252 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.252 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.252 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.252 * [taylor]: Taking taylor expansion of u in t1 6.252 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.252 * [taylor]: Taking taylor expansion of t1 in t1 6.253 * [taylor]: Taking taylor expansion of 0 in u 6.254 * [taylor]: Taking taylor expansion of (- v) in u 6.254 * [taylor]: Taking taylor expansion of v in u 6.257 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u 6.257 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u 6.257 * [taylor]: Taking taylor expansion of 2 in u 6.257 * [taylor]: Taking taylor expansion of (/ v u) in u 6.257 * [taylor]: Taking taylor expansion of v in u 6.257 * [taylor]: Taking taylor expansion of u in u 6.257 * [taylor]: Taking taylor expansion of 0 in v 6.259 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u 6.259 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 6.260 * [taylor]: Taking taylor expansion of v in u 6.260 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.260 * [taylor]: Taking taylor expansion of u in u 6.260 * [taylor]: Taking taylor expansion of (- v) in v 6.260 * [taylor]: Taking taylor expansion of v in v 6.260 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v 6.260 * [taylor]: Taking taylor expansion of (* 2 v) in v 6.260 * [taylor]: Taking taylor expansion of 2 in v 6.260 * [taylor]: Taking taylor expansion of v in v 6.261 * [taylor]: Taking taylor expansion of (- v) in v 6.261 * [taylor]: Taking taylor expansion of v in v 6.261 * [taylor]: Taking taylor expansion of 0 in v 6.261 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.261 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0 6.261 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 6.261 * [taylor]: Taking taylor expansion of -1 in v 6.261 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 6.261 * [taylor]: Taking taylor expansion of (* t1 v) in v 6.261 * [taylor]: Taking taylor expansion of t1 in v 6.261 * [taylor]: Taking taylor expansion of v in v 6.261 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 6.261 * [taylor]: Taking taylor expansion of (+ t1 u) in v 6.261 * [taylor]: Taking taylor expansion of t1 in v 6.262 * [taylor]: Taking taylor expansion of u in v 6.262 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 6.262 * [taylor]: Taking taylor expansion of -1 in u 6.262 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 6.262 * [taylor]: Taking taylor expansion of (* t1 v) in u 6.262 * [taylor]: Taking taylor expansion of t1 in u 6.262 * [taylor]: Taking taylor expansion of v in u 6.262 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 6.262 * [taylor]: Taking taylor expansion of (+ t1 u) in u 6.262 * [taylor]: Taking taylor expansion of t1 in u 6.262 * [taylor]: Taking taylor expansion of u in u 6.262 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 6.262 * [taylor]: Taking taylor expansion of -1 in t1 6.262 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 6.262 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.262 * [taylor]: Taking taylor expansion of t1 in t1 6.262 * [taylor]: Taking taylor expansion of v in t1 6.262 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 6.262 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.262 * [taylor]: Taking taylor expansion of t1 in t1 6.262 * [taylor]: Taking taylor expansion of u in t1 6.263 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 6.263 * [taylor]: Taking taylor expansion of -1 in t1 6.263 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 6.263 * [taylor]: Taking taylor expansion of (* t1 v) in t1 6.263 * [taylor]: Taking taylor expansion of t1 in t1 6.263 * [taylor]: Taking taylor expansion of v in t1 6.263 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 6.263 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.263 * [taylor]: Taking taylor expansion of t1 in t1 6.263 * [taylor]: Taking taylor expansion of u in t1 6.264 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u 6.264 * [taylor]: Taking taylor expansion of -1 in u 6.264 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 6.264 * [taylor]: Taking taylor expansion of v in u 6.264 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.264 * [taylor]: Taking taylor expansion of u in u 6.267 * [taylor]: Taking taylor expansion of 0 in v 6.268 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u 6.268 * [taylor]: Taking taylor expansion of 2 in u 6.268 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u 6.268 * [taylor]: Taking taylor expansion of v in u 6.268 * [taylor]: Taking taylor expansion of (pow u 3) in u 6.268 * [taylor]: Taking taylor expansion of u in u 6.274 * [taylor]: Taking taylor expansion of 0 in v 6.277 * [taylor]: Taking taylor expansion of 0 in v 6.279 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u 6.279 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u 6.279 * [taylor]: Taking taylor expansion of 3 in u 6.279 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u 6.279 * [taylor]: Taking taylor expansion of v in u 6.279 * [taylor]: Taking taylor expansion of (pow u 4) in u 6.279 * [taylor]: Taking taylor expansion of u in u 6.288 * [taylor]: Taking taylor expansion of 0 in v 6.292 * [taylor]: Taking taylor expansion of 0 in v 6.292 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 6.292 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 6.292 * [taylor]: Taking taylor expansion of -1 in v 6.292 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 6.292 * [taylor]: Taking taylor expansion of t1 in v 6.292 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 6.292 * [taylor]: Taking taylor expansion of v in v 6.292 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 6.292 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.292 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.292 * [taylor]: Taking taylor expansion of u in v 6.292 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.292 * [taylor]: Taking taylor expansion of t1 in v 6.294 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 6.294 * [taylor]: Taking taylor expansion of -1 in u 6.294 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 6.294 * [taylor]: Taking taylor expansion of t1 in u 6.294 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 6.294 * [taylor]: Taking taylor expansion of v in u 6.294 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 6.294 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.294 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.294 * [taylor]: Taking taylor expansion of u in u 6.295 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.295 * [taylor]: Taking taylor expansion of t1 in u 6.295 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.295 * [taylor]: Taking taylor expansion of -1 in t1 6.295 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.295 * [taylor]: Taking taylor expansion of t1 in t1 6.295 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.295 * [taylor]: Taking taylor expansion of v in t1 6.295 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.295 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.295 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.295 * [taylor]: Taking taylor expansion of u in t1 6.295 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.295 * [taylor]: Taking taylor expansion of t1 in t1 6.297 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.297 * [taylor]: Taking taylor expansion of -1 in t1 6.297 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.297 * [taylor]: Taking taylor expansion of t1 in t1 6.297 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.297 * [taylor]: Taking taylor expansion of v in t1 6.297 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.297 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.297 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.297 * [taylor]: Taking taylor expansion of u in t1 6.297 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.297 * [taylor]: Taking taylor expansion of t1 in t1 6.299 * [taylor]: Taking taylor expansion of (/ -1 v) in u 6.299 * [taylor]: Taking taylor expansion of -1 in u 6.299 * [taylor]: Taking taylor expansion of v in u 6.299 * [taylor]: Taking taylor expansion of 0 in v 6.301 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 6.301 * [taylor]: Taking taylor expansion of 2 in u 6.301 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 6.301 * [taylor]: Taking taylor expansion of (* v u) in u 6.301 * [taylor]: Taking taylor expansion of v in u 6.302 * [taylor]: Taking taylor expansion of u in u 6.304 * [taylor]: Taking taylor expansion of 0 in v 6.304 * [taylor]: Taking taylor expansion of 0 in v 6.307 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 6.307 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 6.307 * [taylor]: Taking taylor expansion of 3 in u 6.307 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 6.307 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 6.307 * [taylor]: Taking taylor expansion of v in u 6.307 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.307 * [taylor]: Taking taylor expansion of u in u 6.312 * [taylor]: Taking taylor expansion of 0 in v 6.314 * [taylor]: Taking taylor expansion of 0 in v 6.314 * [taylor]: Taking taylor expansion of 0 in v 6.317 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 6.317 * [taylor]: Taking taylor expansion of 4 in u 6.317 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 6.317 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 6.317 * [taylor]: Taking taylor expansion of v in u 6.317 * [taylor]: Taking taylor expansion of (pow u 3) in u 6.317 * [taylor]: Taking taylor expansion of u in u 6.329 * [taylor]: Taking taylor expansion of 0 in v 6.332 * [taylor]: Taking taylor expansion of 0 in v 6.334 * [taylor]: Taking taylor expansion of 0 in v 6.334 * [taylor]: Taking taylor expansion of 0 in v 6.335 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 6.335 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 6.335 * [taylor]: Taking taylor expansion of -1 in v 6.335 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 6.335 * [taylor]: Taking taylor expansion of t1 in v 6.335 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 6.335 * [taylor]: Taking taylor expansion of v in v 6.335 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 6.335 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.335 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.335 * [taylor]: Taking taylor expansion of u in v 6.335 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.335 * [taylor]: Taking taylor expansion of t1 in v 6.337 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 6.337 * [taylor]: Taking taylor expansion of -1 in u 6.337 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 6.337 * [taylor]: Taking taylor expansion of t1 in u 6.337 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 6.337 * [taylor]: Taking taylor expansion of v in u 6.337 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 6.337 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.337 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.337 * [taylor]: Taking taylor expansion of u in u 6.337 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.337 * [taylor]: Taking taylor expansion of t1 in u 6.338 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.338 * [taylor]: Taking taylor expansion of -1 in t1 6.338 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.338 * [taylor]: Taking taylor expansion of t1 in t1 6.338 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.338 * [taylor]: Taking taylor expansion of v in t1 6.338 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.338 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.338 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.338 * [taylor]: Taking taylor expansion of u in t1 6.338 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.338 * [taylor]: Taking taylor expansion of t1 in t1 6.340 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 6.340 * [taylor]: Taking taylor expansion of -1 in t1 6.340 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 6.340 * [taylor]: Taking taylor expansion of t1 in t1 6.340 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 6.340 * [taylor]: Taking taylor expansion of v in t1 6.340 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 6.340 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.340 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.340 * [taylor]: Taking taylor expansion of u in t1 6.340 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.340 * [taylor]: Taking taylor expansion of t1 in t1 6.341 * [taylor]: Taking taylor expansion of (/ -1 v) in u 6.341 * [taylor]: Taking taylor expansion of -1 in u 6.341 * [taylor]: Taking taylor expansion of v in u 6.342 * [taylor]: Taking taylor expansion of 0 in v 6.344 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 6.344 * [taylor]: Taking taylor expansion of 2 in u 6.344 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 6.344 * [taylor]: Taking taylor expansion of (* v u) in u 6.344 * [taylor]: Taking taylor expansion of v in u 6.344 * [taylor]: Taking taylor expansion of u in u 6.346 * [taylor]: Taking taylor expansion of 0 in v 6.346 * [taylor]: Taking taylor expansion of 0 in v 6.349 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 6.349 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 6.349 * [taylor]: Taking taylor expansion of 3 in u 6.349 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 6.349 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 6.349 * [taylor]: Taking taylor expansion of v in u 6.349 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.349 * [taylor]: Taking taylor expansion of u in u 6.354 * [taylor]: Taking taylor expansion of 0 in v 6.356 * [taylor]: Taking taylor expansion of 0 in v 6.356 * [taylor]: Taking taylor expansion of 0 in v 6.360 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 6.360 * [taylor]: Taking taylor expansion of 4 in u 6.360 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 6.360 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 6.360 * [taylor]: Taking taylor expansion of v in u 6.360 * [taylor]: Taking taylor expansion of (pow u 3) in u 6.360 * [taylor]: Taking taylor expansion of u in u 6.369 * [taylor]: Taking taylor expansion of 0 in v 6.372 * [taylor]: Taking taylor expansion of 0 in v 6.374 * [taylor]: Taking taylor expansion of 0 in v 6.374 * [taylor]: Taking taylor expansion of 0 in v 6.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 6.374 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 6.374 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 6.374 * [taylor]: Taking taylor expansion of v in u 6.374 * [taylor]: Taking taylor expansion of (+ t1 u) in u 6.374 * [taylor]: Taking taylor expansion of t1 in u 6.374 * [taylor]: Taking taylor expansion of u in u 6.375 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 6.375 * [taylor]: Taking taylor expansion of v in t1 6.375 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.375 * [taylor]: Taking taylor expansion of t1 in t1 6.375 * [taylor]: Taking taylor expansion of u in t1 6.375 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 6.375 * [taylor]: Taking taylor expansion of v in v 6.375 * [taylor]: Taking taylor expansion of (+ t1 u) in v 6.375 * [taylor]: Taking taylor expansion of t1 in v 6.375 * [taylor]: Taking taylor expansion of u in v 6.375 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 6.375 * [taylor]: Taking taylor expansion of v in v 6.375 * [taylor]: Taking taylor expansion of (+ t1 u) in v 6.375 * [taylor]: Taking taylor expansion of t1 in v 6.375 * [taylor]: Taking taylor expansion of u in v 6.375 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 6.375 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 6.375 * [taylor]: Taking taylor expansion of t1 in t1 6.375 * [taylor]: Taking taylor expansion of u in t1 6.375 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.375 * [taylor]: Taking taylor expansion of u in u 6.376 * [taylor]: Taking taylor expansion of 0 in t1 6.376 * [taylor]: Taking taylor expansion of 0 in u 6.376 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 6.376 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 6.377 * [taylor]: Taking taylor expansion of (pow u 2) in u 6.377 * [taylor]: Taking taylor expansion of u in u 6.380 * [taylor]: Taking taylor expansion of 0 in t1 6.380 * [taylor]: Taking taylor expansion of 0 in u 6.380 * [taylor]: Taking taylor expansion of 0 in u 6.380 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 6.380 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 6.380 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 6.380 * [taylor]: Taking taylor expansion of v in u 6.380 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.380 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.380 * [taylor]: Taking taylor expansion of u in u 6.380 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.380 * [taylor]: Taking taylor expansion of t1 in u 6.381 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.381 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.381 * [taylor]: Taking taylor expansion of v in t1 6.381 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.381 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.381 * [taylor]: Taking taylor expansion of u in t1 6.381 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.381 * [taylor]: Taking taylor expansion of t1 in t1 6.381 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.381 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.381 * [taylor]: Taking taylor expansion of v in v 6.381 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.381 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.381 * [taylor]: Taking taylor expansion of u in v 6.381 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.381 * [taylor]: Taking taylor expansion of t1 in v 6.382 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.382 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.382 * [taylor]: Taking taylor expansion of v in v 6.382 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.382 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.382 * [taylor]: Taking taylor expansion of u in v 6.382 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.382 * [taylor]: Taking taylor expansion of t1 in v 6.383 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 6.383 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.383 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.383 * [taylor]: Taking taylor expansion of u in t1 6.383 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.384 * [taylor]: Taking taylor expansion of t1 in t1 6.384 * [taylor]: Taking taylor expansion of 1 in u 6.385 * [taylor]: Taking taylor expansion of 0 in t1 6.385 * [taylor]: Taking taylor expansion of 0 in u 6.386 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 6.386 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.386 * [taylor]: Taking taylor expansion of u in u 6.389 * [taylor]: Taking taylor expansion of 0 in t1 6.389 * [taylor]: Taking taylor expansion of 0 in u 6.389 * [taylor]: Taking taylor expansion of 0 in u 6.389 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 6.389 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 6.389 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 6.389 * [taylor]: Taking taylor expansion of v in u 6.389 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 6.389 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.389 * [taylor]: Taking taylor expansion of u in u 6.389 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 6.389 * [taylor]: Taking taylor expansion of t1 in u 6.390 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 6.390 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 6.390 * [taylor]: Taking taylor expansion of v in t1 6.390 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.390 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.390 * [taylor]: Taking taylor expansion of u in t1 6.390 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.390 * [taylor]: Taking taylor expansion of t1 in t1 6.390 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.390 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.390 * [taylor]: Taking taylor expansion of v in v 6.390 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.390 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.390 * [taylor]: Taking taylor expansion of u in v 6.390 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.390 * [taylor]: Taking taylor expansion of t1 in v 6.391 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 6.391 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 6.391 * [taylor]: Taking taylor expansion of v in v 6.391 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 6.391 * [taylor]: Taking taylor expansion of (/ 1 u) in v 6.391 * [taylor]: Taking taylor expansion of u in v 6.391 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 6.391 * [taylor]: Taking taylor expansion of t1 in v 6.392 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 6.392 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 6.392 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 6.392 * [taylor]: Taking taylor expansion of u in t1 6.393 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 6.393 * [taylor]: Taking taylor expansion of t1 in t1 6.393 * [taylor]: Taking taylor expansion of 1 in u 6.394 * [taylor]: Taking taylor expansion of 0 in t1 6.394 * [taylor]: Taking taylor expansion of 0 in u 6.395 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 6.395 * [taylor]: Taking taylor expansion of (/ 1 u) in u 6.395 * [taylor]: Taking taylor expansion of u in u 6.398 * [taylor]: Taking taylor expansion of 0 in t1 6.398 * [taylor]: Taking taylor expansion of 0 in u 6.398 * [taylor]: Taking taylor expansion of 0 in u 6.398 * * * [progress]: simplifying candidates 6.402 * [simplify]: Simplifying using # : (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))) (+ (log (- t1)) (- (log v) (log (+ t1 u)))) (+ (log (- t1)) (log (/ v (+ t1 u)))) (log (* (- t1) (/ v (+ t1 u)))) (exp (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (* (cbrt v) (cbrt v)) 1)) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ (sqrt v) 1)) (* (- t1) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ 1 (sqrt (+ t1 u)))) (* (- t1) (/ 1 1)) (* (- t1) (/ 1 1)) (* (- t1) 1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u))) (* (- t1) v) (expm1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log1p (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u))))) (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u))))) (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u))))) (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (exp (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u))))) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (* (* (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (+ t1 u)) (- (* (- t1) (/ v (+ t1 u)))) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1)) (/ (cbrt (+ t1 u)) (/ v (+ t1 u))) (/ (sqrt (+ t1 u)) (- t1)) (/ (sqrt (+ t1 u)) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (* (- t1) (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (- t1)) (/ (* (- t1) (/ v (+ t1 u))) (cbrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (* (- t1) v)) (* (* (- t1) (/ v (+ t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (* (- t1) (/ v (+ t1 u))) (- t1 u)) (expm1 (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (log1p (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 1) (- (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- 0 (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- 0 (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (+ (log (- t1)) (- (log v) (log (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (+ (log (- t1)) (log (/ v (+ t1 u)))))) (- (log 1) (- (log (+ t1 u)) (log (* (- t1) (/ v (+ t1 u)))))) (- (log 1) (log (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (log (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (exp (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (- t1)) (- t1)) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (- t1) (/ v (+ t1 u))) (* (- t1) (/ v (+ t1 u)))) (* (- t1) (/ v (+ t1 u)))))) (/ (* (* 1 1) 1) (* (* (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (* (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (cbrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (* (* (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (sqrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (sqrt (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (- 1) (- (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ (cbrt 1) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (cbrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ (cbrt 1) (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ t1 u)) (- t1))) (/ (cbrt 1) (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- t1))) (/ (cbrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- t1))) (/ (cbrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (+ t1 u)) (/ (cbrt 1) (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ (* (cbrt 1) (cbrt 1)) (/ (+ t1 u) (* (- t1) v))) (/ (cbrt 1) (+ t1 u)) (/ (sqrt 1) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ (sqrt 1) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (sqrt 1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ (sqrt 1) (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (sqrt 1) (/ (sqrt (+ t1 u)) (- t1))) (/ (sqrt 1) (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ (sqrt 1) (/ 1 (- t1))) (/ (sqrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (sqrt 1) (/ 1 (- t1))) (/ (sqrt 1) (/ (+ t1 u) (/ v (+ t1 u)))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (sqrt 1) (+ t1 u)) (/ (sqrt 1) (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ (sqrt 1) (/ (+ t1 u) (* (- t1) v))) (/ (sqrt 1) (+ t1 u)) (/ 1 (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ 1 (/ (sqrt (+ t1 u)) (- t1))) (/ 1 (/ (sqrt (+ t1 u)) (/ v (+ t1 u)))) (/ 1 (/ 1 (- t1))) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (/ 1 (/ 1 (- t1))) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (/ 1 1) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ 1 (+ t1 u)) (/ 1 (/ 1 (* (- t1) (/ v (+ t1 u))))) (/ 1 (/ (+ t1 u) (* (- t1) v))) (/ 1 (+ t1 u)) (/ 1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) 1) (/ 1 (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1))) (/ 1 (/ (sqrt (+ t1 u)) (- t1))) (/ 1 (/ 1 (- t1))) (/ 1 (/ 1 (- t1))) (/ 1 1) (/ 1 (+ t1 u)) (/ 1 (/ (+ t1 u) (* (- t1) v))) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (cbrt 1)) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) (sqrt 1)) (/ (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))) 1) (/ 1 (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (- (log v) (log (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ (sqrt v) 1) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) (/ 1 1) (/ v (+ t1 u)) (/ 1 1) (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) (/ v 1) (/ v 1) (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ (pow u 2) (* t1 v)) (+ (* 2 (/ u v)) (/ t1 v)))) 0 0 0 0 0 0 0 0 6.409 * * [simplify]: iteration 0 : 234 enodes (cost 2799 ) 6.478 * * [simplify]: iteration 1 : 604 enodes (cost 2527 ) 6.690 * * [simplify]: iteration 2 : 2161 enodes (cost 2212 ) 7.222 * * [simplify]: iteration done : 5000 enodes (cost 2212 ) 7.223 * [simplify]: Simplified to: (expm1 (* (- t1) (/ v (+ t1 u)))) (log1p (* (- t1) (/ v (+ t1 u)))) (* (- (/ v (+ t1 u))) t1) (log (* (- (/ v (+ t1 u))) t1)) (log (* (- (/ v (+ t1 u))) t1)) (log (* (- (/ v (+ t1 u))) t1)) (exp (* (- t1) (/ v (+ t1 u)))) (pow (* (- (/ v (+ t1 u))) t1) 3) (pow (* (- (/ v (+ t1 u))) t1) 3) (* (cbrt (* (- t1) (/ v (+ t1 u)))) (cbrt (* (- t1) (/ v (+ t1 u))))) (cbrt (* (- t1) (/ v (+ t1 u)))) (pow (* (- (/ v (+ t1 u))) t1) 3) (sqrt (* (- t1) (/ v (+ t1 u)))) (sqrt (* (- t1) (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (sqrt (/ v (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt (- t1)) (/ (sqrt v) (sqrt (+ t1 u)))) (* t1 (/ v (+ t1 u))) (* (- t1) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))) (* (- t1) (sqrt (/ v (+ t1 u)))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (* (cbrt v) (cbrt v))) (* (- t1) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))) (* (- t1) (/ (sqrt v) (sqrt (+ t1 u)))) (* (sqrt v) (- t1)) (* (sqrt v) (- t1)) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) (- t1) (* (- t1) v) (* (- t1) (/ v (+ (pow t1 3) (pow u 3)))) (* (- t1) (/ v (- (* t1 t1) (* u u)))) (* (cbrt (- t1)) (/ v (+ t1 u))) (* (sqrt (- t1)) (/ v (+ t1 u))) (* (- (/ v (+ t1 u))) t1) (* t1 (/ v (+ t1 u))) (* (cbrt t1) (/ v (+ t1 u))) (* (sqrt t1) (/ v (+ t1 u))) (* t1 (/ v (+ t1 u))) (* (- (cbrt t1)) (/ v (+ t1 u))) (* (- (sqrt t1)) (/ v (+ t1 u))) (* (- (/ v (+ t1 u))) t1) (* (- t1) v) (expm1 (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log1p (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (log (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u)))) (exp (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (* (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (pow (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) 3) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (- (+ t1 u)) (* t1 (/ v (+ t1 u))) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1)) (/ (cbrt (+ t1 u)) (/ v (+ t1 u))) (/ (sqrt (+ t1 u)) (- t1)) (/ (sqrt (+ t1 u)) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (- t1)) (/ (+ t1 u) (/ v (+ t1 u))) (/ 1 (* (- t1) (/ v (+ t1 u)))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (+ t1 u) (- t1)) (/ (* (- t1) (/ v (+ t1 u))) (cbrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (sqrt (+ t1 u))) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (/ (+ t1 u) v) (- t1)) (* (fma t1 t1 (* u (- u t1))) (- (* t1 (/ v (+ t1 u))))) (* (* (- t1) (/ v (+ t1 u))) (- t1 u)) (expm1 (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log1p (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) -1 (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (log (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u))) (exp (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u)) 3) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u)) 3) (* (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))) (cbrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (pow (/ (- (* t1 (/ v (+ t1 u)))) (+ t1 u)) 3) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) (sqrt (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u))) -1 (- (/ (+ t1 u) (* (- t1) (/ v (+ t1 u))))) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (* (- (/ v (+ t1 u))) t1) (* (- (/ v (+ t1 u))) t1) (/ 1 (+ t1 u)) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (* (- (/ v (+ t1 u))) t1) (* (- (/ v (+ t1 u))) t1) (/ 1 (+ t1 u)) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ 1 (/ (cbrt (+ t1 u)) (/ v (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (* (/ 1 (sqrt (+ t1 u))) (/ v (+ t1 u))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) (- t1) (/ 1 (/ (+ t1 u) (/ v (+ t1 u)))) 1 (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ 1 (+ t1 u)) (* (- (/ v (+ t1 u))) t1) (* (- (/ v (+ t1 u))) t1) (/ 1 (+ t1 u)) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ (/ 1 (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (cbrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ 1 (sqrt (/ (+ t1 u) (* (- t1) (/ v (+ t1 u)))))) (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (- t1) (sqrt (+ t1 u))) (- t1) (- t1) 1 (/ 1 (+ t1 u)) (* (- (/ v (+ t1 u))) t1) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ 1 (+ t1 u)) (expm1 (/ v (+ t1 u))) (log1p (/ v (+ t1 u))) (log (/ v (+ t1 u))) (log (/ v (+ t1 u))) (exp (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))) (cbrt (/ v (+ t1 u))) (pow (/ v (+ t1 u)) 3) (sqrt (/ v (+ t1 u))) (sqrt (/ v (+ t1 u))) (- v) (- (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (cbrt v) (cbrt (+ t1 u))) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))) (/ (cbrt v) (sqrt (+ t1 u))) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (* (cbrt v) (cbrt v)) (/ (cbrt v) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ (sqrt v) (cbrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))) (sqrt v) (/ (sqrt v) (+ t1 u)) (sqrt v) (/ (sqrt v) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))) (/ 1 (sqrt (+ t1 u))) (/ v (sqrt (+ t1 u))) 1 (/ v (+ t1 u)) 1 (/ v (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (sqrt (+ t1 u))) v v (/ (+ t1 u) (cbrt v)) (/ (+ t1 u) (sqrt v)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ (pow u 2) (* t1 v)) (fma 2 (/ u v) (/ t1 v)))) 0 0 0 0 0 0 0 0 7.224 * * * [progress]: adding candidates to table 7.541 * [progress]: [Phase 3 of 3] Extracting. 7.541 * * [regime]: Finding splitpoints for: (# # # # # #) 7.543 * * * [regime-changes]: Trying 3 branch expressions: (t1 v u) 7.543 * * * * [regimes]: Trying to branch on t1 from (# # # # # #) 7.568 * * * * [regimes]: Trying to branch on v from (# # # # # #) 7.589 * * * * [regimes]: Trying to branch on u from (# # # # # #) 7.611 * * * [regime]: Found split indices: #