17.114 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (* y (- z t)) a))
0.027 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.028 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.030 * * [simplify]: iteration  2 :  26  enodes  (cost  9 )
0.033 * * [simplify]: iteration  3 :  45  enodes  (cost  9 )
0.039 * * [simplify]: iteration  4 :  75  enodes  (cost  9 )
0.049 * * [simplify]: iteration  5 :  106  enodes  (cost  9 )
0.068 * * [simplify]: iteration  6 :  121  enodes  (cost  9 )
0.085 * * [simplify]: iteration  7 :  137  enodes  (cost  9 )
0.103 * * [simplify]: iteration  8 :  171  enodes  (cost  9 )
0.131 * * [simplify]: iteration  9 :  237  enodes  (cost  9 )
0.194 * * [simplify]: iteration  10 :  323  enodes  (cost  9 )
0.241 * * [simplify]: iteration  11 :  364  enodes  (cost  9 )
0.313 * * [simplify]: iteration  12 :  438  enodes  (cost  9 )
0.387 * * [simplify]: iteration  13 :  458  enodes  (cost  9 )
0.449 * * [simplify]: iteration  done :  458  enodes  (cost  9 )
0.450 * [simplify]: Simplified to:
   (+ x (/ (* y (- z t)) a))
0.450 * * [progress]: iteration 1 / 4
0.450 * * * [progress]: picking best candidate
0.452 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (/ (* y (- z t)) a)))>
0.452 * * * [progress]: localizing error
0.460 * * * [progress]: generating rewritten candidates
0.460 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.466 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.476 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.482 * * * [progress]: generating series expansions
0.482 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.483 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0
0.483 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
0.483 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
0.483 * [taylor]: Taking taylor expansion of y in a
0.483 * [taylor]: Taking taylor expansion of (- z t) in a
0.483 * [taylor]: Taking taylor expansion of z in a
0.483 * [taylor]: Taking taylor expansion of t in a
0.483 * [taylor]: Taking taylor expansion of a in a
0.483 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
0.483 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
0.483 * [taylor]: Taking taylor expansion of y in t
0.483 * [taylor]: Taking taylor expansion of (- z t) in t
0.483 * [taylor]: Taking taylor expansion of z in t
0.483 * [taylor]: Taking taylor expansion of t in t
0.483 * [taylor]: Taking taylor expansion of a in t
0.484 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
0.484 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
0.484 * [taylor]: Taking taylor expansion of y in z
0.484 * [taylor]: Taking taylor expansion of (- z t) in z
0.484 * [taylor]: Taking taylor expansion of z in z
0.484 * [taylor]: Taking taylor expansion of t in z
0.484 * [taylor]: Taking taylor expansion of a in z
0.484 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
0.484 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.484 * [taylor]: Taking taylor expansion of y in y
0.484 * [taylor]: Taking taylor expansion of (- z t) in y
0.484 * [taylor]: Taking taylor expansion of z in y
0.484 * [taylor]: Taking taylor expansion of t in y
0.484 * [taylor]: Taking taylor expansion of a in y
0.485 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
0.485 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (- z t) in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of t in y
0.485 * [taylor]: Taking taylor expansion of a in y
0.486 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
0.486 * [taylor]: Taking taylor expansion of (- z t) in z
0.486 * [taylor]: Taking taylor expansion of z in z
0.486 * [taylor]: Taking taylor expansion of t in z
0.486 * [taylor]: Taking taylor expansion of a in z
0.487 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
0.487 * [taylor]: Taking taylor expansion of -1 in t
0.487 * [taylor]: Taking taylor expansion of (/ t a) in t
0.487 * [taylor]: Taking taylor expansion of t in t
0.487 * [taylor]: Taking taylor expansion of a in t
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.488 * [taylor]: Taking taylor expansion of 0 in t
0.488 * [taylor]: Taking taylor expansion of 0 in a
0.489 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.489 * [taylor]: Taking taylor expansion of a in t
0.489 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.489 * [taylor]: Taking taylor expansion of -1 in a
0.489 * [taylor]: Taking taylor expansion of a in a
0.491 * [taylor]: Taking taylor expansion of 0 in z
0.491 * [taylor]: Taking taylor expansion of 0 in t
0.491 * [taylor]: Taking taylor expansion of 0 in a
0.491 * [taylor]: Taking taylor expansion of 0 in t
0.491 * [taylor]: Taking taylor expansion of 0 in a
0.492 * [taylor]: Taking taylor expansion of 0 in t
0.492 * [taylor]: Taking taylor expansion of 0 in a
0.492 * [taylor]: Taking taylor expansion of 0 in a
0.492 * [taylor]: Taking taylor expansion of 0 in a
0.492 * [taylor]: Taking taylor expansion of 0 in a
0.495 * [taylor]: Taking taylor expansion of 0 in z
0.495 * [taylor]: Taking taylor expansion of 0 in t
0.495 * [taylor]: Taking taylor expansion of 0 in a
0.495 * [taylor]: Taking taylor expansion of 0 in t
0.495 * [taylor]: Taking taylor expansion of 0 in a
0.495 * [taylor]: Taking taylor expansion of 0 in t
0.495 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in t
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.497 * [taylor]: Taking taylor expansion of 0 in a
0.497 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0
0.498 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
0.498 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
0.498 * [taylor]: Taking taylor expansion of a in a
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
0.498 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.498 * [taylor]: Taking taylor expansion of z in a
0.498 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.498 * [taylor]: Taking taylor expansion of t in a
0.498 * [taylor]: Taking taylor expansion of y in a
0.499 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
0.499 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
0.499 * [taylor]: Taking taylor expansion of a in t
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.499 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.499 * [taylor]: Taking taylor expansion of z in t
0.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.499 * [taylor]: Taking taylor expansion of t in t
0.499 * [taylor]: Taking taylor expansion of y in t
0.500 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
0.500 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
0.500 * [taylor]: Taking taylor expansion of a in z
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.500 * [taylor]: Taking taylor expansion of z in z
0.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.500 * [taylor]: Taking taylor expansion of t in z
0.500 * [taylor]: Taking taylor expansion of y in z
0.501 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
0.501 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
0.501 * [taylor]: Taking taylor expansion of a in y
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.501 * [taylor]: Taking taylor expansion of z in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.501 * [taylor]: Taking taylor expansion of t in y
0.501 * [taylor]: Taking taylor expansion of y in y
0.501 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
0.501 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
0.501 * [taylor]: Taking taylor expansion of a in y
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.501 * [taylor]: Taking taylor expansion of z in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.501 * [taylor]: Taking taylor expansion of t in y
0.501 * [taylor]: Taking taylor expansion of y in y
0.502 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
0.502 * [taylor]: Taking taylor expansion of a in z
0.502 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.502 * [taylor]: Taking taylor expansion of z in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.502 * [taylor]: Taking taylor expansion of t in z
0.503 * [taylor]: Taking taylor expansion of a in t
0.504 * [taylor]: Taking taylor expansion of 0 in z
0.505 * [taylor]: Taking taylor expansion of (- (/ a t)) in t
0.505 * [taylor]: Taking taylor expansion of (/ a t) in t
0.505 * [taylor]: Taking taylor expansion of a in t
0.505 * [taylor]: Taking taylor expansion of t in t
0.505 * [taylor]: Taking taylor expansion of (- a) in a
0.505 * [taylor]: Taking taylor expansion of a in a
0.506 * [taylor]: Taking taylor expansion of a in a
0.508 * [taylor]: Taking taylor expansion of 0 in z
0.508 * [taylor]: Taking taylor expansion of 0 in t
0.509 * [taylor]: Taking taylor expansion of 0 in t
0.510 * [taylor]: Taking taylor expansion of 0 in a
0.510 * [taylor]: Taking taylor expansion of 0 in a
0.518 * [taylor]: Taking taylor expansion of 0 in z
0.518 * [taylor]: Taking taylor expansion of 0 in t
0.518 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in a
0.520 * [taylor]: Taking taylor expansion of 0 in a
0.521 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0
0.521 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
0.521 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
0.521 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
0.521 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.521 * [taylor]: Taking taylor expansion of t in a
0.521 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.521 * [taylor]: Taking taylor expansion of z in a
0.521 * [taylor]: Taking taylor expansion of a in a
0.521 * [taylor]: Taking taylor expansion of y in a
0.522 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
0.522 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
0.522 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.522 * [taylor]: Taking taylor expansion of t in t
0.522 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.522 * [taylor]: Taking taylor expansion of z in t
0.523 * [taylor]: Taking taylor expansion of a in t
0.523 * [taylor]: Taking taylor expansion of y in t
0.523 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
0.523 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
0.523 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.523 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.523 * [taylor]: Taking taylor expansion of t in z
0.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.523 * [taylor]: Taking taylor expansion of z in z
0.523 * [taylor]: Taking taylor expansion of a in z
0.523 * [taylor]: Taking taylor expansion of y in z
0.524 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
0.524 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
0.524 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.524 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.524 * [taylor]: Taking taylor expansion of t in y
0.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.524 * [taylor]: Taking taylor expansion of z in y
0.524 * [taylor]: Taking taylor expansion of a in y
0.524 * [taylor]: Taking taylor expansion of y in y
0.524 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
0.524 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
0.524 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.524 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.524 * [taylor]: Taking taylor expansion of t in y
0.525 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.525 * [taylor]: Taking taylor expansion of z in y
0.525 * [taylor]: Taking taylor expansion of a in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.525 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
0.525 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.525 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.525 * [taylor]: Taking taylor expansion of t in z
0.525 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.525 * [taylor]: Taking taylor expansion of z in z
0.525 * [taylor]: Taking taylor expansion of a in z
0.526 * [taylor]: Taking taylor expansion of (* -1 a) in t
0.526 * [taylor]: Taking taylor expansion of -1 in t
0.526 * [taylor]: Taking taylor expansion of a in t
0.527 * [taylor]: Taking taylor expansion of 0 in z
0.529 * [taylor]: Taking taylor expansion of (/ a t) in t
0.529 * [taylor]: Taking taylor expansion of a in t
0.529 * [taylor]: Taking taylor expansion of t in t
0.529 * [taylor]: Taking taylor expansion of a in a
0.529 * [taylor]: Taking taylor expansion of (* -1 a) in a
0.529 * [taylor]: Taking taylor expansion of -1 in a
0.529 * [taylor]: Taking taylor expansion of a in a
0.531 * [taylor]: Taking taylor expansion of 0 in z
0.531 * [taylor]: Taking taylor expansion of 0 in t
0.533 * [taylor]: Taking taylor expansion of 0 in t
0.534 * [taylor]: Taking taylor expansion of 0 in a
0.534 * [taylor]: Taking taylor expansion of 0 in a
0.537 * [taylor]: Taking taylor expansion of 0 in z
0.538 * [taylor]: Taking taylor expansion of 0 in t
0.538 * [taylor]: Taking taylor expansion of 0 in t
0.539 * [taylor]: Taking taylor expansion of 0 in t
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.539 * [taylor]: Taking taylor expansion of 0 in a
0.540 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.540 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0
0.540 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
0.540 * [taylor]: Taking taylor expansion of y in t
0.540 * [taylor]: Taking taylor expansion of (- z t) in t
0.540 * [taylor]: Taking taylor expansion of z in t
0.540 * [taylor]: Taking taylor expansion of t in t
0.540 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
0.540 * [taylor]: Taking taylor expansion of y in z
0.540 * [taylor]: Taking taylor expansion of (- z t) in z
0.540 * [taylor]: Taking taylor expansion of z in z
0.540 * [taylor]: Taking taylor expansion of t in z
0.540 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.540 * [taylor]: Taking taylor expansion of (- z t) in y
0.540 * [taylor]: Taking taylor expansion of z in y
0.540 * [taylor]: Taking taylor expansion of t in y
0.540 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.540 * [taylor]: Taking taylor expansion of (- z t) in y
0.540 * [taylor]: Taking taylor expansion of z in y
0.540 * [taylor]: Taking taylor expansion of t in y
0.540 * [taylor]: Taking taylor expansion of 0 in z
0.540 * [taylor]: Taking taylor expansion of 0 in t
0.541 * [taylor]: Taking taylor expansion of (- z t) in z
0.541 * [taylor]: Taking taylor expansion of z in z
0.542 * [taylor]: Taking taylor expansion of t in z
0.542 * [taylor]: Taking taylor expansion of (- t) in t
0.542 * [taylor]: Taking taylor expansion of t in t
0.542 * [taylor]: Taking taylor expansion of 0 in t
0.543 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.544 * [taylor]: Taking taylor expansion of 1 in t
0.544 * [taylor]: Taking taylor expansion of 0 in t
0.545 * [taylor]: Taking taylor expansion of 0 in z
0.545 * [taylor]: Taking taylor expansion of 0 in t
0.545 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0
0.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t
0.546 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
0.546 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.546 * [taylor]: Taking taylor expansion of z in t
0.546 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.546 * [taylor]: Taking taylor expansion of t in t
0.547 * [taylor]: Taking taylor expansion of y in t
0.547 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z
0.547 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.547 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.547 * [taylor]: Taking taylor expansion of z in z
0.548 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.548 * [taylor]: Taking taylor expansion of t in z
0.548 * [taylor]: Taking taylor expansion of y in z
0.548 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
0.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.548 * [taylor]: Taking taylor expansion of z in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.548 * [taylor]: Taking taylor expansion of t in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.548 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
0.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.548 * [taylor]: Taking taylor expansion of z in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.549 * [taylor]: Taking taylor expansion of t in y
0.549 * [taylor]: Taking taylor expansion of y in y
0.549 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
0.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.549 * [taylor]: Taking taylor expansion of z in z
0.549 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.549 * [taylor]: Taking taylor expansion of t in z
0.549 * [taylor]: Taking taylor expansion of 1 in t
0.551 * [taylor]: Taking taylor expansion of 0 in z
0.551 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.551 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.551 * [taylor]: Taking taylor expansion of t in t
0.554 * [taylor]: Taking taylor expansion of 0 in z
0.554 * [taylor]: Taking taylor expansion of 0 in t
0.555 * [taylor]: Taking taylor expansion of 0 in t
0.557 * [taylor]: Taking taylor expansion of 0 in z
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.559 * [taylor]: Taking taylor expansion of 0 in t
0.560 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0
0.560 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t
0.560 * [taylor]: Taking taylor expansion of -1 in t
0.560 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t
0.560 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
0.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.560 * [taylor]: Taking taylor expansion of t in t
0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.560 * [taylor]: Taking taylor expansion of z in t
0.561 * [taylor]: Taking taylor expansion of y in t
0.561 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z
0.561 * [taylor]: Taking taylor expansion of -1 in z
0.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z
0.561 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.561 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.561 * [taylor]: Taking taylor expansion of t in z
0.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.561 * [taylor]: Taking taylor expansion of z in z
0.561 * [taylor]: Taking taylor expansion of y in z
0.562 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
0.562 * [taylor]: Taking taylor expansion of -1 in y
0.562 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
0.562 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.562 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.562 * [taylor]: Taking taylor expansion of t in y
0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.562 * [taylor]: Taking taylor expansion of z in y
0.562 * [taylor]: Taking taylor expansion of y in y
0.562 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
0.562 * [taylor]: Taking taylor expansion of -1 in y
0.562 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
0.562 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
0.562 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.562 * [taylor]: Taking taylor expansion of t in y
0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.562 * [taylor]: Taking taylor expansion of z in y
0.562 * [taylor]: Taking taylor expansion of y in y
0.563 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
0.563 * [taylor]: Taking taylor expansion of -1 in z
0.563 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
0.563 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.563 * [taylor]: Taking taylor expansion of t in z
0.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.563 * [taylor]: Taking taylor expansion of z in z
0.564 * [taylor]: Taking taylor expansion of 1 in t
0.566 * [taylor]: Taking taylor expansion of 0 in z
0.567 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.567 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.567 * [taylor]: Taking taylor expansion of t in t
0.569 * [taylor]: Taking taylor expansion of 0 in z
0.570 * [taylor]: Taking taylor expansion of 0 in t
0.571 * [taylor]: Taking taylor expansion of 0 in t
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in t
0.575 * [taylor]: Taking taylor expansion of 0 in t
0.577 * [taylor]: Taking taylor expansion of 0 in t
0.579 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.579 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (x y z t a) around 0
0.579 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a
0.579 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a
0.579 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
0.579 * [taylor]: Taking taylor expansion of (* z y) in a
0.579 * [taylor]: Taking taylor expansion of z in a
0.579 * [taylor]: Taking taylor expansion of y in a
0.579 * [taylor]: Taking taylor expansion of a in a
0.579 * [taylor]: Taking taylor expansion of x in a
0.579 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
0.579 * [taylor]: Taking taylor expansion of (* t y) in a
0.579 * [taylor]: Taking taylor expansion of t in a
0.579 * [taylor]: Taking taylor expansion of y in a
0.579 * [taylor]: Taking taylor expansion of a in a
0.579 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t
0.579 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t
0.579 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
0.579 * [taylor]: Taking taylor expansion of (* z y) in t
0.579 * [taylor]: Taking taylor expansion of z in t
0.579 * [taylor]: Taking taylor expansion of y in t
0.579 * [taylor]: Taking taylor expansion of a in t
0.579 * [taylor]: Taking taylor expansion of x in t
0.579 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
0.579 * [taylor]: Taking taylor expansion of (* t y) in t
0.579 * [taylor]: Taking taylor expansion of t in t
0.579 * [taylor]: Taking taylor expansion of y in t
0.579 * [taylor]: Taking taylor expansion of a in t
0.580 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z
0.580 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z
0.580 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
0.580 * [taylor]: Taking taylor expansion of (* z y) in z
0.580 * [taylor]: Taking taylor expansion of z in z
0.580 * [taylor]: Taking taylor expansion of y in z
0.580 * [taylor]: Taking taylor expansion of a in z
0.580 * [taylor]: Taking taylor expansion of x in z
0.580 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
0.580 * [taylor]: Taking taylor expansion of (* t y) in z
0.580 * [taylor]: Taking taylor expansion of t in z
0.580 * [taylor]: Taking taylor expansion of y in z
0.580 * [taylor]: Taking taylor expansion of a in z
0.580 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y
0.580 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y
0.581 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
0.581 * [taylor]: Taking taylor expansion of (* z y) in y
0.581 * [taylor]: Taking taylor expansion of z in y
0.581 * [taylor]: Taking taylor expansion of y in y
0.581 * [taylor]: Taking taylor expansion of a in y
0.581 * [taylor]: Taking taylor expansion of x in y
0.581 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
0.581 * [taylor]: Taking taylor expansion of (* t y) in y
0.581 * [taylor]: Taking taylor expansion of t in y
0.581 * [taylor]: Taking taylor expansion of y in y
0.581 * [taylor]: Taking taylor expansion of a in y
0.581 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
0.581 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
0.581 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
0.581 * [taylor]: Taking taylor expansion of (* z y) in x
0.581 * [taylor]: Taking taylor expansion of z in x
0.581 * [taylor]: Taking taylor expansion of y in x
0.581 * [taylor]: Taking taylor expansion of a in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
0.582 * [taylor]: Taking taylor expansion of (* t y) in x
0.582 * [taylor]: Taking taylor expansion of t in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of a in x
0.582 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
0.582 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
0.582 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
0.582 * [taylor]: Taking taylor expansion of (* z y) in x
0.582 * [taylor]: Taking taylor expansion of z in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of a in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
0.582 * [taylor]: Taking taylor expansion of (* t y) in x
0.582 * [taylor]: Taking taylor expansion of t in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of a in x
0.582 * [taylor]: Taking taylor expansion of (- (/ (* z y) a) (/ (* t y) a)) in y
0.583 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
0.583 * [taylor]: Taking taylor expansion of (* z y) in y
0.583 * [taylor]: Taking taylor expansion of z in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of a in y
0.583 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
0.583 * [taylor]: Taking taylor expansion of (* t y) in y
0.583 * [taylor]: Taking taylor expansion of t in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of a in y
0.585 * [taylor]: Taking taylor expansion of 1 in y
0.585 * [taylor]: Taking taylor expansion of 1 in z
0.585 * [taylor]: Taking taylor expansion of 1 in t
0.585 * [taylor]: Taking taylor expansion of 1 in a
0.585 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in z
0.585 * [taylor]: Taking taylor expansion of (/ z a) in z
0.585 * [taylor]: Taking taylor expansion of z in z
0.585 * [taylor]: Taking taylor expansion of a in z
0.585 * [taylor]: Taking taylor expansion of (/ t a) in z
0.585 * [taylor]: Taking taylor expansion of t in z
0.585 * [taylor]: Taking taylor expansion of a in z
0.585 * [taylor]: Taking taylor expansion of (- (/ t a)) in t
0.585 * [taylor]: Taking taylor expansion of (/ t a) in t
0.585 * [taylor]: Taking taylor expansion of t in t
0.585 * [taylor]: Taking taylor expansion of a in t
0.587 * [taylor]: Taking taylor expansion of 0 in y
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in t
0.587 * [taylor]: Taking taylor expansion of 0 in a
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in t
0.587 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in t
0.589 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [taylor]: Taking taylor expansion of 0 in t
0.589 * [taylor]: Taking taylor expansion of 0 in a
0.589 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.589 * [taylor]: Taking taylor expansion of a in t
0.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.589 * [taylor]: Taking taylor expansion of a in a
0.590 * [taylor]: Taking taylor expansion of 0 in a
0.590 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.590 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.590 * [taylor]: Taking taylor expansion of a in a
0.591 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (x y z t a) around 0
0.591 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a
0.591 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
0.591 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
0.591 * [taylor]: Taking taylor expansion of a in a
0.591 * [taylor]: Taking taylor expansion of (* z y) in a
0.591 * [taylor]: Taking taylor expansion of z in a
0.591 * [taylor]: Taking taylor expansion of y in a
0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.591 * [taylor]: Taking taylor expansion of x in a
0.591 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
0.591 * [taylor]: Taking taylor expansion of a in a
0.591 * [taylor]: Taking taylor expansion of (* y t) in a
0.591 * [taylor]: Taking taylor expansion of y in a
0.591 * [taylor]: Taking taylor expansion of t in a
0.591 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t
0.591 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
0.591 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
0.591 * [taylor]: Taking taylor expansion of a in t
0.591 * [taylor]: Taking taylor expansion of (* z y) in t
0.591 * [taylor]: Taking taylor expansion of z in t
0.591 * [taylor]: Taking taylor expansion of y in t
0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.591 * [taylor]: Taking taylor expansion of x in t
0.591 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
0.591 * [taylor]: Taking taylor expansion of a in t
0.591 * [taylor]: Taking taylor expansion of (* y t) in t
0.591 * [taylor]: Taking taylor expansion of y in t
0.591 * [taylor]: Taking taylor expansion of t in t
0.592 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z
0.592 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
0.592 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
0.592 * [taylor]: Taking taylor expansion of a in z
0.592 * [taylor]: Taking taylor expansion of (* z y) in z
0.592 * [taylor]: Taking taylor expansion of z in z
0.592 * [taylor]: Taking taylor expansion of y in z
0.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.592 * [taylor]: Taking taylor expansion of x in z
0.592 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
0.593 * [taylor]: Taking taylor expansion of a in z
0.593 * [taylor]: Taking taylor expansion of (* y t) in z
0.593 * [taylor]: Taking taylor expansion of y in z
0.593 * [taylor]: Taking taylor expansion of t in z
0.593 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y
0.593 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
0.593 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
0.593 * [taylor]: Taking taylor expansion of a in y
0.593 * [taylor]: Taking taylor expansion of (* z y) in y
0.593 * [taylor]: Taking taylor expansion of z in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.593 * [taylor]: Taking taylor expansion of x in y
0.593 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
0.593 * [taylor]: Taking taylor expansion of a in y
0.593 * [taylor]: Taking taylor expansion of (* y t) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of t in y
0.594 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
0.594 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
0.594 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
0.594 * [taylor]: Taking taylor expansion of a in x
0.594 * [taylor]: Taking taylor expansion of (* z y) in x
0.594 * [taylor]: Taking taylor expansion of z in x
0.594 * [taylor]: Taking taylor expansion of y in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
0.594 * [taylor]: Taking taylor expansion of a in x
0.594 * [taylor]: Taking taylor expansion of (* y t) in x
0.594 * [taylor]: Taking taylor expansion of y in x
0.594 * [taylor]: Taking taylor expansion of t in x
0.594 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
0.594 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
0.594 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
0.594 * [taylor]: Taking taylor expansion of a in x
0.594 * [taylor]: Taking taylor expansion of (* z y) in x
0.594 * [taylor]: Taking taylor expansion of z in x
0.594 * [taylor]: Taking taylor expansion of y in x
0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
0.595 * [taylor]: Taking taylor expansion of a in x
0.595 * [taylor]: Taking taylor expansion of (* y t) in x
0.595 * [taylor]: Taking taylor expansion of y in x
0.595 * [taylor]: Taking taylor expansion of t in x
0.596 * [taylor]: Taking taylor expansion of 1 in y
0.596 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
0.596 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
0.596 * [taylor]: Taking taylor expansion of a in y
0.596 * [taylor]: Taking taylor expansion of (* z y) in y
0.596 * [taylor]: Taking taylor expansion of z in y
0.596 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
0.597 * [taylor]: Taking taylor expansion of a in y
0.597 * [taylor]: Taking taylor expansion of (* y t) in y
0.597 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of t in y
0.597 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z
0.597 * [taylor]: Taking taylor expansion of (/ a z) in z
0.597 * [taylor]: Taking taylor expansion of a in z
0.597 * [taylor]: Taking taylor expansion of z in z
0.597 * [taylor]: Taking taylor expansion of (/ a t) in z
0.597 * [taylor]: Taking taylor expansion of a in z
0.597 * [taylor]: Taking taylor expansion of t in z
0.598 * [taylor]: Taking taylor expansion of a in t
0.598 * [taylor]: Taking taylor expansion of 1 in z
0.599 * [taylor]: Taking taylor expansion of 0 in y
0.601 * [taylor]: Taking taylor expansion of 0 in z
0.601 * [taylor]: Taking taylor expansion of 0 in z
0.602 * [taylor]: Taking taylor expansion of (- (/ a t)) in t
0.602 * [taylor]: Taking taylor expansion of (/ a t) in t
0.602 * [taylor]: Taking taylor expansion of a in t
0.602 * [taylor]: Taking taylor expansion of t in t
0.602 * [taylor]: Taking taylor expansion of (- a) in a
0.602 * [taylor]: Taking taylor expansion of a in a
0.602 * [taylor]: Taking taylor expansion of 1 in t
0.602 * [taylor]: Taking taylor expansion of a in a
0.604 * [taylor]: Taking taylor expansion of 0 in y
0.605 * [taylor]: Taking taylor expansion of 0 in z
0.607 * [taylor]: Taking taylor expansion of 0 in z
0.607 * [taylor]: Taking taylor expansion of 0 in z
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.607 * [taylor]: Taking taylor expansion of 0 in t
0.608 * [taylor]: Taking taylor expansion of 0 in t
0.608 * [taylor]: Taking taylor expansion of 0 in t
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.609 * [taylor]: Taking taylor expansion of 1 in a
0.609 * [taylor]: Taking taylor expansion of 0 in a
0.610 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (x y z t a) around 0
0.610 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a
0.610 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
0.610 * [taylor]: Taking taylor expansion of a in a
0.610 * [taylor]: Taking taylor expansion of (* y t) in a
0.610 * [taylor]: Taking taylor expansion of y in a
0.611 * [taylor]: Taking taylor expansion of t in a
0.611 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
0.611 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.611 * [taylor]: Taking taylor expansion of (* z y) in a
0.611 * [taylor]: Taking taylor expansion of z in a
0.611 * [taylor]: Taking taylor expansion of y in a
0.611 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.611 * [taylor]: Taking taylor expansion of x in a
0.611 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t
0.611 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
0.611 * [taylor]: Taking taylor expansion of a in t
0.611 * [taylor]: Taking taylor expansion of (* y t) in t
0.611 * [taylor]: Taking taylor expansion of y in t
0.611 * [taylor]: Taking taylor expansion of t in t
0.611 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
0.611 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
0.611 * [taylor]: Taking taylor expansion of a in t
0.611 * [taylor]: Taking taylor expansion of (* z y) in t
0.611 * [taylor]: Taking taylor expansion of z in t
0.611 * [taylor]: Taking taylor expansion of y in t
0.611 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.611 * [taylor]: Taking taylor expansion of x in t
0.612 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z
0.612 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
0.612 * [taylor]: Taking taylor expansion of a in z
0.612 * [taylor]: Taking taylor expansion of (* y t) in z
0.612 * [taylor]: Taking taylor expansion of y in z
0.612 * [taylor]: Taking taylor expansion of t in z
0.612 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
0.612 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
0.612 * [taylor]: Taking taylor expansion of a in z
0.612 * [taylor]: Taking taylor expansion of (* z y) in z
0.612 * [taylor]: Taking taylor expansion of z in z
0.612 * [taylor]: Taking taylor expansion of y in z
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.612 * [taylor]: Taking taylor expansion of x in z
0.612 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y
0.612 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
0.612 * [taylor]: Taking taylor expansion of a in y
0.612 * [taylor]: Taking taylor expansion of (* y t) in y
0.612 * [taylor]: Taking taylor expansion of y in y
0.612 * [taylor]: Taking taylor expansion of t in y
0.613 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
0.613 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
0.613 * [taylor]: Taking taylor expansion of a in y
0.613 * [taylor]: Taking taylor expansion of (* z y) in y
0.613 * [taylor]: Taking taylor expansion of z in y
0.613 * [taylor]: Taking taylor expansion of y in y
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.613 * [taylor]: Taking taylor expansion of x in y
0.613 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
0.613 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of (* y t) in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of t in x
0.613 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
0.613 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of (* z y) in x
0.613 * [taylor]: Taking taylor expansion of z in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
0.614 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
0.614 * [taylor]: Taking taylor expansion of a in x
0.614 * [taylor]: Taking taylor expansion of (* y t) in x
0.614 * [taylor]: Taking taylor expansion of y in x
0.614 * [taylor]: Taking taylor expansion of t in x
0.614 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
0.614 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
0.614 * [taylor]: Taking taylor expansion of a in x
0.614 * [taylor]: Taking taylor expansion of (* z y) in x
0.614 * [taylor]: Taking taylor expansion of z in x
0.614 * [taylor]: Taking taylor expansion of y in x
0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of -1 in y
0.621 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
0.621 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
0.621 * [taylor]: Taking taylor expansion of a in y
0.621 * [taylor]: Taking taylor expansion of (* y t) in y
0.621 * [taylor]: Taking taylor expansion of y in y
0.621 * [taylor]: Taking taylor expansion of t in y
0.622 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
0.622 * [taylor]: Taking taylor expansion of a in y
0.622 * [taylor]: Taking taylor expansion of (* z y) in y
0.622 * [taylor]: Taking taylor expansion of z in y
0.622 * [taylor]: Taking taylor expansion of y in y
0.622 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z
0.622 * [taylor]: Taking taylor expansion of (/ a t) in z
0.622 * [taylor]: Taking taylor expansion of a in z
0.622 * [taylor]: Taking taylor expansion of t in z
0.622 * [taylor]: Taking taylor expansion of (/ a z) in z
0.623 * [taylor]: Taking taylor expansion of a in z
0.623 * [taylor]: Taking taylor expansion of z in z
0.623 * [taylor]: Taking taylor expansion of (- a) in t
0.623 * [taylor]: Taking taylor expansion of a in t
0.623 * [taylor]: Taking taylor expansion of -1 in z
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.626 * [taylor]: Taking taylor expansion of 0 in z
0.626 * [taylor]: Taking taylor expansion of 0 in z
0.627 * [taylor]: Taking taylor expansion of (/ a t) in t
0.627 * [taylor]: Taking taylor expansion of a in t
0.627 * [taylor]: Taking taylor expansion of t in t
0.627 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of -1 in t
0.627 * [taylor]: Taking taylor expansion of (- a) in a
0.627 * [taylor]: Taking taylor expansion of a in a
0.630 * [taylor]: Taking taylor expansion of 0 in y
0.630 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in z
0.632 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of 0 in t
0.634 * [taylor]: Taking taylor expansion of 0 in t
0.634 * [taylor]: Taking taylor expansion of 0 in t
0.635 * [taylor]: Taking taylor expansion of 0 in a
0.635 * [taylor]: Taking taylor expansion of -1 in a
0.635 * [taylor]: Taking taylor expansion of 0 in a
0.636 * * * [progress]: simplifying candidates
0.637 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log y) (log (- z t))) (log a))
  (- (log (* y (- z t))) (log a))
  (log (/ (* y (- z t)) a))
  (exp (/ (* y (- z t)) a))
  (/ (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (* a a) a))
  (/ (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (* (* a a) a))
  (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a)))
  (cbrt (/ (* y (- z t)) a))
  (* (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (/ (* y (- z t)) a))
  (sqrt (/ (* y (- z t)) a))
  (sqrt (/ (* y (- z t)) a))
  (- (* y (- z t)))
  (- a)
  (/ y (* (cbrt a) (cbrt a)))
  (/ (- z t) (cbrt a))
  (/ y (sqrt a))
  (/ (- z t) (sqrt a))
  (/ y 1)
  (/ (- z t) a)
  (/ 1 a)
  (/ a (* y (- z t)))
  (/ (* y (- z t)) (* (cbrt a) (cbrt a)))
  (/ (* y (- z t)) (sqrt a))
  (/ (* y (- z t)) 1)
  (/ a (- z t))
  (* a (+ (* z z) (+ (* t t) (* z t))))
  (* a (+ z t))
  (* y (- z t))
  (+ (log y) (log (- z t)))
  (log (* y (- z t)))
  (exp (* y (- z t)))
  (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* y (- z t))) (cbrt (* y (- z t))))
  (cbrt (* y (- z t)))
  (* (* (* y (- z t)) (* y (- z t))) (* y (- z t)))
  (sqrt (* y (- z t)))
  (sqrt (* y (- z t)))
  (* (sqrt y) (sqrt (- z t)))
  (* (sqrt y) (sqrt (- z t)))
  (* y z)
  (* y (- t))
  (* y z)
  (* y (- t))
  (* z y)
  (* (- t) y)
  (* z y)
  (* (- t) y)
  (* y (* (cbrt (- z t)) (cbrt (- z t))))
  (* y (sqrt (- z t)))
  (* y 1)
  (* y (+ (sqrt z) (sqrt t)))
  (* y 1)
  (* (cbrt y) (- z t))
  (* (sqrt y) (- z t))
  (* y (- z t))
  (* y (- (pow z 3) (pow t 3)))
  (* y (- (* z z) (* t t)))
  (* (exp x) (exp (/ (* y (- z t)) a)))
  (log (+ x (/ (* y (- z t)) a)))
  (exp (+ x (/ (* y (- z t)) a)))
  (* (cbrt (+ x (/ (* y (- z t)) a))) (cbrt (+ x (/ (* y (- z t)) a))))
  (cbrt (+ x (/ (* y (- z t)) a)))
  (* (* (+ x (/ (* y (- z t)) a)) (+ x (/ (* y (- z t)) a))) (+ x (/ (* y (- z t)) a)))
  (sqrt (+ x (/ (* y (- z t)) a)))
  (sqrt (+ x (/ (* y (- z t)) a)))
  (+ (pow x 3) (pow (/ (* y (- z t)) a) 3))
  (+ (* x x) (- (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (* x (/ (* y (- z t)) a))))
  (- (* x x) (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)))
  (- x (/ (* y (- z t)) a))
  (+ x (/ (* y (- z t)) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (* z y) (* t y))
  (- (* z y) (* t y))
  (- (* z y) (* t y))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
0.640 * * [simplify]: iteration  0 :  116  enodes  (cost  722 )
0.665 * * [simplify]: iteration  1 :  297  enodes  (cost  679 )
0.728 * * [simplify]: iteration  2 :  868  enodes  (cost  589 )
1.422 * * [simplify]: iteration  3 :  3970  enodes  (cost  589 )
2.488 * * [simplify]: iteration  done :  5001  enodes  (cost  588 )
2.489 * [simplify]: Simplified to:
   (log (/ (* y (- z t)) a))
  (log (/ (* y (- z t)) a))
  (log (/ (* y (- z t)) a))
  (exp (/ (* y (- z t)) a))
  (pow (/ (* y (- z t)) a) 3)
  (pow (/ (* y (- z t)) a) 3)
  (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a)))
  (cbrt (/ (* y (- z t)) a))
  (pow (/ (* y (- z t)) a) 3)
  (sqrt (/ (* y (- z t)) a))
  (sqrt (/ (* y (- z t)) a))
  (* y (- t z))
  (- a)
  (/ y (* (cbrt a) (cbrt a)))
  (/ (- z t) (cbrt a))
  (/ y (sqrt a))
  (/ (- z t) (sqrt a))
  y
  (/ (- z t) a)
  (/ 1 a)
  (/ a (* y (- z t)))
  (/ (* y (- z t)) (* (cbrt a) (cbrt a)))
  (/ (* y (- z t)) (sqrt a))
  (* (- z t) y)
  (/ a (- z t))
  (* a (+ (* z z) (* t (+ z t))))
  (* a (+ z t))
  (* (- z t) y)
  (log (* y (- z t)))
  (log (* y (- z t)))
  (exp (* y (- z t)))
  (pow (* (- z t) y) 3)
  (* (cbrt (* y (- z t))) (cbrt (* y (- z t))))
  (cbrt (* y (- z t)))
  (pow (* (- z t) y) 3)
  (sqrt (* y (- z t)))
  (sqrt (* y (- z t)))
  (* (sqrt y) (sqrt (- z t)))
  (* (sqrt y) (sqrt (- z t)))
  (* z y)
  (* (- t) y)
  (* z y)
  (* (- t) y)
  (* z y)
  (* (- t) y)
  (* z y)
  (* (- t) y)
  (* y (* (cbrt (- z t)) (cbrt (- z t))))
  (* y (sqrt (- z t)))
  y
  (* y (+ (sqrt z) (sqrt t)))
  y
  (* (cbrt y) (- z t))
  (* (sqrt y) (- z t))
  (* (- z t) y)
  (* y (- (pow z 3) (pow t 3)))
  (* y (- (* z z) (* t t)))
  (exp (+ x (/ (* y (- z t)) a)))
  (log (+ x (/ (* y (- z t)) a)))
  (exp (+ x (/ (* y (- z t)) a)))
  (* (cbrt (+ x (/ (* y (- z t)) a))) (cbrt (+ x (/ (* y (- z t)) a))))
  (cbrt (+ x (/ (* y (- z t)) a)))
  (pow (+ x (/ (* y (- z t)) a)) 3)
  (sqrt (+ x (/ (* y (- z t)) a)))
  (sqrt (+ x (/ (* y (- z t)) a)))
  (+ (pow x 3) (pow (/ (* y (- z t)) a) 3))
  (+ (* (/ (* y (- z t)) a) (- (/ (* y (- z t)) a) x)) (* x x))
  (- (* x x) (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)))
  (- x (/ (* y (- z t)) a))
  (+ (/ (* y (- z t)) a) x)
  (/ y (/ a (- z t)))
  (/ y (/ a (- z t)))
  (/ y (/ a (- z t)))
  (* (- z t) y)
  (* (- z t) y)
  (* (- z t) y)
  (+ (/ (* y (- z t)) a) x)
  (+ (/ (* y (- z t)) a) x)
  (+ (/ (* y (- z t)) a) x)
2.489 * * * [progress]: adding candidates to table
2.658 * * [progress]: iteration 2 / 4
2.658 * * * [progress]: picking best candidate
2.672 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))>
2.672 * * * [progress]: localizing error
2.684 * * * [progress]: generating rewritten candidates
2.684 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.694 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
2.699 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.737 * * * [progress]: generating series expansions
2.737 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.738 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y a z t) around 0
2.738 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
2.738 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
2.738 * [taylor]: Taking taylor expansion of y in t
2.738 * [taylor]: Taking taylor expansion of (- z t) in t
2.738 * [taylor]: Taking taylor expansion of z in t
2.738 * [taylor]: Taking taylor expansion of t in t
2.738 * [taylor]: Taking taylor expansion of a in t
2.739 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
2.739 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
2.739 * [taylor]: Taking taylor expansion of y in z
2.739 * [taylor]: Taking taylor expansion of (- z t) in z
2.739 * [taylor]: Taking taylor expansion of z in z
2.739 * [taylor]: Taking taylor expansion of t in z
2.739 * [taylor]: Taking taylor expansion of a in z
2.739 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
2.739 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
2.739 * [taylor]: Taking taylor expansion of y in a
2.739 * [taylor]: Taking taylor expansion of (- z t) in a
2.739 * [taylor]: Taking taylor expansion of z in a
2.739 * [taylor]: Taking taylor expansion of t in a
2.739 * [taylor]: Taking taylor expansion of a in a
2.739 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
2.739 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
2.739 * [taylor]: Taking taylor expansion of y in y
2.739 * [taylor]: Taking taylor expansion of (- z t) in y
2.739 * [taylor]: Taking taylor expansion of z in y
2.739 * [taylor]: Taking taylor expansion of t in y
2.739 * [taylor]: Taking taylor expansion of a in y
2.740 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
2.740 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
2.740 * [taylor]: Taking taylor expansion of y in y
2.740 * [taylor]: Taking taylor expansion of (- z t) in y
2.740 * [taylor]: Taking taylor expansion of z in y
2.740 * [taylor]: Taking taylor expansion of t in y
2.740 * [taylor]: Taking taylor expansion of a in y
2.741 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a
2.742 * [taylor]: Taking taylor expansion of (- z t) in a
2.742 * [taylor]: Taking taylor expansion of z in a
2.742 * [taylor]: Taking taylor expansion of t in a
2.742 * [taylor]: Taking taylor expansion of a in a
2.742 * [taylor]: Taking taylor expansion of (- z t) in z
2.742 * [taylor]: Taking taylor expansion of z in z
2.742 * [taylor]: Taking taylor expansion of t in z
2.742 * [taylor]: Taking taylor expansion of (- t) in t
2.742 * [taylor]: Taking taylor expansion of t in t
2.743 * [taylor]: Taking taylor expansion of 0 in a
2.745 * [taylor]: Taking taylor expansion of 0 in z
2.745 * [taylor]: Taking taylor expansion of 0 in t
2.745 * [taylor]: Taking taylor expansion of 1 in t
2.747 * [taylor]: Taking taylor expansion of 0 in a
2.747 * [taylor]: Taking taylor expansion of 0 in z
2.747 * [taylor]: Taking taylor expansion of 0 in t
2.749 * [taylor]: Taking taylor expansion of 0 in z
2.749 * [taylor]: Taking taylor expansion of 0 in t
2.749 * [taylor]: Taking taylor expansion of 0 in t
2.749 * [taylor]: Taking taylor expansion of 0 in t
2.750 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a z t) around 0
2.750 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
2.750 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
2.750 * [taylor]: Taking taylor expansion of a in t
2.750 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.750 * [taylor]: Taking taylor expansion of z in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.750 * [taylor]: Taking taylor expansion of t in t
2.750 * [taylor]: Taking taylor expansion of y in t
2.751 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
2.751 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.751 * [taylor]: Taking taylor expansion of a in z
2.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.751 * [taylor]: Taking taylor expansion of z in z
2.751 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.751 * [taylor]: Taking taylor expansion of t in z
2.751 * [taylor]: Taking taylor expansion of y in z
2.752 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
2.752 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.752 * [taylor]: Taking taylor expansion of a in a
2.752 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.752 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.752 * [taylor]: Taking taylor expansion of z in a
2.752 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.752 * [taylor]: Taking taylor expansion of t in a
2.752 * [taylor]: Taking taylor expansion of y in a
2.753 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
2.753 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
2.753 * [taylor]: Taking taylor expansion of a in y
2.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
2.753 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.753 * [taylor]: Taking taylor expansion of z in y
2.753 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.753 * [taylor]: Taking taylor expansion of t in y
2.753 * [taylor]: Taking taylor expansion of y in y
2.754 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
2.754 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
2.754 * [taylor]: Taking taylor expansion of a in y
2.754 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
2.754 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.754 * [taylor]: Taking taylor expansion of z in y
2.754 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.754 * [taylor]: Taking taylor expansion of t in y
2.754 * [taylor]: Taking taylor expansion of y in y
2.754 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.754 * [taylor]: Taking taylor expansion of a in a
2.754 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.754 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.754 * [taylor]: Taking taylor expansion of z in a
2.754 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.754 * [taylor]: Taking taylor expansion of t in a
2.760 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.760 * [taylor]: Taking taylor expansion of z in z
2.761 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.761 * [taylor]: Taking taylor expansion of t in z
2.761 * [taylor]: Taking taylor expansion of 1 in t
2.763 * [taylor]: Taking taylor expansion of 0 in a
2.763 * [taylor]: Taking taylor expansion of 0 in z
2.764 * [taylor]: Taking taylor expansion of 0 in z
2.765 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
2.765 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.765 * [taylor]: Taking taylor expansion of t in t
2.767 * [taylor]: Taking taylor expansion of 0 in a
2.768 * [taylor]: Taking taylor expansion of 0 in z
2.768 * [taylor]: Taking taylor expansion of 0 in z
2.769 * [taylor]: Taking taylor expansion of 0 in z
2.769 * [taylor]: Taking taylor expansion of 0 in t
2.769 * [taylor]: Taking taylor expansion of 0 in t
2.771 * [taylor]: Taking taylor expansion of 0 in t
2.774 * [taylor]: Taking taylor expansion of 0 in a
2.774 * [taylor]: Taking taylor expansion of 0 in z
2.774 * [taylor]: Taking taylor expansion of 0 in z
2.774 * [taylor]: Taking taylor expansion of 0 in z
2.776 * [taylor]: Taking taylor expansion of 0 in z
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.778 * [taylor]: Taking taylor expansion of 0 in t
2.779 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y a z t) around 0
2.779 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
2.779 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
2.779 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
2.779 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.779 * [taylor]: Taking taylor expansion of t in t
2.780 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.780 * [taylor]: Taking taylor expansion of z in t
2.780 * [taylor]: Taking taylor expansion of a in t
2.780 * [taylor]: Taking taylor expansion of y in t
2.780 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
2.780 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.780 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.780 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.780 * [taylor]: Taking taylor expansion of t in z
2.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.780 * [taylor]: Taking taylor expansion of z in z
2.780 * [taylor]: Taking taylor expansion of a in z
2.780 * [taylor]: Taking taylor expansion of y in z
2.781 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
2.781 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.781 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.781 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.781 * [taylor]: Taking taylor expansion of t in a
2.781 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.781 * [taylor]: Taking taylor expansion of z in a
2.781 * [taylor]: Taking taylor expansion of a in a
2.781 * [taylor]: Taking taylor expansion of y in a
2.782 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
2.782 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
2.782 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
2.782 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.782 * [taylor]: Taking taylor expansion of t in y
2.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.783 * [taylor]: Taking taylor expansion of z in y
2.783 * [taylor]: Taking taylor expansion of a in y
2.783 * [taylor]: Taking taylor expansion of y in y
2.783 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
2.783 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
2.783 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
2.783 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.783 * [taylor]: Taking taylor expansion of t in y
2.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.783 * [taylor]: Taking taylor expansion of z in y
2.783 * [taylor]: Taking taylor expansion of a in y
2.783 * [taylor]: Taking taylor expansion of y in y
2.783 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.783 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.783 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.783 * [taylor]: Taking taylor expansion of t in a
2.783 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.783 * [taylor]: Taking taylor expansion of z in a
2.783 * [taylor]: Taking taylor expansion of a in a
2.785 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.785 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.785 * [taylor]: Taking taylor expansion of t in z
2.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.785 * [taylor]: Taking taylor expansion of z in z
2.786 * [taylor]: Taking taylor expansion of -1 in t
2.787 * [taylor]: Taking taylor expansion of 0 in a
2.787 * [taylor]: Taking taylor expansion of 0 in z
2.788 * [taylor]: Taking taylor expansion of 0 in z
2.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.789 * [taylor]: Taking taylor expansion of t in t
2.791 * [taylor]: Taking taylor expansion of 0 in a
2.791 * [taylor]: Taking taylor expansion of 0 in z
2.792 * [taylor]: Taking taylor expansion of 0 in z
2.793 * [taylor]: Taking taylor expansion of 0 in z
2.793 * [taylor]: Taking taylor expansion of 0 in t
2.793 * [taylor]: Taking taylor expansion of 0 in t
2.794 * [taylor]: Taking taylor expansion of 0 in t
2.797 * [taylor]: Taking taylor expansion of 0 in a
2.797 * [taylor]: Taking taylor expansion of 0 in z
2.797 * [taylor]: Taking taylor expansion of 0 in z
2.797 * [taylor]: Taking taylor expansion of 0 in z
2.799 * [taylor]: Taking taylor expansion of 0 in z
2.799 * [taylor]: Taking taylor expansion of 0 in t
2.799 * [taylor]: Taking taylor expansion of 0 in t
2.799 * [taylor]: Taking taylor expansion of 0 in t
2.799 * [taylor]: Taking taylor expansion of 0 in t
2.799 * [taylor]: Taking taylor expansion of 0 in t
2.800 * [taylor]: Taking taylor expansion of 0 in t
2.801 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
2.801 * [approximate]: Taking taylor expansion of (/ a (- z t)) in (a z t) around 0
2.801 * [taylor]: Taking taylor expansion of (/ a (- z t)) in t
2.801 * [taylor]: Taking taylor expansion of a in t
2.801 * [taylor]: Taking taylor expansion of (- z t) in t
2.801 * [taylor]: Taking taylor expansion of z in t
2.801 * [taylor]: Taking taylor expansion of t in t
2.802 * [taylor]: Taking taylor expansion of (/ a (- z t)) in z
2.802 * [taylor]: Taking taylor expansion of a in z
2.802 * [taylor]: Taking taylor expansion of (- z t) in z
2.802 * [taylor]: Taking taylor expansion of z in z
2.802 * [taylor]: Taking taylor expansion of t in z
2.802 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a
2.802 * [taylor]: Taking taylor expansion of a in a
2.802 * [taylor]: Taking taylor expansion of (- z t) in a
2.802 * [taylor]: Taking taylor expansion of z in a
2.802 * [taylor]: Taking taylor expansion of t in a
2.802 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a
2.802 * [taylor]: Taking taylor expansion of a in a
2.802 * [taylor]: Taking taylor expansion of (- z t) in a
2.802 * [taylor]: Taking taylor expansion of z in a
2.802 * [taylor]: Taking taylor expansion of t in a
2.802 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z
2.802 * [taylor]: Taking taylor expansion of (- z t) in z
2.802 * [taylor]: Taking taylor expansion of z in z
2.802 * [taylor]: Taking taylor expansion of t in z
2.802 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.802 * [taylor]: Taking taylor expansion of -1 in t
2.802 * [taylor]: Taking taylor expansion of t in t
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.804 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t
2.805 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.805 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.805 * [taylor]: Taking taylor expansion of t in t
2.809 * [taylor]: Taking taylor expansion of 0 in z
2.809 * [taylor]: Taking taylor expansion of 0 in t
2.809 * [taylor]: Taking taylor expansion of 0 in t
2.809 * [approximate]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in (a z t) around 0
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in t
2.809 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
2.809 * [taylor]: Taking taylor expansion of a in t
2.809 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.809 * [taylor]: Taking taylor expansion of z in t
2.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.809 * [taylor]: Taking taylor expansion of t in t
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in z
2.810 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.810 * [taylor]: Taking taylor expansion of a in z
2.810 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.810 * [taylor]: Taking taylor expansion of z in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.810 * [taylor]: Taking taylor expansion of t in z
2.811 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a
2.811 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.811 * [taylor]: Taking taylor expansion of a in a
2.811 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.811 * [taylor]: Taking taylor expansion of z in a
2.811 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.811 * [taylor]: Taking taylor expansion of t in a
2.812 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a
2.812 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.812 * [taylor]: Taking taylor expansion of a in a
2.812 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.812 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.812 * [taylor]: Taking taylor expansion of z in a
2.812 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.812 * [taylor]: Taking taylor expansion of t in a
2.814 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z
2.814 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.814 * [taylor]: Taking taylor expansion of z in z
2.814 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.814 * [taylor]: Taking taylor expansion of t in z
2.815 * [taylor]: Taking taylor expansion of 1 in t
2.816 * [taylor]: Taking taylor expansion of 0 in z
2.816 * [taylor]: Taking taylor expansion of 0 in t
2.817 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.817 * [taylor]: Taking taylor expansion of t in t
2.820 * [taylor]: Taking taylor expansion of 0 in z
2.820 * [taylor]: Taking taylor expansion of 0 in t
2.820 * [taylor]: Taking taylor expansion of 0 in t
2.821 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in (a z t) around 0
2.821 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in t
2.821 * [taylor]: Taking taylor expansion of -1 in t
2.821 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
2.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.821 * [taylor]: Taking taylor expansion of t in t
2.821 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.821 * [taylor]: Taking taylor expansion of z in t
2.821 * [taylor]: Taking taylor expansion of a in t
2.822 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in z
2.822 * [taylor]: Taking taylor expansion of -1 in z
2.822 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.822 * [taylor]: Taking taylor expansion of t in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.822 * [taylor]: Taking taylor expansion of z in z
2.822 * [taylor]: Taking taylor expansion of a in z
2.823 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a
2.823 * [taylor]: Taking taylor expansion of -1 in a
2.823 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.823 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.823 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.823 * [taylor]: Taking taylor expansion of t in a
2.823 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.823 * [taylor]: Taking taylor expansion of z in a
2.823 * [taylor]: Taking taylor expansion of a in a
2.824 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a
2.824 * [taylor]: Taking taylor expansion of -1 in a
2.824 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.824 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.824 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.824 * [taylor]: Taking taylor expansion of t in a
2.824 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.824 * [taylor]: Taking taylor expansion of z in a
2.824 * [taylor]: Taking taylor expansion of a in a
2.825 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z
2.825 * [taylor]: Taking taylor expansion of -1 in z
2.825 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.825 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.825 * [taylor]: Taking taylor expansion of t in z
2.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.826 * [taylor]: Taking taylor expansion of z in z
2.827 * [taylor]: Taking taylor expansion of 1 in t
2.828 * [taylor]: Taking taylor expansion of 0 in z
2.828 * [taylor]: Taking taylor expansion of 0 in t
2.829 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.829 * [taylor]: Taking taylor expansion of t in t
2.832 * [taylor]: Taking taylor expansion of 0 in z
2.832 * [taylor]: Taking taylor expansion of 0 in t
2.832 * [taylor]: Taking taylor expansion of 0 in t
2.832 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.832 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (x y a z t) around 0
2.832 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t
2.832 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t
2.832 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
2.832 * [taylor]: Taking taylor expansion of (* z y) in t
2.832 * [taylor]: Taking taylor expansion of z in t
2.832 * [taylor]: Taking taylor expansion of y in t
2.832 * [taylor]: Taking taylor expansion of a in t
2.833 * [taylor]: Taking taylor expansion of x in t
2.833 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
2.833 * [taylor]: Taking taylor expansion of (* t y) in t
2.833 * [taylor]: Taking taylor expansion of t in t
2.833 * [taylor]: Taking taylor expansion of y in t
2.833 * [taylor]: Taking taylor expansion of a in t
2.833 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z
2.833 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z
2.833 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
2.833 * [taylor]: Taking taylor expansion of (* z y) in z
2.833 * [taylor]: Taking taylor expansion of z in z
2.833 * [taylor]: Taking taylor expansion of y in z
2.833 * [taylor]: Taking taylor expansion of a in z
2.833 * [taylor]: Taking taylor expansion of x in z
2.834 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
2.834 * [taylor]: Taking taylor expansion of (* t y) in z
2.834 * [taylor]: Taking taylor expansion of t in z
2.834 * [taylor]: Taking taylor expansion of y in z
2.834 * [taylor]: Taking taylor expansion of a in z
2.834 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a
2.834 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a
2.834 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
2.834 * [taylor]: Taking taylor expansion of (* z y) in a
2.834 * [taylor]: Taking taylor expansion of z in a
2.834 * [taylor]: Taking taylor expansion of y in a
2.834 * [taylor]: Taking taylor expansion of a in a
2.834 * [taylor]: Taking taylor expansion of x in a
2.834 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
2.834 * [taylor]: Taking taylor expansion of (* t y) in a
2.834 * [taylor]: Taking taylor expansion of t in a
2.834 * [taylor]: Taking taylor expansion of y in a
2.834 * [taylor]: Taking taylor expansion of a in a
2.834 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y
2.834 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y
2.834 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
2.834 * [taylor]: Taking taylor expansion of (* z y) in y
2.834 * [taylor]: Taking taylor expansion of z in y
2.834 * [taylor]: Taking taylor expansion of y in y
2.834 * [taylor]: Taking taylor expansion of a in y
2.834 * [taylor]: Taking taylor expansion of x in y
2.834 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
2.834 * [taylor]: Taking taylor expansion of (* t y) in y
2.835 * [taylor]: Taking taylor expansion of t in y
2.835 * [taylor]: Taking taylor expansion of y in y
2.835 * [taylor]: Taking taylor expansion of a in y
2.835 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
2.835 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
2.835 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
2.835 * [taylor]: Taking taylor expansion of (* z y) in x
2.835 * [taylor]: Taking taylor expansion of z in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.835 * [taylor]: Taking taylor expansion of a in x
2.835 * [taylor]: Taking taylor expansion of x in x
2.835 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
2.835 * [taylor]: Taking taylor expansion of (* t y) in x
2.835 * [taylor]: Taking taylor expansion of t in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.835 * [taylor]: Taking taylor expansion of a in x
2.835 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
2.835 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
2.835 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
2.835 * [taylor]: Taking taylor expansion of (* z y) in x
2.835 * [taylor]: Taking taylor expansion of z in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.835 * [taylor]: Taking taylor expansion of a in x
2.835 * [taylor]: Taking taylor expansion of x in x
2.835 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
2.835 * [taylor]: Taking taylor expansion of (* t y) in x
2.835 * [taylor]: Taking taylor expansion of t in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.835 * [taylor]: Taking taylor expansion of a in x
2.836 * [taylor]: Taking taylor expansion of (- (/ (* z y) a) (/ (* t y) a)) in y
2.836 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
2.836 * [taylor]: Taking taylor expansion of (* z y) in y
2.836 * [taylor]: Taking taylor expansion of z in y
2.836 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of a in y
2.836 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
2.836 * [taylor]: Taking taylor expansion of (* t y) in y
2.836 * [taylor]: Taking taylor expansion of t in y
2.836 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of a in y
2.838 * [taylor]: Taking taylor expansion of 1 in y
2.838 * [taylor]: Taking taylor expansion of 1 in a
2.838 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a
2.838 * [taylor]: Taking taylor expansion of (/ z a) in a
2.838 * [taylor]: Taking taylor expansion of z in a
2.838 * [taylor]: Taking taylor expansion of a in a
2.838 * [taylor]: Taking taylor expansion of (/ t a) in a
2.838 * [taylor]: Taking taylor expansion of t in a
2.838 * [taylor]: Taking taylor expansion of a in a
2.838 * [taylor]: Taking taylor expansion of (- z t) in z
2.839 * [taylor]: Taking taylor expansion of z in z
2.839 * [taylor]: Taking taylor expansion of t in z
2.839 * [taylor]: Taking taylor expansion of (- t) in t
2.839 * [taylor]: Taking taylor expansion of t in t
2.840 * [taylor]: Taking taylor expansion of 0 in y
2.841 * [taylor]: Taking taylor expansion of 0 in a
2.841 * [taylor]: Taking taylor expansion of 0 in a
2.842 * [taylor]: Taking taylor expansion of 0 in a
2.842 * [taylor]: Taking taylor expansion of 1 in z
2.842 * [taylor]: Taking taylor expansion of 1 in t
2.844 * [taylor]: Taking taylor expansion of 0 in z
2.844 * [taylor]: Taking taylor expansion of 0 in t
2.845 * [taylor]: Taking taylor expansion of 1 in t
2.845 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (x y a z t) around 0
2.845 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t
2.845 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
2.845 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
2.845 * [taylor]: Taking taylor expansion of a in t
2.846 * [taylor]: Taking taylor expansion of (* z y) in t
2.846 * [taylor]: Taking taylor expansion of z in t
2.846 * [taylor]: Taking taylor expansion of y in t
2.846 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.846 * [taylor]: Taking taylor expansion of x in t
2.846 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.846 * [taylor]: Taking taylor expansion of a in t
2.846 * [taylor]: Taking taylor expansion of (* y t) in t
2.846 * [taylor]: Taking taylor expansion of y in t
2.846 * [taylor]: Taking taylor expansion of t in t
2.846 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z
2.846 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
2.846 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
2.846 * [taylor]: Taking taylor expansion of a in z
2.846 * [taylor]: Taking taylor expansion of (* z y) in z
2.846 * [taylor]: Taking taylor expansion of z in z
2.846 * [taylor]: Taking taylor expansion of y in z
2.847 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.847 * [taylor]: Taking taylor expansion of x in z
2.847 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
2.847 * [taylor]: Taking taylor expansion of a in z
2.847 * [taylor]: Taking taylor expansion of (* y t) in z
2.847 * [taylor]: Taking taylor expansion of y in z
2.847 * [taylor]: Taking taylor expansion of t in z
2.847 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a
2.847 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
2.847 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
2.847 * [taylor]: Taking taylor expansion of a in a
2.847 * [taylor]: Taking taylor expansion of (* z y) in a
2.847 * [taylor]: Taking taylor expansion of z in a
2.847 * [taylor]: Taking taylor expansion of y in a
2.847 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.847 * [taylor]: Taking taylor expansion of x in a
2.847 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
2.847 * [taylor]: Taking taylor expansion of a in a
2.847 * [taylor]: Taking taylor expansion of (* y t) in a
2.847 * [taylor]: Taking taylor expansion of y in a
2.847 * [taylor]: Taking taylor expansion of t in a
2.847 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y
2.847 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
2.847 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
2.847 * [taylor]: Taking taylor expansion of a in y
2.847 * [taylor]: Taking taylor expansion of (* z y) in y
2.847 * [taylor]: Taking taylor expansion of z in y
2.847 * [taylor]: Taking taylor expansion of y in y
2.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.848 * [taylor]: Taking taylor expansion of x in y
2.848 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
2.848 * [taylor]: Taking taylor expansion of a in y
2.848 * [taylor]: Taking taylor expansion of (* y t) in y
2.848 * [taylor]: Taking taylor expansion of y in y
2.848 * [taylor]: Taking taylor expansion of t in y
2.848 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
2.848 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
2.848 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
2.848 * [taylor]: Taking taylor expansion of a in x
2.848 * [taylor]: Taking taylor expansion of (* z y) in x
2.848 * [taylor]: Taking taylor expansion of z in x
2.848 * [taylor]: Taking taylor expansion of y in x
2.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.848 * [taylor]: Taking taylor expansion of x in x
2.849 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
2.849 * [taylor]: Taking taylor expansion of a in x
2.849 * [taylor]: Taking taylor expansion of (* y t) in x
2.849 * [taylor]: Taking taylor expansion of y in x
2.849 * [taylor]: Taking taylor expansion of t in x
2.849 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
2.849 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
2.849 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
2.849 * [taylor]: Taking taylor expansion of a in x
2.849 * [taylor]: Taking taylor expansion of (* z y) in x
2.849 * [taylor]: Taking taylor expansion of z in x
2.849 * [taylor]: Taking taylor expansion of y in x
2.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.849 * [taylor]: Taking taylor expansion of x in x
2.849 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
2.849 * [taylor]: Taking taylor expansion of a in x
2.849 * [taylor]: Taking taylor expansion of (* y t) in x
2.849 * [taylor]: Taking taylor expansion of y in x
2.849 * [taylor]: Taking taylor expansion of t in x
2.850 * [taylor]: Taking taylor expansion of 1 in y
2.851 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
2.851 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
2.851 * [taylor]: Taking taylor expansion of a in y
2.851 * [taylor]: Taking taylor expansion of (* z y) in y
2.851 * [taylor]: Taking taylor expansion of z in y
2.851 * [taylor]: Taking taylor expansion of y in y
2.851 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
2.851 * [taylor]: Taking taylor expansion of a in y
2.851 * [taylor]: Taking taylor expansion of (* y t) in y
2.851 * [taylor]: Taking taylor expansion of y in y
2.851 * [taylor]: Taking taylor expansion of t in y
2.852 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a
2.852 * [taylor]: Taking taylor expansion of (/ a z) in a
2.852 * [taylor]: Taking taylor expansion of a in a
2.852 * [taylor]: Taking taylor expansion of z in a
2.852 * [taylor]: Taking taylor expansion of (/ a t) in a
2.852 * [taylor]: Taking taylor expansion of a in a
2.852 * [taylor]: Taking taylor expansion of t in a
2.852 * [taylor]: Taking taylor expansion of 1 in a
2.852 * [taylor]: Taking taylor expansion of 1 in z
2.854 * [taylor]: Taking taylor expansion of 0 in y
2.861 * [taylor]: Taking taylor expansion of 0 in a
2.861 * [taylor]: Taking taylor expansion of 0 in z
2.861 * [taylor]: Taking taylor expansion of 0 in a
2.861 * [taylor]: Taking taylor expansion of 0 in z
2.861 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.861 * [taylor]: Taking taylor expansion of z in z
2.862 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.862 * [taylor]: Taking taylor expansion of t in z
2.862 * [taylor]: Taking taylor expansion of 1 in t
2.862 * [taylor]: Taking taylor expansion of 0 in z
2.862 * [taylor]: Taking taylor expansion of 1 in t
2.865 * [taylor]: Taking taylor expansion of 0 in y
2.865 * [taylor]: Taking taylor expansion of 0 in a
2.865 * [taylor]: Taking taylor expansion of 0 in z
2.867 * [taylor]: Taking taylor expansion of 0 in a
2.867 * [taylor]: Taking taylor expansion of 0 in z
2.867 * [taylor]: Taking taylor expansion of 0 in a
2.867 * [taylor]: Taking taylor expansion of 0 in z
2.867 * [taylor]: Taking taylor expansion of 0 in z
2.867 * [taylor]: Taking taylor expansion of 0 in z
2.868 * [taylor]: Taking taylor expansion of 0 in z
2.868 * [taylor]: Taking taylor expansion of 0 in z
2.868 * [taylor]: Taking taylor expansion of 0 in t
2.868 * [taylor]: Taking taylor expansion of 0 in t
2.869 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
2.869 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.869 * [taylor]: Taking taylor expansion of t in t
2.869 * [taylor]: Taking taylor expansion of 0 in t
2.869 * [taylor]: Taking taylor expansion of 0 in t
2.870 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (x y a z t) around 0
2.870 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t
2.870 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.870 * [taylor]: Taking taylor expansion of a in t
2.870 * [taylor]: Taking taylor expansion of (* y t) in t
2.870 * [taylor]: Taking taylor expansion of y in t
2.870 * [taylor]: Taking taylor expansion of t in t
2.871 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
2.871 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
2.871 * [taylor]: Taking taylor expansion of a in t
2.871 * [taylor]: Taking taylor expansion of (* z y) in t
2.871 * [taylor]: Taking taylor expansion of z in t
2.871 * [taylor]: Taking taylor expansion of y in t
2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.871 * [taylor]: Taking taylor expansion of x in t
2.871 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z
2.871 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
2.871 * [taylor]: Taking taylor expansion of a in z
2.871 * [taylor]: Taking taylor expansion of (* y t) in z
2.871 * [taylor]: Taking taylor expansion of y in z
2.871 * [taylor]: Taking taylor expansion of t in z
2.871 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
2.871 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
2.871 * [taylor]: Taking taylor expansion of a in z
2.871 * [taylor]: Taking taylor expansion of (* z y) in z
2.871 * [taylor]: Taking taylor expansion of z in z
2.871 * [taylor]: Taking taylor expansion of y in z
2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.872 * [taylor]: Taking taylor expansion of x in z
2.872 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a
2.872 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
2.872 * [taylor]: Taking taylor expansion of a in a
2.872 * [taylor]: Taking taylor expansion of (* y t) in a
2.872 * [taylor]: Taking taylor expansion of y in a
2.872 * [taylor]: Taking taylor expansion of t in a
2.872 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
2.872 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
2.872 * [taylor]: Taking taylor expansion of a in a
2.872 * [taylor]: Taking taylor expansion of (* z y) in a
2.872 * [taylor]: Taking taylor expansion of z in a
2.872 * [taylor]: Taking taylor expansion of y in a
2.872 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.872 * [taylor]: Taking taylor expansion of x in a
2.872 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y
2.872 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
2.872 * [taylor]: Taking taylor expansion of a in y
2.872 * [taylor]: Taking taylor expansion of (* y t) in y
2.872 * [taylor]: Taking taylor expansion of y in y
2.872 * [taylor]: Taking taylor expansion of t in y
2.872 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
2.872 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
2.872 * [taylor]: Taking taylor expansion of a in y
2.872 * [taylor]: Taking taylor expansion of (* z y) in y
2.872 * [taylor]: Taking taylor expansion of z in y
2.872 * [taylor]: Taking taylor expansion of y in y
2.873 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.873 * [taylor]: Taking taylor expansion of x in y
2.873 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
2.873 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
2.873 * [taylor]: Taking taylor expansion of a in x
2.873 * [taylor]: Taking taylor expansion of (* y t) in x
2.873 * [taylor]: Taking taylor expansion of y in x
2.873 * [taylor]: Taking taylor expansion of t in x
2.873 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
2.873 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
2.873 * [taylor]: Taking taylor expansion of a in x
2.873 * [taylor]: Taking taylor expansion of (* z y) in x
2.873 * [taylor]: Taking taylor expansion of z in x
2.873 * [taylor]: Taking taylor expansion of y in x
2.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.873 * [taylor]: Taking taylor expansion of x in x
2.874 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
2.874 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
2.874 * [taylor]: Taking taylor expansion of a in x
2.874 * [taylor]: Taking taylor expansion of (* y t) in x
2.874 * [taylor]: Taking taylor expansion of y in x
2.874 * [taylor]: Taking taylor expansion of t in x
2.874 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
2.874 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
2.874 * [taylor]: Taking taylor expansion of a in x
2.874 * [taylor]: Taking taylor expansion of (* z y) in x
2.874 * [taylor]: Taking taylor expansion of z in x
2.874 * [taylor]: Taking taylor expansion of y in x
2.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.874 * [taylor]: Taking taylor expansion of x in x
2.875 * [taylor]: Taking taylor expansion of -1 in y
2.876 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
2.876 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
2.876 * [taylor]: Taking taylor expansion of a in y
2.876 * [taylor]: Taking taylor expansion of (* y t) in y
2.876 * [taylor]: Taking taylor expansion of y in y
2.876 * [taylor]: Taking taylor expansion of t in y
2.876 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
2.876 * [taylor]: Taking taylor expansion of a in y
2.876 * [taylor]: Taking taylor expansion of (* z y) in y
2.876 * [taylor]: Taking taylor expansion of z in y
2.876 * [taylor]: Taking taylor expansion of y in y
2.877 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a
2.877 * [taylor]: Taking taylor expansion of (/ a t) in a
2.877 * [taylor]: Taking taylor expansion of a in a
2.877 * [taylor]: Taking taylor expansion of t in a
2.877 * [taylor]: Taking taylor expansion of (/ a z) in a
2.877 * [taylor]: Taking taylor expansion of a in a
2.877 * [taylor]: Taking taylor expansion of z in a
2.877 * [taylor]: Taking taylor expansion of -1 in a
2.877 * [taylor]: Taking taylor expansion of -1 in z
2.879 * [taylor]: Taking taylor expansion of 0 in y
2.880 * [taylor]: Taking taylor expansion of 0 in a
2.880 * [taylor]: Taking taylor expansion of 0 in z
2.881 * [taylor]: Taking taylor expansion of 0 in a
2.881 * [taylor]: Taking taylor expansion of 0 in z
2.881 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.881 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.881 * [taylor]: Taking taylor expansion of t in z
2.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.881 * [taylor]: Taking taylor expansion of z in z
2.882 * [taylor]: Taking taylor expansion of -1 in t
2.882 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of -1 in t
2.884 * [taylor]: Taking taylor expansion of 0 in y
2.884 * [taylor]: Taking taylor expansion of 0 in a
2.884 * [taylor]: Taking taylor expansion of 0 in z
2.886 * [taylor]: Taking taylor expansion of 0 in a
2.886 * [taylor]: Taking taylor expansion of 0 in z
2.886 * [taylor]: Taking taylor expansion of 0 in a
2.886 * [taylor]: Taking taylor expansion of 0 in z
2.886 * [taylor]: Taking taylor expansion of 0 in z
2.886 * [taylor]: Taking taylor expansion of 0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in t
2.887 * [taylor]: Taking taylor expansion of 0 in t
2.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.888 * [taylor]: Taking taylor expansion of t in t
2.888 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * * * [progress]: simplifying candidates
2.892 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log y) (- (log a) (log (- z t))))
  (- (log y) (log (/ a (- z t))))
  (log (/ y (/ a (- z t))))
  (exp (/ y (/ a (- z t))))
  (/ (* (* y y) y) (/ (* (* a a) a) (* (* (- z t) (- z t)) (- z t))))
  (/ (* (* y y) y) (* (* (/ a (- z t)) (/ a (- z t))) (/ a (- z t))))
  (* (cbrt (/ y (/ a (- z t)))) (cbrt (/ y (/ a (- z t)))))
  (cbrt (/ y (/ a (- z t))))
  (* (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))) (/ y (/ a (- z t))))
  (sqrt (/ y (/ a (- z t))))
  (sqrt (/ y (/ a (- z t))))
  (- y)
  (- (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ (cbrt y) (cbrt (/ a (- z t))))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ a (- z t))))
  (/ (cbrt y) (sqrt (/ a (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (cbrt y) (/ (cbrt a) (cbrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ (cbrt y) (/ (cbrt a) (sqrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (cbrt y) (/ (cbrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ (cbrt y) (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (cbrt y) (/ (cbrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (cbrt y) (/ (sqrt a) (cbrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (sqrt (- z t))))
  (/ (cbrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) 1))
  (/ (cbrt y) (/ (sqrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ (cbrt y) (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) 1))
  (/ (cbrt y) (/ (sqrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (cbrt y) (/ a (cbrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt (- z t))))
  (/ (cbrt y) (/ a (sqrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ 1 (+ (sqrt z) (sqrt t))))
  (/ (cbrt y) (/ a (- (sqrt z) (sqrt t))))
  (/ (* (cbrt y) (cbrt y)) (/ 1 1))
  (/ (cbrt y) (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) a)
  (/ (cbrt y) (/ 1 (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ a (- (pow z 3) (pow t 3))))
  (/ (cbrt y) (+ (* z z) (+ (* t t) (* z t))))
  (/ (* (cbrt y) (cbrt y)) (/ a (- (* z z) (* t t))))
  (/ (cbrt y) (+ z t))
  (/ (sqrt y) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ (sqrt y) (cbrt (/ a (- z t))))
  (/ (sqrt y) (sqrt (/ a (- z t))))
  (/ (sqrt y) (sqrt (/ a (- z t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (sqrt y) (/ (cbrt a) (cbrt (- z t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ (sqrt y) (/ (cbrt a) (sqrt (- z t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (sqrt y) (/ (cbrt a) (- z t)))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (sqrt y) (/ (cbrt a) (- z t)))
  (/ (sqrt y) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (sqrt y) (/ (sqrt a) (cbrt (- z t))))
  (/ (sqrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (sqrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (sqrt y) (/ (sqrt a) 1))
  (/ (sqrt y) (/ (sqrt a) (- z t)))
  (/ (sqrt y) (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (sqrt a) 1))
  (/ (sqrt y) (/ (sqrt a) (- z t)))
  (/ (sqrt y) (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (sqrt y) (/ a (cbrt (- z t))))
  (/ (sqrt y) (/ 1 (sqrt (- z t))))
  (/ (sqrt y) (/ a (sqrt (- z t))))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ a (- z t)))
  (/ (sqrt y) (/ 1 (+ (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ a (- (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ 1 1))
  (/ (sqrt y) (/ a (- z t)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (/ a (- z t)))
  (/ (sqrt y) a)
  (/ (sqrt y) (/ 1 (- z t)))
  (/ (sqrt y) (/ a (- (pow z 3) (pow t 3))))
  (/ (sqrt y) (+ (* z z) (+ (* t t) (* z t))))
  (/ (sqrt y) (/ a (- (* z z) (* t t))))
  (/ (sqrt y) (+ z t))
  (/ 1 (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ y (cbrt (/ a (- z t))))
  (/ 1 (sqrt (/ a (- z t))))
  (/ y (sqrt (/ a (- z t))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (cbrt a) (cbrt (- z t))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ y (/ (cbrt a) (sqrt (- z t))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ y (/ (cbrt a) (- z t)))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ y (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ y (/ (cbrt a) (- z t)))
  (/ 1 (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (sqrt a) (cbrt (- z t))))
  (/ 1 (/ (sqrt a) (sqrt (- z t))))
  (/ y (/ (sqrt a) (sqrt (- z t))))
  (/ 1 (/ (sqrt a) 1))
  (/ y (/ (sqrt a) (- z t)))
  (/ 1 (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ y (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ 1 (/ (sqrt a) 1))
  (/ y (/ (sqrt a) (- z t)))
  (/ 1 (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ a (cbrt (- z t))))
  (/ 1 (/ 1 (sqrt (- z t))))
  (/ y (/ a (sqrt (- z t))))
  (/ 1 (/ 1 1))
  (/ y (/ a (- z t)))
  (/ 1 (/ 1 (+ (sqrt z) (sqrt t))))
  (/ y (/ a (- (sqrt z) (sqrt t))))
  (/ 1 (/ 1 1))
  (/ y (/ a (- z t)))
  (/ 1 1)
  (/ y (/ a (- z t)))
  (/ 1 a)
  (/ y (/ 1 (- z t)))
  (/ 1 (/ a (- (pow z 3) (pow t 3))))
  (/ y (+ (* z z) (+ (* t t) (* z t))))
  (/ 1 (/ a (- (* z z) (* t t))))
  (/ y (+ z t))
  (/ 1 (/ a (- z t)))
  (/ (/ a (- z t)) y)
  (/ y (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ y (sqrt (/ a (- z t))))
  (/ y (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ y (/ (* (cbrt a) (cbrt a)) 1))
  (/ y (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ y (/ (* (cbrt a) (cbrt a)) 1))
  (/ y (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (sqrt a) (sqrt (- z t))))
  (/ y (/ (sqrt a) 1))
  (/ y (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ y (/ (sqrt a) 1))
  (/ y (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ 1 (sqrt (- z t))))
  (/ y (/ 1 1))
  (/ y (/ 1 (+ (sqrt z) (sqrt t))))
  (/ y (/ 1 1))
  (/ y 1)
  (/ y a)
  (/ y (/ a (- (pow z 3) (pow t 3))))
  (/ y (/ a (- (* z z) (* t t))))
  (/ (/ a (- z t)) (cbrt y))
  (/ (/ a (- z t)) (sqrt y))
  (/ (/ a (- z t)) y)
  (/ y a)
  (- (log a) (log (- z t)))
  (log (/ a (- z t)))
  (exp (/ a (- z t)))
  (/ (* (* a a) a) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))
  (cbrt (/ a (- z t)))
  (* (* (/ a (- z t)) (/ a (- z t))) (/ a (- z t)))
  (sqrt (/ a (- z t)))
  (sqrt (/ a (- z t)))
  (- a)
  (- (- z t))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (cbrt a) (cbrt (- z t)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))
  (/ (cbrt a) (sqrt (- z t)))
  (/ (* (cbrt a) (cbrt a)) 1)
  (/ (cbrt a) (- z t))
  (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))
  (/ (cbrt a) (- (sqrt z) (sqrt t)))
  (/ (* (cbrt a) (cbrt a)) 1)
  (/ (cbrt a) (- z t))
  (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (sqrt a) (cbrt (- z t)))
  (/ (sqrt a) (sqrt (- z t)))
  (/ (sqrt a) (sqrt (- z t)))
  (/ (sqrt a) 1)
  (/ (sqrt a) (- z t))
  (/ (sqrt a) (+ (sqrt z) (sqrt t)))
  (/ (sqrt a) (- (sqrt z) (sqrt t)))
  (/ (sqrt a) 1)
  (/ (sqrt a) (- z t))
  (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))
  (/ a (cbrt (- z t)))
  (/ 1 (sqrt (- z t)))
  (/ a (sqrt (- z t)))
  (/ 1 1)
  (/ a (- z t))
  (/ 1 (+ (sqrt z) (sqrt t)))
  (/ a (- (sqrt z) (sqrt t)))
  (/ 1 1)
  (/ a (- z t))
  (/ 1 (- z t))
  (/ (- z t) a)
  (/ a (* (cbrt (- z t)) (cbrt (- z t))))
  (/ a (sqrt (- z t)))
  (/ a 1)
  (/ a (+ (sqrt z) (sqrt t)))
  (/ a 1)
  (/ (- z t) (cbrt a))
  (/ (- z t) (sqrt a))
  (/ (- z t) a)
  (/ a (- (pow z 3) (pow t 3)))
  (/ a (- (* z z) (* t t)))
  (* (exp x) (exp (/ y (/ a (- z t)))))
  (log (+ x (/ y (/ a (- z t)))))
  (exp (+ x (/ y (/ a (- z t)))))
  (* (cbrt (+ x (/ y (/ a (- z t))))) (cbrt (+ x (/ y (/ a (- z t))))))
  (cbrt (+ x (/ y (/ a (- z t)))))
  (* (* (+ x (/ y (/ a (- z t)))) (+ x (/ y (/ a (- z t))))) (+ x (/ y (/ a (- z t)))))
  (sqrt (+ x (/ y (/ a (- z t)))))
  (sqrt (+ x (/ y (/ a (- z t)))))
  (+ (pow x 3) (pow (/ y (/ a (- z t))) 3))
  (+ (* x x) (- (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))) (* x (/ y (/ a (- z t))))))
  (- (* x x) (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))))
  (- x (/ y (/ a (- z t))))
  (+ x (/ y (/ a (- z t))))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  0
  0
  0
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
2.899 * * [simplify]: iteration  0 :  245  enodes  (cost  2291 )
2.967 * * [simplify]: iteration  1 :  548  enodes  (cost  2136 )
3.104 * * [simplify]: iteration  2 :  1803  enodes  (cost  2056 )
3.948 * * [simplify]: iteration  done :  5000  enodes  (cost  2056 )
3.949 * [simplify]: Simplified to:
   (log (/ y (/ a (- z t))))
  (log (/ y (/ a (- z t))))
  (log (/ y (/ a (- z t))))
  (exp (/ y (/ a (- z t))))
  (pow (/ y (/ a (- z t))) 3)
  (pow (/ y (/ a (- z t))) 3)
  (* (cbrt (/ y (/ a (- z t)))) (cbrt (/ y (/ a (- z t)))))
  (cbrt (/ y (/ a (- z t))))
  (pow (/ y (/ a (- z t))) 3)
  (sqrt (/ y (/ a (- z t))))
  (sqrt (/ y (/ a (- z t))))
  (- y)
  (- (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ (cbrt y) (cbrt (/ a (- z t))))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ a (- z t))))
  (/ (cbrt y) (sqrt (/ a (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (cbrt y) (/ (cbrt a) (cbrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ (cbrt y) (/ (cbrt a) (sqrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a)))
  (/ (cbrt y) (/ (cbrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ (cbrt y) (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a)))
  (/ (cbrt y) (/ (cbrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (cbrt y) (/ (sqrt a) (cbrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (sqrt (- z t))))
  (/ (cbrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (* (cbrt y) (cbrt y)) (sqrt a))
  (/ (cbrt y) (/ (sqrt a) (- z t)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ (cbrt y) (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ (* (cbrt y) (cbrt y)) (sqrt a))
  (/ (cbrt y) (/ (sqrt a) (- z t)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (cbrt y) (/ a (cbrt (- z t))))
  (* (* (cbrt y) (cbrt y)) (sqrt (- z t)))
  (/ (cbrt y) (/ a (sqrt (- z t))))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ a (- z t)))
  (* (* (cbrt y) (cbrt y)) (+ (sqrt z) (sqrt t)))
  (/ (cbrt y) (/ a (- (sqrt z) (sqrt t))))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ a (- z t)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (/ a (- z t)))
  (/ (* (cbrt y) (cbrt y)) a)
  (* (cbrt y) (- z t))
  (/ (* (cbrt y) (cbrt y)) (/ a (- (pow z 3) (pow t 3))))
  (/ (cbrt y) (+ (* z z) (* t (+ z t))))
  (/ (* (cbrt y) (cbrt y)) (/ a (- (* z z) (* t t))))
  (/ (cbrt y) (+ z t))
  (/ (sqrt y) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ (sqrt y) (cbrt (/ a (- z t))))
  (/ (sqrt y) (sqrt (/ a (- z t))))
  (/ (sqrt y) (sqrt (/ a (- z t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (sqrt y) (/ (cbrt a) (cbrt (- z t))))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ (sqrt y) (/ (cbrt a) (sqrt (- z t))))
  (/ (sqrt y) (* (cbrt a) (cbrt a)))
  (/ (sqrt y) (/ (cbrt a) (- z t)))
  (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ (sqrt y) (* (cbrt a) (cbrt a)))
  (/ (sqrt y) (/ (cbrt a) (- z t)))
  (/ (sqrt y) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ (sqrt y) (/ (sqrt a) (cbrt (- z t))))
  (/ (sqrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (sqrt y) (/ (sqrt a) (sqrt (- z t))))
  (/ (sqrt y) (sqrt a))
  (/ (sqrt y) (/ (sqrt a) (- z t)))
  (/ (sqrt y) (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ (sqrt y) (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ (sqrt y) (sqrt a))
  (/ (sqrt y) (/ (sqrt a) (- z t)))
  (* (sqrt y) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (sqrt y) (/ a (cbrt (- z t))))
  (* (sqrt y) (sqrt (- z t)))
  (/ (sqrt y) (/ a (sqrt (- z t))))
  (sqrt y)
  (/ (sqrt y) (/ a (- z t)))
  (* (sqrt y) (+ (sqrt z) (sqrt t)))
  (/ (sqrt y) (/ a (- (sqrt z) (sqrt t))))
  (sqrt y)
  (/ (sqrt y) (/ a (- z t)))
  (sqrt y)
  (/ (sqrt y) (/ a (- z t)))
  (/ (sqrt y) a)
  (* (sqrt y) (- z t))
  (/ (sqrt y) (/ a (- (pow z 3) (pow t 3))))
  (/ (sqrt y) (+ (* z z) (* t (+ z t))))
  (/ (sqrt y) (/ a (- (* z z) (* t t))))
  (/ (sqrt y) (+ z t))
  (/ 1 (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ y (cbrt (/ a (- z t))))
  (/ 1 (sqrt (/ a (- z t))))
  (/ y (sqrt (/ a (- z t))))
  (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a)))
  (/ y (/ (cbrt a) (cbrt (- z t))))
  (/ (sqrt (- z t)) (* (cbrt a) (cbrt a)))
  (/ y (/ (cbrt a) (sqrt (- z t))))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ y (/ (cbrt a) (- z t)))
  (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a)))
  (/ y (/ (cbrt a) (- (sqrt z) (sqrt t))))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ y (/ (cbrt a) (- z t)))
  (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a))
  (/ y (/ (sqrt a) (cbrt (- z t))))
  (/ (sqrt (- z t)) (sqrt a))
  (/ y (/ (sqrt a) (sqrt (- z t))))
  (/ 1 (sqrt a))
  (/ y (/ (sqrt a) (- z t)))
  (/ (+ (sqrt z) (sqrt t)) (sqrt a))
  (/ y (/ (sqrt a) (- (sqrt z) (sqrt t))))
  (/ 1 (sqrt a))
  (/ y (/ (sqrt a) (- z t)))
  (* (cbrt (- z t)) (cbrt (- z t)))
  (/ y (/ a (cbrt (- z t))))
  (sqrt (- z t))
  (/ y (/ a (sqrt (- z t))))
  1
  (/ y (/ a (- z t)))
  (+ (sqrt z) (sqrt t))
  (/ y (/ a (- (sqrt z) (sqrt t))))
  1
  (/ y (/ a (- z t)))
  1
  (/ y (/ a (- z t)))
  (/ 1 a)
  (* y (- z t))
  (/ 1 (/ a (- (pow z 3) (pow t 3))))
  (/ y (+ (* z z) (* t (+ z t))))
  (/ 1 (/ a (- (* z z) (* t t))))
  (/ y (+ z t))
  (/ 1 (/ a (- z t)))
  (/ (/ a (- z t)) y)
  (/ y (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))))
  (/ y (sqrt (/ a (- z t))))
  (/ y (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))))
  (/ y (* (cbrt a) (cbrt a)))
  (/ y (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))))
  (/ y (* (cbrt a) (cbrt a)))
  (/ y (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))))
  (/ y (/ (sqrt a) (sqrt (- z t))))
  (/ y (sqrt a))
  (/ y (/ (sqrt a) (+ (sqrt z) (sqrt t))))
  (/ y (sqrt a))
  (* y (* (cbrt (- z t)) (cbrt (- z t))))
  (* y (sqrt (- z t)))
  y
  (* y (+ (sqrt z) (sqrt t)))
  y
  y
  (/ y a)
  (/ y (/ a (- (pow z 3) (pow t 3))))
  (/ y (/ a (- (* z z) (* t t))))
  (/ (/ a (- z t)) (cbrt y))
  (/ (/ a (- z t)) (sqrt y))
  (/ (/ a (- z t)) y)
  (/ y a)
  (log (/ a (- z t)))
  (log (/ a (- z t)))
  (exp (/ a (- z t)))
  (pow (/ a (- z t)) 3)
  (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))
  (cbrt (/ a (- z t)))
  (pow (/ a (- z t)) 3)
  (sqrt (/ a (- z t)))
  (sqrt (/ a (- z t)))
  (- a)
  (- (- z t))
  (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (cbrt a) (cbrt (- z t)))
  (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))
  (/ (cbrt a) (sqrt (- z t)))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- z t))
  (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))
  (/ (cbrt a) (- (sqrt z) (sqrt t)))
  (* (cbrt a) (cbrt a))
  (/ (cbrt a) (- z t))
  (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))
  (/ (sqrt a) (cbrt (- z t)))
  (/ (sqrt a) (sqrt (- z t)))
  (/ (sqrt a) (sqrt (- z t)))
  (sqrt a)
  (/ (sqrt a) (- z t))
  (/ (sqrt a) (+ (sqrt z) (sqrt t)))
  (/ (sqrt a) (- (sqrt z) (sqrt t)))
  (sqrt a)
  (/ (sqrt a) (- z t))
  (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))
  (/ a (cbrt (- z t)))
  (/ 1 (sqrt (- z t)))
  (/ a (sqrt (- z t)))
  1
  (/ a (- z t))
  (/ 1 (+ (sqrt z) (sqrt t)))
  (/ a (- (sqrt z) (sqrt t)))
  1
  (/ a (- z t))
  (/ 1 (- z t))
  (/ (- z t) a)
  (/ a (* (cbrt (- z t)) (cbrt (- z t))))
  (/ a (sqrt (- z t)))
  a
  (/ a (+ (sqrt z) (sqrt t)))
  a
  (/ (- z t) (cbrt a))
  (/ (- z t) (sqrt a))
  (/ (- z t) a)
  (/ a (- (pow z 3) (pow t 3)))
  (/ a (- (* z z) (* t t)))
  (exp (+ x (/ y (/ a (- z t)))))
  (log (+ x (/ y (/ a (- z t)))))
  (exp (+ x (/ y (/ a (- z t)))))
  (* (cbrt (+ x (/ y (/ a (- z t))))) (cbrt (+ x (/ y (/ a (- z t))))))
  (cbrt (+ x (/ y (/ a (- z t)))))
  (pow (+ x (/ y (/ a (- z t)))) 3)
  (sqrt (+ x (/ y (/ a (- z t)))))
  (sqrt (+ x (/ y (/ a (- z t)))))
  (+ (pow x 3) (pow (/ y (/ a (- z t))) 3))
  (+ (* x x) (* (/ y (/ a (- z t))) (- (/ y (/ a (- z t))) x)))
  (- (* x x) (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))))
  (- x (/ y (/ a (- z t))))
  (+ x (/ y (/ a (- z t))))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  0
  0
  0
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
3.951 * * * [progress]: adding candidates to table
4.399 * * [progress]: iteration 3 / 4
4.399 * * * [progress]: picking best candidate
4.410 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (* (/ y a) (- z t))))>
4.410 * * * [progress]: localizing error
4.417 * * * [progress]: generating rewritten candidates
4.417 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.432 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.437 * * * [progress]: generating series expansions
4.437 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.438 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y a z t) around 0
4.438 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t
4.438 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
4.438 * [taylor]: Taking taylor expansion of y in t
4.438 * [taylor]: Taking taylor expansion of (- z t) in t
4.438 * [taylor]: Taking taylor expansion of z in t
4.438 * [taylor]: Taking taylor expansion of t in t
4.438 * [taylor]: Taking taylor expansion of a in t
4.439 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z
4.439 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
4.439 * [taylor]: Taking taylor expansion of y in z
4.439 * [taylor]: Taking taylor expansion of (- z t) in z
4.439 * [taylor]: Taking taylor expansion of z in z
4.439 * [taylor]: Taking taylor expansion of t in z
4.439 * [taylor]: Taking taylor expansion of a in z
4.439 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a
4.439 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
4.439 * [taylor]: Taking taylor expansion of y in a
4.439 * [taylor]: Taking taylor expansion of (- z t) in a
4.439 * [taylor]: Taking taylor expansion of z in a
4.439 * [taylor]: Taking taylor expansion of t in a
4.439 * [taylor]: Taking taylor expansion of a in a
4.439 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
4.439 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
4.439 * [taylor]: Taking taylor expansion of y in y
4.439 * [taylor]: Taking taylor expansion of (- z t) in y
4.439 * [taylor]: Taking taylor expansion of z in y
4.439 * [taylor]: Taking taylor expansion of t in y
4.439 * [taylor]: Taking taylor expansion of a in y
4.440 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y
4.440 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
4.440 * [taylor]: Taking taylor expansion of y in y
4.440 * [taylor]: Taking taylor expansion of (- z t) in y
4.440 * [taylor]: Taking taylor expansion of z in y
4.440 * [taylor]: Taking taylor expansion of t in y
4.440 * [taylor]: Taking taylor expansion of a in y
4.441 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a
4.441 * [taylor]: Taking taylor expansion of (- z t) in a
4.441 * [taylor]: Taking taylor expansion of z in a
4.441 * [taylor]: Taking taylor expansion of t in a
4.442 * [taylor]: Taking taylor expansion of a in a
4.442 * [taylor]: Taking taylor expansion of (- z t) in z
4.442 * [taylor]: Taking taylor expansion of z in z
4.442 * [taylor]: Taking taylor expansion of t in z
4.442 * [taylor]: Taking taylor expansion of (- t) in t
4.442 * [taylor]: Taking taylor expansion of t in t
4.443 * [taylor]: Taking taylor expansion of 0 in a
4.445 * [taylor]: Taking taylor expansion of 0 in z
4.445 * [taylor]: Taking taylor expansion of 0 in t
4.445 * [taylor]: Taking taylor expansion of 1 in t
4.447 * [taylor]: Taking taylor expansion of 0 in a
4.447 * [taylor]: Taking taylor expansion of 0 in z
4.447 * [taylor]: Taking taylor expansion of 0 in t
4.449 * [taylor]: Taking taylor expansion of 0 in z
4.449 * [taylor]: Taking taylor expansion of 0 in t
4.449 * [taylor]: Taking taylor expansion of 0 in t
4.449 * [taylor]: Taking taylor expansion of 0 in t
4.450 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a z t) around 0
4.450 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
4.450 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
4.450 * [taylor]: Taking taylor expansion of a in t
4.450 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
4.450 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.450 * [taylor]: Taking taylor expansion of z in t
4.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.450 * [taylor]: Taking taylor expansion of t in t
4.450 * [taylor]: Taking taylor expansion of y in t
4.451 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
4.451 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
4.451 * [taylor]: Taking taylor expansion of a in z
4.451 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
4.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.451 * [taylor]: Taking taylor expansion of z in z
4.451 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.451 * [taylor]: Taking taylor expansion of t in z
4.451 * [taylor]: Taking taylor expansion of y in z
4.452 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
4.452 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
4.452 * [taylor]: Taking taylor expansion of a in a
4.452 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
4.452 * [taylor]: Taking taylor expansion of (/ 1 z) in a
4.452 * [taylor]: Taking taylor expansion of z in a
4.452 * [taylor]: Taking taylor expansion of (/ 1 t) in a
4.452 * [taylor]: Taking taylor expansion of t in a
4.452 * [taylor]: Taking taylor expansion of y in a
4.453 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
4.453 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
4.453 * [taylor]: Taking taylor expansion of a in y
4.453 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
4.453 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.453 * [taylor]: Taking taylor expansion of z in y
4.453 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.453 * [taylor]: Taking taylor expansion of t in y
4.453 * [taylor]: Taking taylor expansion of y in y
4.454 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
4.454 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
4.454 * [taylor]: Taking taylor expansion of a in y
4.454 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
4.454 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.454 * [taylor]: Taking taylor expansion of z in y
4.454 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.454 * [taylor]: Taking taylor expansion of t in y
4.454 * [taylor]: Taking taylor expansion of y in y
4.454 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
4.454 * [taylor]: Taking taylor expansion of a in a
4.454 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
4.454 * [taylor]: Taking taylor expansion of (/ 1 z) in a
4.454 * [taylor]: Taking taylor expansion of z in a
4.454 * [taylor]: Taking taylor expansion of (/ 1 t) in a
4.454 * [taylor]: Taking taylor expansion of t in a
4.455 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
4.455 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.455 * [taylor]: Taking taylor expansion of z in z
4.456 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.456 * [taylor]: Taking taylor expansion of t in z
4.456 * [taylor]: Taking taylor expansion of 1 in t
4.458 * [taylor]: Taking taylor expansion of 0 in a
4.458 * [taylor]: Taking taylor expansion of 0 in z
4.459 * [taylor]: Taking taylor expansion of 0 in z
4.460 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
4.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.460 * [taylor]: Taking taylor expansion of t in t
4.462 * [taylor]: Taking taylor expansion of 0 in a
4.463 * [taylor]: Taking taylor expansion of 0 in z
4.463 * [taylor]: Taking taylor expansion of 0 in z
4.468 * [taylor]: Taking taylor expansion of 0 in z
4.468 * [taylor]: Taking taylor expansion of 0 in t
4.468 * [taylor]: Taking taylor expansion of 0 in t
4.470 * [taylor]: Taking taylor expansion of 0 in t
4.473 * [taylor]: Taking taylor expansion of 0 in a
4.473 * [taylor]: Taking taylor expansion of 0 in z
4.473 * [taylor]: Taking taylor expansion of 0 in z
4.473 * [taylor]: Taking taylor expansion of 0 in z
4.475 * [taylor]: Taking taylor expansion of 0 in z
4.475 * [taylor]: Taking taylor expansion of 0 in t
4.475 * [taylor]: Taking taylor expansion of 0 in t
4.475 * [taylor]: Taking taylor expansion of 0 in t
4.475 * [taylor]: Taking taylor expansion of 0 in t
4.475 * [taylor]: Taking taylor expansion of 0 in t
4.477 * [taylor]: Taking taylor expansion of 0 in t
4.478 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y a z t) around 0
4.478 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
4.478 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
4.478 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
4.478 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.478 * [taylor]: Taking taylor expansion of t in t
4.478 * [taylor]: Taking taylor expansion of (/ 1 z) in t
4.478 * [taylor]: Taking taylor expansion of z in t
4.479 * [taylor]: Taking taylor expansion of a in t
4.479 * [taylor]: Taking taylor expansion of y in t
4.479 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
4.479 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
4.479 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.479 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.479 * [taylor]: Taking taylor expansion of t in z
4.479 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.479 * [taylor]: Taking taylor expansion of z in z
4.479 * [taylor]: Taking taylor expansion of a in z
4.479 * [taylor]: Taking taylor expansion of y in z
4.480 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
4.480 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
4.480 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
4.480 * [taylor]: Taking taylor expansion of (/ 1 t) in a
4.480 * [taylor]: Taking taylor expansion of t in a
4.480 * [taylor]: Taking taylor expansion of (/ 1 z) in a
4.480 * [taylor]: Taking taylor expansion of z in a
4.480 * [taylor]: Taking taylor expansion of a in a
4.480 * [taylor]: Taking taylor expansion of y in a
4.481 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
4.481 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
4.481 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
4.481 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.481 * [taylor]: Taking taylor expansion of t in y
4.481 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.481 * [taylor]: Taking taylor expansion of z in y
4.481 * [taylor]: Taking taylor expansion of a in y
4.482 * [taylor]: Taking taylor expansion of y in y
4.482 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
4.482 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
4.482 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
4.482 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.482 * [taylor]: Taking taylor expansion of t in y
4.482 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.482 * [taylor]: Taking taylor expansion of z in y
4.482 * [taylor]: Taking taylor expansion of a in y
4.482 * [taylor]: Taking taylor expansion of y in y
4.482 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
4.482 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
4.482 * [taylor]: Taking taylor expansion of (/ 1 t) in a
4.482 * [taylor]: Taking taylor expansion of t in a
4.482 * [taylor]: Taking taylor expansion of (/ 1 z) in a
4.482 * [taylor]: Taking taylor expansion of z in a
4.482 * [taylor]: Taking taylor expansion of a in a
4.483 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.484 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.484 * [taylor]: Taking taylor expansion of t in z
4.484 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.484 * [taylor]: Taking taylor expansion of z in z
4.484 * [taylor]: Taking taylor expansion of -1 in t
4.486 * [taylor]: Taking taylor expansion of 0 in a
4.486 * [taylor]: Taking taylor expansion of 0 in z
4.487 * [taylor]: Taking taylor expansion of 0 in z
4.488 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.488 * [taylor]: Taking taylor expansion of t in t
4.490 * [taylor]: Taking taylor expansion of 0 in a
4.490 * [taylor]: Taking taylor expansion of 0 in z
4.490 * [taylor]: Taking taylor expansion of 0 in z
4.492 * [taylor]: Taking taylor expansion of 0 in z
4.492 * [taylor]: Taking taylor expansion of 0 in t
4.492 * [taylor]: Taking taylor expansion of 0 in t
4.493 * [taylor]: Taking taylor expansion of 0 in t
4.496 * [taylor]: Taking taylor expansion of 0 in a
4.496 * [taylor]: Taking taylor expansion of 0 in z
4.496 * [taylor]: Taking taylor expansion of 0 in z
4.496 * [taylor]: Taking taylor expansion of 0 in z
4.497 * [taylor]: Taking taylor expansion of 0 in z
4.497 * [taylor]: Taking taylor expansion of 0 in t
4.498 * [taylor]: Taking taylor expansion of 0 in t
4.498 * [taylor]: Taking taylor expansion of 0 in t
4.498 * [taylor]: Taking taylor expansion of 0 in t
4.498 * [taylor]: Taking taylor expansion of 0 in t
4.499 * [taylor]: Taking taylor expansion of 0 in t
4.500 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.500 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (x y a z t) around 0
4.500 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t
4.500 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t
4.500 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
4.500 * [taylor]: Taking taylor expansion of (* z y) in t
4.500 * [taylor]: Taking taylor expansion of z in t
4.500 * [taylor]: Taking taylor expansion of y in t
4.500 * [taylor]: Taking taylor expansion of a in t
4.500 * [taylor]: Taking taylor expansion of x in t
4.500 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
4.500 * [taylor]: Taking taylor expansion of (* t y) in t
4.500 * [taylor]: Taking taylor expansion of t in t
4.500 * [taylor]: Taking taylor expansion of y in t
4.500 * [taylor]: Taking taylor expansion of a in t
4.501 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z
4.501 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z
4.501 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
4.501 * [taylor]: Taking taylor expansion of (* z y) in z
4.501 * [taylor]: Taking taylor expansion of z in z
4.501 * [taylor]: Taking taylor expansion of y in z
4.501 * [taylor]: Taking taylor expansion of a in z
4.501 * [taylor]: Taking taylor expansion of x in z
4.501 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
4.502 * [taylor]: Taking taylor expansion of (* t y) in z
4.502 * [taylor]: Taking taylor expansion of t in z
4.502 * [taylor]: Taking taylor expansion of y in z
4.502 * [taylor]: Taking taylor expansion of a in z
4.502 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a
4.502 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a
4.502 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
4.502 * [taylor]: Taking taylor expansion of (* z y) in a
4.502 * [taylor]: Taking taylor expansion of z in a
4.502 * [taylor]: Taking taylor expansion of y in a
4.502 * [taylor]: Taking taylor expansion of a in a
4.502 * [taylor]: Taking taylor expansion of x in a
4.502 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
4.502 * [taylor]: Taking taylor expansion of (* t y) in a
4.502 * [taylor]: Taking taylor expansion of t in a
4.502 * [taylor]: Taking taylor expansion of y in a
4.502 * [taylor]: Taking taylor expansion of a in a
4.502 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y
4.502 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y
4.502 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
4.502 * [taylor]: Taking taylor expansion of (* z y) in y
4.502 * [taylor]: Taking taylor expansion of z in y
4.502 * [taylor]: Taking taylor expansion of y in y
4.502 * [taylor]: Taking taylor expansion of a in y
4.502 * [taylor]: Taking taylor expansion of x in y
4.502 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
4.502 * [taylor]: Taking taylor expansion of (* t y) in y
4.502 * [taylor]: Taking taylor expansion of t in y
4.503 * [taylor]: Taking taylor expansion of y in y
4.503 * [taylor]: Taking taylor expansion of a in y
4.503 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
4.503 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
4.503 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
4.503 * [taylor]: Taking taylor expansion of (* z y) in x
4.503 * [taylor]: Taking taylor expansion of z in x
4.503 * [taylor]: Taking taylor expansion of y in x
4.503 * [taylor]: Taking taylor expansion of a in x
4.503 * [taylor]: Taking taylor expansion of x in x
4.503 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
4.503 * [taylor]: Taking taylor expansion of (* t y) in x
4.503 * [taylor]: Taking taylor expansion of t in x
4.503 * [taylor]: Taking taylor expansion of y in x
4.503 * [taylor]: Taking taylor expansion of a in x
4.503 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
4.503 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
4.503 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
4.503 * [taylor]: Taking taylor expansion of (* z y) in x
4.503 * [taylor]: Taking taylor expansion of z in x
4.503 * [taylor]: Taking taylor expansion of y in x
4.503 * [taylor]: Taking taylor expansion of a in x
4.503 * [taylor]: Taking taylor expansion of x in x
4.503 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
4.503 * [taylor]: Taking taylor expansion of (* t y) in x
4.503 * [taylor]: Taking taylor expansion of t in x
4.503 * [taylor]: Taking taylor expansion of y in x
4.503 * [taylor]: Taking taylor expansion of a in x
4.504 * [taylor]: Taking taylor expansion of (- (/ (* z y) a) (/ (* t y) a)) in y
4.504 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
4.504 * [taylor]: Taking taylor expansion of (* z y) in y
4.504 * [taylor]: Taking taylor expansion of z in y
4.504 * [taylor]: Taking taylor expansion of y in y
4.504 * [taylor]: Taking taylor expansion of a in y
4.504 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
4.504 * [taylor]: Taking taylor expansion of (* t y) in y
4.504 * [taylor]: Taking taylor expansion of t in y
4.504 * [taylor]: Taking taylor expansion of y in y
4.504 * [taylor]: Taking taylor expansion of a in y
4.506 * [taylor]: Taking taylor expansion of 1 in y
4.506 * [taylor]: Taking taylor expansion of 1 in a
4.506 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a
4.506 * [taylor]: Taking taylor expansion of (/ z a) in a
4.506 * [taylor]: Taking taylor expansion of z in a
4.506 * [taylor]: Taking taylor expansion of a in a
4.506 * [taylor]: Taking taylor expansion of (/ t a) in a
4.506 * [taylor]: Taking taylor expansion of t in a
4.506 * [taylor]: Taking taylor expansion of a in a
4.506 * [taylor]: Taking taylor expansion of (- z t) in z
4.506 * [taylor]: Taking taylor expansion of z in z
4.506 * [taylor]: Taking taylor expansion of t in z
4.506 * [taylor]: Taking taylor expansion of (- t) in t
4.506 * [taylor]: Taking taylor expansion of t in t
4.508 * [taylor]: Taking taylor expansion of 0 in y
4.508 * [taylor]: Taking taylor expansion of 0 in a
4.509 * [taylor]: Taking taylor expansion of 0 in a
4.510 * [taylor]: Taking taylor expansion of 0 in a
4.511 * [taylor]: Taking taylor expansion of 1 in z
4.511 * [taylor]: Taking taylor expansion of 1 in t
4.512 * [taylor]: Taking taylor expansion of 0 in z
4.512 * [taylor]: Taking taylor expansion of 0 in t
4.513 * [taylor]: Taking taylor expansion of 1 in t
4.514 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (x y a z t) around 0
4.514 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t
4.514 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
4.514 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
4.514 * [taylor]: Taking taylor expansion of a in t
4.514 * [taylor]: Taking taylor expansion of (* z y) in t
4.514 * [taylor]: Taking taylor expansion of z in t
4.514 * [taylor]: Taking taylor expansion of y in t
4.514 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.514 * [taylor]: Taking taylor expansion of x in t
4.514 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
4.514 * [taylor]: Taking taylor expansion of a in t
4.514 * [taylor]: Taking taylor expansion of (* y t) in t
4.514 * [taylor]: Taking taylor expansion of y in t
4.514 * [taylor]: Taking taylor expansion of t in t
4.515 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z
4.515 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
4.515 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
4.515 * [taylor]: Taking taylor expansion of a in z
4.515 * [taylor]: Taking taylor expansion of (* z y) in z
4.515 * [taylor]: Taking taylor expansion of z in z
4.515 * [taylor]: Taking taylor expansion of y in z
4.515 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.515 * [taylor]: Taking taylor expansion of x in z
4.515 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
4.515 * [taylor]: Taking taylor expansion of a in z
4.515 * [taylor]: Taking taylor expansion of (* y t) in z
4.515 * [taylor]: Taking taylor expansion of y in z
4.515 * [taylor]: Taking taylor expansion of t in z
4.515 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a
4.515 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
4.515 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
4.515 * [taylor]: Taking taylor expansion of a in a
4.515 * [taylor]: Taking taylor expansion of (* z y) in a
4.515 * [taylor]: Taking taylor expansion of z in a
4.515 * [taylor]: Taking taylor expansion of y in a
4.515 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.515 * [taylor]: Taking taylor expansion of x in a
4.515 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
4.516 * [taylor]: Taking taylor expansion of a in a
4.516 * [taylor]: Taking taylor expansion of (* y t) in a
4.516 * [taylor]: Taking taylor expansion of y in a
4.516 * [taylor]: Taking taylor expansion of t in a
4.516 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y
4.516 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
4.516 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
4.516 * [taylor]: Taking taylor expansion of a in y
4.516 * [taylor]: Taking taylor expansion of (* z y) in y
4.516 * [taylor]: Taking taylor expansion of z in y
4.516 * [taylor]: Taking taylor expansion of y in y
4.516 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.516 * [taylor]: Taking taylor expansion of x in y
4.516 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
4.516 * [taylor]: Taking taylor expansion of a in y
4.516 * [taylor]: Taking taylor expansion of (* y t) in y
4.516 * [taylor]: Taking taylor expansion of y in y
4.516 * [taylor]: Taking taylor expansion of t in y
4.517 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
4.517 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
4.517 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
4.517 * [taylor]: Taking taylor expansion of a in x
4.517 * [taylor]: Taking taylor expansion of (* z y) in x
4.517 * [taylor]: Taking taylor expansion of z in x
4.517 * [taylor]: Taking taylor expansion of y in x
4.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.517 * [taylor]: Taking taylor expansion of x in x
4.517 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
4.517 * [taylor]: Taking taylor expansion of a in x
4.517 * [taylor]: Taking taylor expansion of (* y t) in x
4.517 * [taylor]: Taking taylor expansion of y in x
4.517 * [taylor]: Taking taylor expansion of t in x
4.517 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
4.517 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
4.517 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
4.517 * [taylor]: Taking taylor expansion of a in x
4.517 * [taylor]: Taking taylor expansion of (* z y) in x
4.517 * [taylor]: Taking taylor expansion of z in x
4.517 * [taylor]: Taking taylor expansion of y in x
4.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.517 * [taylor]: Taking taylor expansion of x in x
4.518 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
4.518 * [taylor]: Taking taylor expansion of a in x
4.518 * [taylor]: Taking taylor expansion of (* y t) in x
4.518 * [taylor]: Taking taylor expansion of y in x
4.518 * [taylor]: Taking taylor expansion of t in x
4.519 * [taylor]: Taking taylor expansion of 1 in y
4.519 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in y
4.519 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
4.519 * [taylor]: Taking taylor expansion of a in y
4.519 * [taylor]: Taking taylor expansion of (* z y) in y
4.519 * [taylor]: Taking taylor expansion of z in y
4.519 * [taylor]: Taking taylor expansion of y in y
4.520 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
4.520 * [taylor]: Taking taylor expansion of a in y
4.520 * [taylor]: Taking taylor expansion of (* y t) in y
4.520 * [taylor]: Taking taylor expansion of y in y
4.520 * [taylor]: Taking taylor expansion of t in y
4.520 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a
4.520 * [taylor]: Taking taylor expansion of (/ a z) in a
4.520 * [taylor]: Taking taylor expansion of a in a
4.520 * [taylor]: Taking taylor expansion of z in a
4.520 * [taylor]: Taking taylor expansion of (/ a t) in a
4.520 * [taylor]: Taking taylor expansion of a in a
4.520 * [taylor]: Taking taylor expansion of t in a
4.520 * [taylor]: Taking taylor expansion of 1 in a
4.521 * [taylor]: Taking taylor expansion of 1 in z
4.522 * [taylor]: Taking taylor expansion of 0 in y
4.524 * [taylor]: Taking taylor expansion of 0 in a
4.524 * [taylor]: Taking taylor expansion of 0 in z
4.524 * [taylor]: Taking taylor expansion of 0 in a
4.524 * [taylor]: Taking taylor expansion of 0 in z
4.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
4.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.524 * [taylor]: Taking taylor expansion of z in z
4.525 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.525 * [taylor]: Taking taylor expansion of t in z
4.525 * [taylor]: Taking taylor expansion of 1 in t
4.525 * [taylor]: Taking taylor expansion of 0 in z
4.525 * [taylor]: Taking taylor expansion of 1 in t
4.527 * [taylor]: Taking taylor expansion of 0 in y
4.527 * [taylor]: Taking taylor expansion of 0 in a
4.527 * [taylor]: Taking taylor expansion of 0 in z
4.529 * [taylor]: Taking taylor expansion of 0 in a
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in a
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in z
4.530 * [taylor]: Taking taylor expansion of 0 in t
4.531 * [taylor]: Taking taylor expansion of 0 in t
4.531 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
4.531 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.531 * [taylor]: Taking taylor expansion of t in t
4.532 * [taylor]: Taking taylor expansion of 0 in t
4.532 * [taylor]: Taking taylor expansion of 0 in t
4.532 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (x y a z t) around 0
4.533 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t
4.533 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
4.533 * [taylor]: Taking taylor expansion of a in t
4.533 * [taylor]: Taking taylor expansion of (* y t) in t
4.533 * [taylor]: Taking taylor expansion of y in t
4.533 * [taylor]: Taking taylor expansion of t in t
4.533 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
4.533 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
4.533 * [taylor]: Taking taylor expansion of a in t
4.533 * [taylor]: Taking taylor expansion of (* z y) in t
4.533 * [taylor]: Taking taylor expansion of z in t
4.533 * [taylor]: Taking taylor expansion of y in t
4.533 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.533 * [taylor]: Taking taylor expansion of x in t
4.533 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z
4.533 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
4.533 * [taylor]: Taking taylor expansion of a in z
4.533 * [taylor]: Taking taylor expansion of (* y t) in z
4.533 * [taylor]: Taking taylor expansion of y in z
4.533 * [taylor]: Taking taylor expansion of t in z
4.533 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
4.533 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
4.533 * [taylor]: Taking taylor expansion of a in z
4.533 * [taylor]: Taking taylor expansion of (* z y) in z
4.533 * [taylor]: Taking taylor expansion of z in z
4.534 * [taylor]: Taking taylor expansion of y in z
4.534 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.534 * [taylor]: Taking taylor expansion of x in z
4.534 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a
4.534 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
4.534 * [taylor]: Taking taylor expansion of a in a
4.534 * [taylor]: Taking taylor expansion of (* y t) in a
4.534 * [taylor]: Taking taylor expansion of y in a
4.534 * [taylor]: Taking taylor expansion of t in a
4.534 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
4.534 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
4.534 * [taylor]: Taking taylor expansion of a in a
4.534 * [taylor]: Taking taylor expansion of (* z y) in a
4.534 * [taylor]: Taking taylor expansion of z in a
4.534 * [taylor]: Taking taylor expansion of y in a
4.534 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.534 * [taylor]: Taking taylor expansion of x in a
4.534 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y
4.534 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
4.534 * [taylor]: Taking taylor expansion of a in y
4.534 * [taylor]: Taking taylor expansion of (* y t) in y
4.534 * [taylor]: Taking taylor expansion of y in y
4.534 * [taylor]: Taking taylor expansion of t in y
4.535 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
4.535 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
4.535 * [taylor]: Taking taylor expansion of a in y
4.535 * [taylor]: Taking taylor expansion of (* z y) in y
4.535 * [taylor]: Taking taylor expansion of z in y
4.535 * [taylor]: Taking taylor expansion of y in y
4.535 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.535 * [taylor]: Taking taylor expansion of x in y
4.535 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
4.535 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
4.535 * [taylor]: Taking taylor expansion of a in x
4.535 * [taylor]: Taking taylor expansion of (* y t) in x
4.535 * [taylor]: Taking taylor expansion of y in x
4.535 * [taylor]: Taking taylor expansion of t in x
4.535 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
4.535 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
4.535 * [taylor]: Taking taylor expansion of a in x
4.535 * [taylor]: Taking taylor expansion of (* z y) in x
4.536 * [taylor]: Taking taylor expansion of z in x
4.536 * [taylor]: Taking taylor expansion of y in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.536 * [taylor]: Taking taylor expansion of x in x
4.536 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
4.536 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
4.536 * [taylor]: Taking taylor expansion of a in x
4.536 * [taylor]: Taking taylor expansion of (* y t) in x
4.536 * [taylor]: Taking taylor expansion of y in x
4.536 * [taylor]: Taking taylor expansion of t in x
4.536 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
4.536 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
4.536 * [taylor]: Taking taylor expansion of a in x
4.536 * [taylor]: Taking taylor expansion of (* z y) in x
4.536 * [taylor]: Taking taylor expansion of z in x
4.536 * [taylor]: Taking taylor expansion of y in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.536 * [taylor]: Taking taylor expansion of x in x
4.537 * [taylor]: Taking taylor expansion of -1 in y
4.538 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in y
4.538 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
4.538 * [taylor]: Taking taylor expansion of a in y
4.538 * [taylor]: Taking taylor expansion of (* y t) in y
4.538 * [taylor]: Taking taylor expansion of y in y
4.538 * [taylor]: Taking taylor expansion of t in y
4.539 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
4.539 * [taylor]: Taking taylor expansion of a in y
4.539 * [taylor]: Taking taylor expansion of (* z y) in y
4.539 * [taylor]: Taking taylor expansion of z in y
4.539 * [taylor]: Taking taylor expansion of y in y
4.539 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a
4.539 * [taylor]: Taking taylor expansion of (/ a t) in a
4.539 * [taylor]: Taking taylor expansion of a in a
4.539 * [taylor]: Taking taylor expansion of t in a
4.539 * [taylor]: Taking taylor expansion of (/ a z) in a
4.539 * [taylor]: Taking taylor expansion of a in a
4.539 * [taylor]: Taking taylor expansion of z in a
4.539 * [taylor]: Taking taylor expansion of -1 in a
4.539 * [taylor]: Taking taylor expansion of -1 in z
4.541 * [taylor]: Taking taylor expansion of 0 in y
4.543 * [taylor]: Taking taylor expansion of 0 in a
4.543 * [taylor]: Taking taylor expansion of 0 in z
4.543 * [taylor]: Taking taylor expansion of 0 in a
4.543 * [taylor]: Taking taylor expansion of 0 in z
4.543 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
4.543 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.543 * [taylor]: Taking taylor expansion of t in z
4.543 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.543 * [taylor]: Taking taylor expansion of z in z
4.544 * [taylor]: Taking taylor expansion of -1 in t
4.544 * [taylor]: Taking taylor expansion of 0 in z
4.544 * [taylor]: Taking taylor expansion of -1 in t
4.546 * [taylor]: Taking taylor expansion of 0 in y
4.547 * [taylor]: Taking taylor expansion of 0 in a
4.547 * [taylor]: Taking taylor expansion of 0 in z
4.549 * [taylor]: Taking taylor expansion of 0 in a
4.549 * [taylor]: Taking taylor expansion of 0 in z
4.549 * [taylor]: Taking taylor expansion of 0 in a
4.549 * [taylor]: Taking taylor expansion of 0 in z
4.549 * [taylor]: Taking taylor expansion of 0 in z
4.549 * [taylor]: Taking taylor expansion of 0 in z
4.550 * [taylor]: Taking taylor expansion of 0 in z
4.550 * [taylor]: Taking taylor expansion of 0 in z
4.550 * [taylor]: Taking taylor expansion of 0 in t
4.550 * [taylor]: Taking taylor expansion of 0 in t
4.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.550 * [taylor]: Taking taylor expansion of t in t
4.551 * [taylor]: Taking taylor expansion of 0 in t
4.551 * [taylor]: Taking taylor expansion of 0 in t
4.551 * * * [progress]: simplifying candidates
4.552 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ y a) (- z t))
  (+ (- (log y) (log a)) (log (- z t)))
  (+ (log (/ y a)) (log (- z t)))
  (log (* (/ y a) (- z t)))
  (exp (* (/ y a) (- z t)))
  (* (/ (* (* y y) y) (* (* a a) a)) (* (* (- z t) (- z t)) (- z t)))
  (* (* (* (/ y a) (/ y a)) (/ y a)) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* (/ y a) (- z t))) (cbrt (* (/ y a) (- z t))))
  (cbrt (* (/ y a) (- z t)))
  (* (* (* (/ y a) (- z t)) (* (/ y a) (- z t))) (* (/ y a) (- z t)))
  (sqrt (* (/ y a) (- z t)))
  (sqrt (* (/ y a) (- z t)))
  (* y (- (pow z 3) (pow t 3)))
  (* a (+ (* z z) (+ (* t t) (* z t))))
  (* y (- (* z z) (* t t)))
  (* a (+ z t))
  (* (sqrt (/ y a)) (sqrt (- z t)))
  (* (sqrt (/ y a)) (sqrt (- z t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- z t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- z t)))
  (* (/ y a) z)
  (* (/ y a) (- t))
  (* (/ y a) z)
  (* (/ y a) (- t))
  (* z (/ y a))
  (* (- t) (/ y a))
  (* z (/ y a))
  (* (- t) (/ y a))
  (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ y a) (sqrt (- z t)))
  (* (/ y a) 1)
  (* (/ y a) (+ (sqrt z) (sqrt t)))
  (* (/ y a) 1)
  (* (cbrt (/ y a)) (- z t))
  (* (sqrt (/ y a)) (- z t))
  (* (/ (cbrt y) (cbrt a)) (- z t))
  (* (/ (cbrt y) (sqrt a)) (- z t))
  (* (/ (cbrt y) a) (- z t))
  (* (/ (sqrt y) (cbrt a)) (- z t))
  (* (/ (sqrt y) (sqrt a)) (- z t))
  (* (/ (sqrt y) a) (- z t))
  (* (/ y (cbrt a)) (- z t))
  (* (/ y (sqrt a)) (- z t))
  (* (/ y a) (- z t))
  (* (/ y a) (- z t))
  (* (/ 1 a) (- z t))
  (* (/ y a) (- (pow z 3) (pow t 3)))
  (* (/ y a) (- (* z z) (* t t)))
  (* y (- z t))
  (* (exp x) (exp (* (/ y a) (- z t))))
  (log (+ x (* (/ y a) (- z t))))
  (exp (+ x (* (/ y a) (- z t))))
  (* (cbrt (+ x (* (/ y a) (- z t)))) (cbrt (+ x (* (/ y a) (- z t)))))
  (cbrt (+ x (* (/ y a) (- z t))))
  (* (* (+ x (* (/ y a) (- z t))) (+ x (* (/ y a) (- z t)))) (+ x (* (/ y a) (- z t))))
  (sqrt (+ x (* (/ y a) (- z t))))
  (sqrt (+ x (* (/ y a) (- z t))))
  (+ (pow x 3) (pow (* (/ y a) (- z t)) 3))
  (+ (* x x) (- (* (* (/ y a) (- z t)) (* (/ y a) (- z t))) (* x (* (/ y a) (- z t)))))
  (- (* x x) (* (* (/ y a) (- z t)) (* (/ y a) (- z t))))
  (- x (* (/ y a) (- z t)))
  (+ x (* (/ y a) z))
  (+ x (* (/ y a) z))
  (+ x (* z (/ y a)))
  (+ x (* z (/ y a)))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (/ (* z y) a) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
4.556 * * [simplify]: iteration  0 :  123  enodes  (cost  723 )
4.581 * * [simplify]: iteration  1 :  322  enodes  (cost  691 )
4.696 * * [simplify]: iteration  2 :  1057  enodes  (cost  619 )
5.600 * * [simplify]: iteration  3 :  4246  enodes  (cost  619 )
6.643 * * [simplify]: iteration  done :  5001  enodes  (cost  619 )
6.644 * [simplify]: Simplified to:
   (* (- z t) (/ y a))
  (log (* (/ y a) (- z t)))
  (log (* (/ y a) (- z t)))
  (log (* (/ y a) (- z t)))
  (exp (* (/ y a) (- z t)))
  (pow (* (- z t) (/ y a)) 3)
  (pow (* (- z t) (/ y a)) 3)
  (* (cbrt (* (/ y a) (- z t))) (cbrt (* (/ y a) (- z t))))
  (cbrt (* (/ y a) (- z t)))
  (pow (* (- z t) (/ y a)) 3)
  (sqrt (* (/ y a) (- z t)))
  (sqrt (* (/ y a) (- z t)))
  (* y (- (pow z 3) (pow t 3)))
  (* (+ (* z z) (* t (+ z t))) a)
  (* (+ z t) (* y (- z t)))
  (* a (+ z t))
  (* (sqrt (/ y a)) (sqrt (- z t)))
  (* (sqrt (/ y a)) (sqrt (- z t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- z t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- z t)))
  (/ (* z y) a)
  (- (/ (* t y) a))
  (/ (* z y) a)
  (- (/ (* t y) a))
  (/ (* z y) a)
  (- (/ (* t y) a))
  (/ (* z y) a)
  (- (/ (* t y) a))
  (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ y a) (sqrt (- z t)))
  (/ y a)
  (* (/ y a) (+ (sqrt z) (sqrt t)))
  (/ y a)
  (* (cbrt (/ y a)) (- z t))
  (* (sqrt (/ y a)) (- z t))
  (* (/ (cbrt y) (cbrt a)) (- z t))
  (* (/ (cbrt y) (sqrt a)) (- z t))
  (* (/ (cbrt y) a) (- z t))
  (* (/ (sqrt y) (cbrt a)) (- z t))
  (* (/ (sqrt y) (sqrt a)) (- z t))
  (* (/ (sqrt y) a) (- z t))
  (* (/ y (cbrt a)) (- z t))
  (* (/ y (sqrt a)) (- z t))
  (* (- z t) (/ y a))
  (* (- z t) (/ y a))
  (/ (- z t) a)
  (* (/ y a) (- (pow z 3) (pow t 3)))
  (* (/ y a) (- (* z z) (* t t)))
  (* y (- z t))
  (exp (+ x (* (/ y a) (- z t))))
  (log (+ x (* (/ y a) (- z t))))
  (exp (+ x (* (/ y a) (- z t))))
  (* (cbrt (+ x (* (/ y a) (- z t)))) (cbrt (+ x (* (/ y a) (- z t)))))
  (cbrt (+ x (* (/ y a) (- z t))))
  (pow (+ x (* (/ y a) (- z t))) 3)
  (sqrt (+ x (* (/ y a) (- z t))))
  (sqrt (+ x (* (/ y a) (- z t))))
  (+ (pow x 3) (pow (* (/ y a) (- z t)) 3))
  (+ (* (* (/ y a) (- z t)) (- (* (/ y a) (- z t)) x)) (* x x))
  (- (* x x) (* (* (/ y a) (- z t)) (* (/ y a) (- z t))))
  (- x (* (/ y a) (- z t)))
  (+ x (* z (/ y a)))
  (+ x (* z (/ y a)))
  (+ x (* z (/ y a)))
  (+ x (* z (/ y a)))
  (* (- z t) (/ y a))
  (* (- z t) (/ y a))
  (* (- z t) (/ y a))
  (+ x (* (/ y a) (- z t)))
  (+ x (* (/ y a) (- z t)))
  (+ x (* (/ y a) (- z t)))
6.644 * * * [progress]: adding candidates to table
6.800 * * [progress]: iteration 4 / 4
6.800 * * * [progress]: picking best candidate
6.811 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))>
6.811 * * * [progress]: localizing error
6.824 * * * [progress]: generating rewritten candidates
6.824 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
6.832 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.852 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.858 * * * [progress]: generating series expansions
6.858 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
6.858 * [approximate]: Taking taylor expansion of (/ (* z y) a) in (z y a) around 0
6.858 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
6.858 * [taylor]: Taking taylor expansion of (* z y) in a
6.858 * [taylor]: Taking taylor expansion of z in a
6.858 * [taylor]: Taking taylor expansion of y in a
6.858 * [taylor]: Taking taylor expansion of a in a
6.858 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
6.858 * [taylor]: Taking taylor expansion of (* z y) in y
6.858 * [taylor]: Taking taylor expansion of z in y
6.858 * [taylor]: Taking taylor expansion of y in y
6.858 * [taylor]: Taking taylor expansion of a in y
6.859 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.859 * [taylor]: Taking taylor expansion of (* z y) in z
6.859 * [taylor]: Taking taylor expansion of z in z
6.859 * [taylor]: Taking taylor expansion of y in z
6.859 * [taylor]: Taking taylor expansion of a in z
6.859 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.859 * [taylor]: Taking taylor expansion of (* z y) in z
6.859 * [taylor]: Taking taylor expansion of z in z
6.859 * [taylor]: Taking taylor expansion of y in z
6.859 * [taylor]: Taking taylor expansion of a in z
6.860 * [taylor]: Taking taylor expansion of (/ y a) in y
6.860 * [taylor]: Taking taylor expansion of y in y
6.860 * [taylor]: Taking taylor expansion of a in y
6.860 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.860 * [taylor]: Taking taylor expansion of a in a
6.861 * [taylor]: Taking taylor expansion of 0 in y
6.861 * [taylor]: Taking taylor expansion of 0 in a
6.861 * [taylor]: Taking taylor expansion of 0 in a
6.863 * [taylor]: Taking taylor expansion of 0 in y
6.863 * [taylor]: Taking taylor expansion of 0 in a
6.863 * [taylor]: Taking taylor expansion of 0 in a
6.863 * [taylor]: Taking taylor expansion of 0 in a
6.865 * [taylor]: Taking taylor expansion of 0 in y
6.865 * [taylor]: Taking taylor expansion of 0 in a
6.865 * [taylor]: Taking taylor expansion of 0 in a
6.865 * [taylor]: Taking taylor expansion of 0 in a
6.865 * [taylor]: Taking taylor expansion of 0 in a
6.865 * [approximate]: Taking taylor expansion of (/ a (* z y)) in (z y a) around 0
6.865 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.865 * [taylor]: Taking taylor expansion of a in a
6.865 * [taylor]: Taking taylor expansion of (* z y) in a
6.865 * [taylor]: Taking taylor expansion of z in a
6.865 * [taylor]: Taking taylor expansion of y in a
6.865 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.865 * [taylor]: Taking taylor expansion of a in y
6.866 * [taylor]: Taking taylor expansion of (* z y) in y
6.866 * [taylor]: Taking taylor expansion of z in y
6.866 * [taylor]: Taking taylor expansion of y in y
6.866 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.866 * [taylor]: Taking taylor expansion of a in z
6.866 * [taylor]: Taking taylor expansion of (* z y) in z
6.866 * [taylor]: Taking taylor expansion of z in z
6.866 * [taylor]: Taking taylor expansion of y in z
6.867 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.867 * [taylor]: Taking taylor expansion of a in z
6.867 * [taylor]: Taking taylor expansion of (* z y) in z
6.867 * [taylor]: Taking taylor expansion of z in z
6.867 * [taylor]: Taking taylor expansion of y in z
6.867 * [taylor]: Taking taylor expansion of (/ a y) in y
6.867 * [taylor]: Taking taylor expansion of a in y
6.867 * [taylor]: Taking taylor expansion of y in y
6.867 * [taylor]: Taking taylor expansion of a in a
6.868 * [taylor]: Taking taylor expansion of 0 in y
6.869 * [taylor]: Taking taylor expansion of 0 in a
6.870 * [taylor]: Taking taylor expansion of 0 in y
6.870 * [taylor]: Taking taylor expansion of 0 in a
6.871 * [taylor]: Taking taylor expansion of 0 in a
6.871 * [approximate]: Taking taylor expansion of (* -1 (/ a (* z y))) in (z y a) around 0
6.871 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z y))) in a
6.871 * [taylor]: Taking taylor expansion of -1 in a
6.871 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.871 * [taylor]: Taking taylor expansion of a in a
6.871 * [taylor]: Taking taylor expansion of (* z y) in a
6.871 * [taylor]: Taking taylor expansion of z in a
6.871 * [taylor]: Taking taylor expansion of y in a
6.871 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z y))) in y
6.871 * [taylor]: Taking taylor expansion of -1 in y
6.871 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.871 * [taylor]: Taking taylor expansion of a in y
6.871 * [taylor]: Taking taylor expansion of (* z y) in y
6.871 * [taylor]: Taking taylor expansion of z in y
6.871 * [taylor]: Taking taylor expansion of y in y
6.872 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z y))) in z
6.872 * [taylor]: Taking taylor expansion of -1 in z
6.872 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.872 * [taylor]: Taking taylor expansion of a in z
6.872 * [taylor]: Taking taylor expansion of (* z y) in z
6.872 * [taylor]: Taking taylor expansion of z in z
6.872 * [taylor]: Taking taylor expansion of y in z
6.872 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z y))) in z
6.872 * [taylor]: Taking taylor expansion of -1 in z
6.872 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.872 * [taylor]: Taking taylor expansion of a in z
6.872 * [taylor]: Taking taylor expansion of (* z y) in z
6.872 * [taylor]: Taking taylor expansion of z in z
6.872 * [taylor]: Taking taylor expansion of y in z
6.873 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
6.873 * [taylor]: Taking taylor expansion of -1 in y
6.873 * [taylor]: Taking taylor expansion of (/ a y) in y
6.873 * [taylor]: Taking taylor expansion of a in y
6.873 * [taylor]: Taking taylor expansion of y in y
6.873 * [taylor]: Taking taylor expansion of (* -1 a) in a
6.873 * [taylor]: Taking taylor expansion of -1 in a
6.873 * [taylor]: Taking taylor expansion of a in a
6.874 * [taylor]: Taking taylor expansion of 0 in y
6.875 * [taylor]: Taking taylor expansion of 0 in a
6.877 * [taylor]: Taking taylor expansion of 0 in y
6.877 * [taylor]: Taking taylor expansion of 0 in a
6.879 * [taylor]: Taking taylor expansion of 0 in a
6.880 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.880 * [approximate]: Taking taylor expansion of (* -1 (/ (* y t) a)) in (y a t) around 0
6.880 * [taylor]: Taking taylor expansion of (* -1 (/ (* y t) a)) in t
6.880 * [taylor]: Taking taylor expansion of -1 in t
6.880 * [taylor]: Taking taylor expansion of (/ (* y t) a) in t
6.880 * [taylor]: Taking taylor expansion of (* y t) in t
6.880 * [taylor]: Taking taylor expansion of y in t
6.880 * [taylor]: Taking taylor expansion of t in t
6.880 * [taylor]: Taking taylor expansion of a in t
6.880 * [taylor]: Taking taylor expansion of (* -1 (/ (* y t) a)) in a
6.880 * [taylor]: Taking taylor expansion of -1 in a
6.880 * [taylor]: Taking taylor expansion of (/ (* y t) a) in a
6.880 * [taylor]: Taking taylor expansion of (* y t) in a
6.880 * [taylor]: Taking taylor expansion of y in a
6.880 * [taylor]: Taking taylor expansion of t in a
6.880 * [taylor]: Taking taylor expansion of a in a
6.881 * [taylor]: Taking taylor expansion of (* -1 (/ (* y t) a)) in y
6.881 * [taylor]: Taking taylor expansion of -1 in y
6.881 * [taylor]: Taking taylor expansion of (/ (* y t) a) in y
6.881 * [taylor]: Taking taylor expansion of (* y t) in y
6.881 * [taylor]: Taking taylor expansion of y in y
6.881 * [taylor]: Taking taylor expansion of t in y
6.881 * [taylor]: Taking taylor expansion of a in y
6.881 * [taylor]: Taking taylor expansion of (* -1 (/ (* y t) a)) in y
6.881 * [taylor]: Taking taylor expansion of -1 in y
6.881 * [taylor]: Taking taylor expansion of (/ (* y t) a) in y
6.881 * [taylor]: Taking taylor expansion of (* y t) in y
6.881 * [taylor]: Taking taylor expansion of y in y
6.881 * [taylor]: Taking taylor expansion of t in y
6.881 * [taylor]: Taking taylor expansion of a in y
6.882 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in a
6.882 * [taylor]: Taking taylor expansion of -1 in a
6.882 * [taylor]: Taking taylor expansion of (/ t a) in a
6.882 * [taylor]: Taking taylor expansion of t in a
6.882 * [taylor]: Taking taylor expansion of a in a
6.882 * [taylor]: Taking taylor expansion of (* -1 t) in t
6.882 * [taylor]: Taking taylor expansion of -1 in t
6.882 * [taylor]: Taking taylor expansion of t in t
6.883 * [taylor]: Taking taylor expansion of 0 in a
6.884 * [taylor]: Taking taylor expansion of 0 in t
6.886 * [taylor]: Taking taylor expansion of 0 in a
6.886 * [taylor]: Taking taylor expansion of 0 in t
6.888 * [taylor]: Taking taylor expansion of 0 in t
6.889 * [approximate]: Taking taylor expansion of (* -1 (/ a (* y t))) in (y a t) around 0
6.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* y t))) in t
6.889 * [taylor]: Taking taylor expansion of -1 in t
6.889 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
6.889 * [taylor]: Taking taylor expansion of a in t
6.889 * [taylor]: Taking taylor expansion of (* y t) in t
6.889 * [taylor]: Taking taylor expansion of y in t
6.889 * [taylor]: Taking taylor expansion of t in t
6.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* y t))) in a
6.889 * [taylor]: Taking taylor expansion of -1 in a
6.889 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
6.889 * [taylor]: Taking taylor expansion of a in a
6.889 * [taylor]: Taking taylor expansion of (* y t) in a
6.889 * [taylor]: Taking taylor expansion of y in a
6.889 * [taylor]: Taking taylor expansion of t in a
6.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* y t))) in y
6.889 * [taylor]: Taking taylor expansion of -1 in y
6.889 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.889 * [taylor]: Taking taylor expansion of a in y
6.889 * [taylor]: Taking taylor expansion of (* y t) in y
6.889 * [taylor]: Taking taylor expansion of y in y
6.889 * [taylor]: Taking taylor expansion of t in y
6.890 * [taylor]: Taking taylor expansion of (* -1 (/ a (* y t))) in y
6.890 * [taylor]: Taking taylor expansion of -1 in y
6.890 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.890 * [taylor]: Taking taylor expansion of a in y
6.890 * [taylor]: Taking taylor expansion of (* y t) in y
6.890 * [taylor]: Taking taylor expansion of y in y
6.890 * [taylor]: Taking taylor expansion of t in y
6.890 * [taylor]: Taking taylor expansion of (* -1 (/ a t)) in a
6.890 * [taylor]: Taking taylor expansion of -1 in a
6.890 * [taylor]: Taking taylor expansion of (/ a t) in a
6.890 * [taylor]: Taking taylor expansion of a in a
6.890 * [taylor]: Taking taylor expansion of t in a
6.890 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.890 * [taylor]: Taking taylor expansion of -1 in t
6.890 * [taylor]: Taking taylor expansion of t in t
6.892 * [taylor]: Taking taylor expansion of 0 in a
6.892 * [taylor]: Taking taylor expansion of 0 in t
6.892 * [taylor]: Taking taylor expansion of 0 in t
6.894 * [taylor]: Taking taylor expansion of 0 in a
6.894 * [taylor]: Taking taylor expansion of 0 in t
6.894 * [taylor]: Taking taylor expansion of 0 in t
6.895 * [taylor]: Taking taylor expansion of 0 in t
6.898 * [taylor]: Taking taylor expansion of 0 in a
6.898 * [taylor]: Taking taylor expansion of 0 in t
6.898 * [taylor]: Taking taylor expansion of 0 in t
6.898 * [taylor]: Taking taylor expansion of 0 in t
6.899 * [taylor]: Taking taylor expansion of 0 in t
6.899 * [approximate]: Taking taylor expansion of (/ a (* y t)) in (y a t) around 0
6.899 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
6.899 * [taylor]: Taking taylor expansion of a in t
6.899 * [taylor]: Taking taylor expansion of (* y t) in t
6.899 * [taylor]: Taking taylor expansion of y in t
6.899 * [taylor]: Taking taylor expansion of t in t
6.900 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
6.900 * [taylor]: Taking taylor expansion of a in a
6.900 * [taylor]: Taking taylor expansion of (* y t) in a
6.900 * [taylor]: Taking taylor expansion of y in a
6.900 * [taylor]: Taking taylor expansion of t in a
6.900 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.900 * [taylor]: Taking taylor expansion of a in y
6.900 * [taylor]: Taking taylor expansion of (* y t) in y
6.900 * [taylor]: Taking taylor expansion of y in y
6.900 * [taylor]: Taking taylor expansion of t in y
6.900 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.900 * [taylor]: Taking taylor expansion of a in y
6.900 * [taylor]: Taking taylor expansion of (* y t) in y
6.900 * [taylor]: Taking taylor expansion of y in y
6.900 * [taylor]: Taking taylor expansion of t in y
6.901 * [taylor]: Taking taylor expansion of (/ a t) in a
6.901 * [taylor]: Taking taylor expansion of a in a
6.901 * [taylor]: Taking taylor expansion of t in a
6.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.901 * [taylor]: Taking taylor expansion of t in t
6.907 * [taylor]: Taking taylor expansion of 0 in a
6.907 * [taylor]: Taking taylor expansion of 0 in t
6.907 * [taylor]: Taking taylor expansion of 0 in t
6.908 * [taylor]: Taking taylor expansion of 0 in a
6.908 * [taylor]: Taking taylor expansion of 0 in t
6.908 * [taylor]: Taking taylor expansion of 0 in t
6.908 * [taylor]: Taking taylor expansion of 0 in t
6.910 * [taylor]: Taking taylor expansion of 0 in a
6.910 * [taylor]: Taking taylor expansion of 0 in t
6.910 * [taylor]: Taking taylor expansion of 0 in t
6.910 * [taylor]: Taking taylor expansion of 0 in t
6.911 * [taylor]: Taking taylor expansion of 0 in t
6.911 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.911 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (x z y a t) around 0
6.911 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t
6.911 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t
6.911 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t
6.911 * [taylor]: Taking taylor expansion of (* z y) in t
6.911 * [taylor]: Taking taylor expansion of z in t
6.911 * [taylor]: Taking taylor expansion of y in t
6.911 * [taylor]: Taking taylor expansion of a in t
6.911 * [taylor]: Taking taylor expansion of x in t
6.911 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
6.911 * [taylor]: Taking taylor expansion of (* t y) in t
6.911 * [taylor]: Taking taylor expansion of t in t
6.911 * [taylor]: Taking taylor expansion of y in t
6.911 * [taylor]: Taking taylor expansion of a in t
6.912 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a
6.912 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a
6.912 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
6.912 * [taylor]: Taking taylor expansion of (* z y) in a
6.912 * [taylor]: Taking taylor expansion of z in a
6.912 * [taylor]: Taking taylor expansion of y in a
6.912 * [taylor]: Taking taylor expansion of a in a
6.912 * [taylor]: Taking taylor expansion of x in a
6.912 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a
6.912 * [taylor]: Taking taylor expansion of (* t y) in a
6.912 * [taylor]: Taking taylor expansion of t in a
6.912 * [taylor]: Taking taylor expansion of y in a
6.912 * [taylor]: Taking taylor expansion of a in a
6.912 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y
6.912 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y
6.912 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
6.912 * [taylor]: Taking taylor expansion of (* z y) in y
6.912 * [taylor]: Taking taylor expansion of z in y
6.912 * [taylor]: Taking taylor expansion of y in y
6.912 * [taylor]: Taking taylor expansion of a in y
6.913 * [taylor]: Taking taylor expansion of x in y
6.913 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
6.913 * [taylor]: Taking taylor expansion of (* t y) in y
6.913 * [taylor]: Taking taylor expansion of t in y
6.913 * [taylor]: Taking taylor expansion of y in y
6.913 * [taylor]: Taking taylor expansion of a in y
6.913 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z
6.913 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z
6.913 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.913 * [taylor]: Taking taylor expansion of (* z y) in z
6.913 * [taylor]: Taking taylor expansion of z in z
6.913 * [taylor]: Taking taylor expansion of y in z
6.913 * [taylor]: Taking taylor expansion of a in z
6.914 * [taylor]: Taking taylor expansion of x in z
6.914 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
6.914 * [taylor]: Taking taylor expansion of (* t y) in z
6.914 * [taylor]: Taking taylor expansion of t in z
6.914 * [taylor]: Taking taylor expansion of y in z
6.914 * [taylor]: Taking taylor expansion of a in z
6.914 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
6.914 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
6.914 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
6.914 * [taylor]: Taking taylor expansion of (* z y) in x
6.914 * [taylor]: Taking taylor expansion of z in x
6.914 * [taylor]: Taking taylor expansion of y in x
6.914 * [taylor]: Taking taylor expansion of a in x
6.914 * [taylor]: Taking taylor expansion of x in x
6.914 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
6.914 * [taylor]: Taking taylor expansion of (* t y) in x
6.914 * [taylor]: Taking taylor expansion of t in x
6.914 * [taylor]: Taking taylor expansion of y in x
6.914 * [taylor]: Taking taylor expansion of a in x
6.914 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x
6.914 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
6.914 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
6.914 * [taylor]: Taking taylor expansion of (* z y) in x
6.914 * [taylor]: Taking taylor expansion of z in x
6.915 * [taylor]: Taking taylor expansion of y in x
6.915 * [taylor]: Taking taylor expansion of a in x
6.915 * [taylor]: Taking taylor expansion of x in x
6.915 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x
6.915 * [taylor]: Taking taylor expansion of (* t y) in x
6.915 * [taylor]: Taking taylor expansion of t in x
6.915 * [taylor]: Taking taylor expansion of y in x
6.915 * [taylor]: Taking taylor expansion of a in x
6.915 * [taylor]: Taking taylor expansion of (- (/ (* z y) a) (/ (* t y) a)) in z
6.915 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.915 * [taylor]: Taking taylor expansion of (* z y) in z
6.915 * [taylor]: Taking taylor expansion of z in z
6.915 * [taylor]: Taking taylor expansion of y in z
6.915 * [taylor]: Taking taylor expansion of a in z
6.916 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z
6.916 * [taylor]: Taking taylor expansion of (* t y) in z
6.916 * [taylor]: Taking taylor expansion of t in z
6.916 * [taylor]: Taking taylor expansion of y in z
6.916 * [taylor]: Taking taylor expansion of a in z
6.916 * [taylor]: Taking taylor expansion of (- (/ (* t y) a)) in y
6.916 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y
6.916 * [taylor]: Taking taylor expansion of (* t y) in y
6.916 * [taylor]: Taking taylor expansion of t in y
6.916 * [taylor]: Taking taylor expansion of y in y
6.916 * [taylor]: Taking taylor expansion of a in y
6.918 * [taylor]: Taking taylor expansion of 1 in z
6.918 * [taylor]: Taking taylor expansion of 1 in y
6.918 * [taylor]: Taking taylor expansion of 1 in a
6.918 * [taylor]: Taking taylor expansion of (/ y a) in y
6.918 * [taylor]: Taking taylor expansion of y in y
6.918 * [taylor]: Taking taylor expansion of a in y
6.918 * [taylor]: Taking taylor expansion of (- (/ t a)) in a
6.918 * [taylor]: Taking taylor expansion of (/ t a) in a
6.918 * [taylor]: Taking taylor expansion of t in a
6.918 * [taylor]: Taking taylor expansion of a in a
6.918 * [taylor]: Taking taylor expansion of (- t) in t
6.918 * [taylor]: Taking taylor expansion of t in t
6.920 * [taylor]: Taking taylor expansion of 0 in z
6.920 * [taylor]: Taking taylor expansion of 0 in y
6.920 * [taylor]: Taking taylor expansion of 0 in a
6.920 * [taylor]: Taking taylor expansion of 0 in y
6.920 * [taylor]: Taking taylor expansion of 0 in a
6.922 * [taylor]: Taking taylor expansion of 0 in y
6.922 * [taylor]: Taking taylor expansion of 0 in a
6.922 * [taylor]: Taking taylor expansion of 0 in a
6.922 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.922 * [taylor]: Taking taylor expansion of a in a
6.922 * [taylor]: Taking taylor expansion of 1 in t
6.923 * [taylor]: Taking taylor expansion of 0 in a
6.923 * [taylor]: Taking taylor expansion of 1 in t
6.924 * [taylor]: Taking taylor expansion of 0 in t
6.925 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (x z y a t) around 0
6.925 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t
6.925 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
6.925 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
6.925 * [taylor]: Taking taylor expansion of a in t
6.925 * [taylor]: Taking taylor expansion of (* z y) in t
6.925 * [taylor]: Taking taylor expansion of z in t
6.925 * [taylor]: Taking taylor expansion of y in t
6.926 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.926 * [taylor]: Taking taylor expansion of x in t
6.926 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
6.926 * [taylor]: Taking taylor expansion of a in t
6.926 * [taylor]: Taking taylor expansion of (* y t) in t
6.926 * [taylor]: Taking taylor expansion of y in t
6.926 * [taylor]: Taking taylor expansion of t in t
6.926 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a
6.926 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
6.926 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.926 * [taylor]: Taking taylor expansion of a in a
6.926 * [taylor]: Taking taylor expansion of (* z y) in a
6.926 * [taylor]: Taking taylor expansion of z in a
6.926 * [taylor]: Taking taylor expansion of y in a
6.926 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.926 * [taylor]: Taking taylor expansion of x in a
6.926 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
6.926 * [taylor]: Taking taylor expansion of a in a
6.926 * [taylor]: Taking taylor expansion of (* y t) in a
6.926 * [taylor]: Taking taylor expansion of y in a
6.926 * [taylor]: Taking taylor expansion of t in a
6.926 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y
6.926 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
6.926 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.926 * [taylor]: Taking taylor expansion of a in y
6.926 * [taylor]: Taking taylor expansion of (* z y) in y
6.926 * [taylor]: Taking taylor expansion of z in y
6.926 * [taylor]: Taking taylor expansion of y in y
6.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.927 * [taylor]: Taking taylor expansion of x in y
6.927 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.927 * [taylor]: Taking taylor expansion of a in y
6.927 * [taylor]: Taking taylor expansion of (* y t) in y
6.927 * [taylor]: Taking taylor expansion of y in y
6.927 * [taylor]: Taking taylor expansion of t in y
6.927 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z
6.927 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
6.927 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.927 * [taylor]: Taking taylor expansion of a in z
6.927 * [taylor]: Taking taylor expansion of (* z y) in z
6.927 * [taylor]: Taking taylor expansion of z in z
6.927 * [taylor]: Taking taylor expansion of y in z
6.928 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.928 * [taylor]: Taking taylor expansion of x in z
6.928 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
6.928 * [taylor]: Taking taylor expansion of a in z
6.928 * [taylor]: Taking taylor expansion of (* y t) in z
6.928 * [taylor]: Taking taylor expansion of y in z
6.928 * [taylor]: Taking taylor expansion of t in z
6.928 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
6.928 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.928 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.928 * [taylor]: Taking taylor expansion of a in x
6.928 * [taylor]: Taking taylor expansion of (* z y) in x
6.928 * [taylor]: Taking taylor expansion of z in x
6.928 * [taylor]: Taking taylor expansion of y in x
6.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.928 * [taylor]: Taking taylor expansion of x in x
6.928 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
6.928 * [taylor]: Taking taylor expansion of a in x
6.929 * [taylor]: Taking taylor expansion of (* y t) in x
6.929 * [taylor]: Taking taylor expansion of y in x
6.929 * [taylor]: Taking taylor expansion of t in x
6.929 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x
6.929 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.929 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.929 * [taylor]: Taking taylor expansion of a in x
6.929 * [taylor]: Taking taylor expansion of (* z y) in x
6.929 * [taylor]: Taking taylor expansion of z in x
6.929 * [taylor]: Taking taylor expansion of y in x
6.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.929 * [taylor]: Taking taylor expansion of x in x
6.929 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
6.929 * [taylor]: Taking taylor expansion of a in x
6.929 * [taylor]: Taking taylor expansion of (* y t) in x
6.929 * [taylor]: Taking taylor expansion of y in x
6.929 * [taylor]: Taking taylor expansion of t in x
6.930 * [taylor]: Taking taylor expansion of 1 in z
6.931 * [taylor]: Taking taylor expansion of (- (/ a (* z y)) (/ a (* y t))) in z
6.931 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.931 * [taylor]: Taking taylor expansion of a in z
6.931 * [taylor]: Taking taylor expansion of (* z y) in z
6.931 * [taylor]: Taking taylor expansion of z in z
6.931 * [taylor]: Taking taylor expansion of y in z
6.931 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
6.931 * [taylor]: Taking taylor expansion of a in z
6.931 * [taylor]: Taking taylor expansion of (* y t) in z
6.931 * [taylor]: Taking taylor expansion of y in z
6.931 * [taylor]: Taking taylor expansion of t in z
6.931 * [taylor]: Taking taylor expansion of (/ a y) in y
6.931 * [taylor]: Taking taylor expansion of a in y
6.931 * [taylor]: Taking taylor expansion of y in y
6.931 * [taylor]: Taking taylor expansion of a in a
6.931 * [taylor]: Taking taylor expansion of 0 in t
6.931 * [taylor]: Taking taylor expansion of 1 in y
6.933 * [taylor]: Taking taylor expansion of 0 in z
6.934 * [taylor]: Taking taylor expansion of (- (/ a (* y t))) in y
6.934 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.934 * [taylor]: Taking taylor expansion of a in y
6.934 * [taylor]: Taking taylor expansion of (* y t) in y
6.934 * [taylor]: Taking taylor expansion of y in y
6.934 * [taylor]: Taking taylor expansion of t in y
6.934 * [taylor]: Taking taylor expansion of (- (/ a t)) in a
6.934 * [taylor]: Taking taylor expansion of (/ a t) in a
6.934 * [taylor]: Taking taylor expansion of a in a
6.934 * [taylor]: Taking taylor expansion of t in a
6.934 * [taylor]: Taking taylor expansion of 0 in y
6.935 * [taylor]: Taking taylor expansion of 0 in a
6.935 * [taylor]: Taking taylor expansion of 0 in t
6.935 * [taylor]: Taking taylor expansion of 1 in a
6.935 * [taylor]: Taking taylor expansion of 1 in t
6.935 * [taylor]: Taking taylor expansion of 1 in t
6.937 * [taylor]: Taking taylor expansion of 0 in z
6.938 * [taylor]: Taking taylor expansion of 0 in y
6.939 * [taylor]: Taking taylor expansion of 0 in y
6.939 * [taylor]: Taking taylor expansion of 0 in y
6.940 * [taylor]: Taking taylor expansion of 0 in a
6.940 * [taylor]: Taking taylor expansion of 0 in t
6.940 * [taylor]: Taking taylor expansion of 0 in a
6.940 * [taylor]: Taking taylor expansion of 0 in t
6.941 * [taylor]: Taking taylor expansion of 0 in a
6.941 * [taylor]: Taking taylor expansion of 0 in t
6.941 * [taylor]: Taking taylor expansion of 0 in a
6.941 * [taylor]: Taking taylor expansion of 0 in t
6.941 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
6.941 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.941 * [taylor]: Taking taylor expansion of t in t
6.942 * [taylor]: Taking taylor expansion of 0 in t
6.942 * [taylor]: Taking taylor expansion of 0 in t
6.942 * [taylor]: Taking taylor expansion of 0 in t
6.943 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (x z y a t) around 0
6.943 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t
6.943 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
6.943 * [taylor]: Taking taylor expansion of a in t
6.943 * [taylor]: Taking taylor expansion of (* y t) in t
6.943 * [taylor]: Taking taylor expansion of y in t
6.943 * [taylor]: Taking taylor expansion of t in t
6.944 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t
6.944 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t
6.944 * [taylor]: Taking taylor expansion of a in t
6.944 * [taylor]: Taking taylor expansion of (* z y) in t
6.944 * [taylor]: Taking taylor expansion of z in t
6.944 * [taylor]: Taking taylor expansion of y in t
6.944 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.944 * [taylor]: Taking taylor expansion of x in t
6.944 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a
6.944 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a
6.944 * [taylor]: Taking taylor expansion of a in a
6.944 * [taylor]: Taking taylor expansion of (* y t) in a
6.944 * [taylor]: Taking taylor expansion of y in a
6.944 * [taylor]: Taking taylor expansion of t in a
6.944 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
6.944 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.944 * [taylor]: Taking taylor expansion of a in a
6.944 * [taylor]: Taking taylor expansion of (* z y) in a
6.944 * [taylor]: Taking taylor expansion of z in a
6.944 * [taylor]: Taking taylor expansion of y in a
6.944 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.944 * [taylor]: Taking taylor expansion of x in a
6.944 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y
6.944 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.944 * [taylor]: Taking taylor expansion of a in y
6.944 * [taylor]: Taking taylor expansion of (* y t) in y
6.944 * [taylor]: Taking taylor expansion of y in y
6.944 * [taylor]: Taking taylor expansion of t in y
6.945 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
6.945 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.945 * [taylor]: Taking taylor expansion of a in y
6.945 * [taylor]: Taking taylor expansion of (* z y) in y
6.945 * [taylor]: Taking taylor expansion of z in y
6.945 * [taylor]: Taking taylor expansion of y in y
6.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.945 * [taylor]: Taking taylor expansion of x in y
6.946 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z
6.946 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
6.946 * [taylor]: Taking taylor expansion of a in z
6.946 * [taylor]: Taking taylor expansion of (* y t) in z
6.946 * [taylor]: Taking taylor expansion of y in z
6.946 * [taylor]: Taking taylor expansion of t in z
6.946 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
6.946 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.946 * [taylor]: Taking taylor expansion of a in z
6.946 * [taylor]: Taking taylor expansion of (* z y) in z
6.946 * [taylor]: Taking taylor expansion of z in z
6.946 * [taylor]: Taking taylor expansion of y in z
6.946 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.946 * [taylor]: Taking taylor expansion of x in z
6.946 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
6.946 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
6.946 * [taylor]: Taking taylor expansion of a in x
6.946 * [taylor]: Taking taylor expansion of (* y t) in x
6.946 * [taylor]: Taking taylor expansion of y in x
6.946 * [taylor]: Taking taylor expansion of t in x
6.946 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.946 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.946 * [taylor]: Taking taylor expansion of a in x
6.946 * [taylor]: Taking taylor expansion of (* z y) in x
6.946 * [taylor]: Taking taylor expansion of z in x
6.946 * [taylor]: Taking taylor expansion of y in x
6.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.947 * [taylor]: Taking taylor expansion of x in x
6.947 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x
6.947 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x
6.947 * [taylor]: Taking taylor expansion of a in x
6.947 * [taylor]: Taking taylor expansion of (* y t) in x
6.947 * [taylor]: Taking taylor expansion of y in x
6.947 * [taylor]: Taking taylor expansion of t in x
6.947 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.947 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.947 * [taylor]: Taking taylor expansion of a in x
6.947 * [taylor]: Taking taylor expansion of (* z y) in x
6.947 * [taylor]: Taking taylor expansion of z in x
6.947 * [taylor]: Taking taylor expansion of y in x
6.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.947 * [taylor]: Taking taylor expansion of x in x
6.948 * [taylor]: Taking taylor expansion of -1 in z
6.949 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (/ a (* z y))) in z
6.949 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z
6.949 * [taylor]: Taking taylor expansion of a in z
6.949 * [taylor]: Taking taylor expansion of (* y t) in z
6.949 * [taylor]: Taking taylor expansion of y in z
6.949 * [taylor]: Taking taylor expansion of t in z
6.949 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.949 * [taylor]: Taking taylor expansion of a in z
6.949 * [taylor]: Taking taylor expansion of (* z y) in z
6.949 * [taylor]: Taking taylor expansion of z in z
6.949 * [taylor]: Taking taylor expansion of y in z
6.950 * [taylor]: Taking taylor expansion of (- (/ a y)) in y
6.950 * [taylor]: Taking taylor expansion of (/ a y) in y
6.950 * [taylor]: Taking taylor expansion of a in y
6.950 * [taylor]: Taking taylor expansion of y in y
6.950 * [taylor]: Taking taylor expansion of (- a) in a
6.950 * [taylor]: Taking taylor expansion of a in a
6.950 * [taylor]: Taking taylor expansion of 0 in t
6.950 * [taylor]: Taking taylor expansion of -1 in y
6.952 * [taylor]: Taking taylor expansion of 0 in z
6.953 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y
6.953 * [taylor]: Taking taylor expansion of a in y
6.953 * [taylor]: Taking taylor expansion of (* y t) in y
6.953 * [taylor]: Taking taylor expansion of y in y
6.953 * [taylor]: Taking taylor expansion of t in y
6.953 * [taylor]: Taking taylor expansion of (/ a t) in a
6.953 * [taylor]: Taking taylor expansion of a in a
6.953 * [taylor]: Taking taylor expansion of t in a
6.953 * [taylor]: Taking taylor expansion of 0 in y
6.954 * [taylor]: Taking taylor expansion of 0 in a
6.954 * [taylor]: Taking taylor expansion of 0 in t
6.954 * [taylor]: Taking taylor expansion of -1 in a
6.954 * [taylor]: Taking taylor expansion of -1 in t
6.955 * [taylor]: Taking taylor expansion of -1 in t
6.957 * [taylor]: Taking taylor expansion of 0 in z
6.957 * [taylor]: Taking taylor expansion of 0 in y
6.959 * [taylor]: Taking taylor expansion of 0 in y
6.959 * [taylor]: Taking taylor expansion of 0 in y
6.959 * [taylor]: Taking taylor expansion of 0 in a
6.959 * [taylor]: Taking taylor expansion of 0 in t
6.959 * [taylor]: Taking taylor expansion of 0 in a
6.959 * [taylor]: Taking taylor expansion of 0 in t
6.961 * [taylor]: Taking taylor expansion of 0 in a
6.961 * [taylor]: Taking taylor expansion of 0 in t
6.961 * [taylor]: Taking taylor expansion of 0 in a
6.961 * [taylor]: Taking taylor expansion of 0 in t
6.961 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.961 * [taylor]: Taking taylor expansion of t in t
6.961 * [taylor]: Taking taylor expansion of 0 in t
6.961 * [taylor]: Taking taylor expansion of 0 in t
6.961 * [taylor]: Taking taylor expansion of 0 in t
6.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.962 * [approximate]: Taking taylor expansion of (+ (/ (* z y) a) x) in (x z y a) around 0
6.962 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a
6.962 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a
6.962 * [taylor]: Taking taylor expansion of (* z y) in a
6.962 * [taylor]: Taking taylor expansion of z in a
6.962 * [taylor]: Taking taylor expansion of y in a
6.963 * [taylor]: Taking taylor expansion of a in a
6.963 * [taylor]: Taking taylor expansion of x in a
6.963 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y
6.963 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y
6.963 * [taylor]: Taking taylor expansion of (* z y) in y
6.963 * [taylor]: Taking taylor expansion of z in y
6.963 * [taylor]: Taking taylor expansion of y in y
6.963 * [taylor]: Taking taylor expansion of a in y
6.963 * [taylor]: Taking taylor expansion of x in y
6.963 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z
6.963 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.963 * [taylor]: Taking taylor expansion of (* z y) in z
6.963 * [taylor]: Taking taylor expansion of z in z
6.963 * [taylor]: Taking taylor expansion of y in z
6.963 * [taylor]: Taking taylor expansion of a in z
6.963 * [taylor]: Taking taylor expansion of x in z
6.964 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
6.964 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
6.964 * [taylor]: Taking taylor expansion of (* z y) in x
6.964 * [taylor]: Taking taylor expansion of z in x
6.964 * [taylor]: Taking taylor expansion of y in x
6.964 * [taylor]: Taking taylor expansion of a in x
6.964 * [taylor]: Taking taylor expansion of x in x
6.964 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x
6.964 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x
6.964 * [taylor]: Taking taylor expansion of (* z y) in x
6.964 * [taylor]: Taking taylor expansion of z in x
6.964 * [taylor]: Taking taylor expansion of y in x
6.964 * [taylor]: Taking taylor expansion of a in x
6.964 * [taylor]: Taking taylor expansion of x in x
6.964 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z
6.964 * [taylor]: Taking taylor expansion of (* z y) in z
6.964 * [taylor]: Taking taylor expansion of z in z
6.964 * [taylor]: Taking taylor expansion of y in z
6.964 * [taylor]: Taking taylor expansion of a in z
6.965 * [taylor]: Taking taylor expansion of 1 in z
6.965 * [taylor]: Taking taylor expansion of 1 in y
6.965 * [taylor]: Taking taylor expansion of 1 in a
6.965 * [taylor]: Taking taylor expansion of (/ y a) in y
6.965 * [taylor]: Taking taylor expansion of y in y
6.965 * [taylor]: Taking taylor expansion of a in y
6.966 * [taylor]: Taking taylor expansion of 0 in z
6.966 * [taylor]: Taking taylor expansion of 0 in y
6.966 * [taylor]: Taking taylor expansion of 0 in a
6.966 * [taylor]: Taking taylor expansion of 0 in y
6.966 * [taylor]: Taking taylor expansion of 0 in a
6.967 * [taylor]: Taking taylor expansion of 0 in y
6.967 * [taylor]: Taking taylor expansion of 0 in a
6.967 * [taylor]: Taking taylor expansion of 0 in a
6.967 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.967 * [taylor]: Taking taylor expansion of a in a
6.968 * [taylor]: Taking taylor expansion of 0 in z
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [taylor]: Taking taylor expansion of 0 in a
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [taylor]: Taking taylor expansion of 0 in a
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in y
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.971 * [approximate]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in (x z y a) around 0
6.971 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
6.971 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.971 * [taylor]: Taking taylor expansion of a in a
6.971 * [taylor]: Taking taylor expansion of (* z y) in a
6.971 * [taylor]: Taking taylor expansion of z in a
6.971 * [taylor]: Taking taylor expansion of y in a
6.971 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.971 * [taylor]: Taking taylor expansion of x in a
6.971 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
6.971 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.971 * [taylor]: Taking taylor expansion of a in y
6.971 * [taylor]: Taking taylor expansion of (* z y) in y
6.971 * [taylor]: Taking taylor expansion of z in y
6.971 * [taylor]: Taking taylor expansion of y in y
6.971 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.971 * [taylor]: Taking taylor expansion of x in y
6.971 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
6.972 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.972 * [taylor]: Taking taylor expansion of a in z
6.972 * [taylor]: Taking taylor expansion of (* z y) in z
6.972 * [taylor]: Taking taylor expansion of z in z
6.972 * [taylor]: Taking taylor expansion of y in z
6.972 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.972 * [taylor]: Taking taylor expansion of x in z
6.972 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.972 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.972 * [taylor]: Taking taylor expansion of a in x
6.972 * [taylor]: Taking taylor expansion of (* z y) in x
6.972 * [taylor]: Taking taylor expansion of z in x
6.972 * [taylor]: Taking taylor expansion of y in x
6.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.972 * [taylor]: Taking taylor expansion of x in x
6.972 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.972 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.973 * [taylor]: Taking taylor expansion of a in x
6.973 * [taylor]: Taking taylor expansion of (* z y) in x
6.973 * [taylor]: Taking taylor expansion of z in x
6.973 * [taylor]: Taking taylor expansion of y in x
6.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.973 * [taylor]: Taking taylor expansion of x in x
6.973 * [taylor]: Taking taylor expansion of 1 in z
6.974 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.974 * [taylor]: Taking taylor expansion of a in z
6.974 * [taylor]: Taking taylor expansion of (* z y) in z
6.974 * [taylor]: Taking taylor expansion of z in z
6.974 * [taylor]: Taking taylor expansion of y in z
6.974 * [taylor]: Taking taylor expansion of (/ a y) in y
6.974 * [taylor]: Taking taylor expansion of a in y
6.974 * [taylor]: Taking taylor expansion of y in y
6.974 * [taylor]: Taking taylor expansion of a in a
6.974 * [taylor]: Taking taylor expansion of 1 in y
6.976 * [taylor]: Taking taylor expansion of 0 in z
6.976 * [taylor]: Taking taylor expansion of 0 in y
6.976 * [taylor]: Taking taylor expansion of 0 in y
6.977 * [taylor]: Taking taylor expansion of 0 in a
6.977 * [taylor]: Taking taylor expansion of 1 in a
6.978 * [taylor]: Taking taylor expansion of 0 in z
6.978 * [taylor]: Taking taylor expansion of 0 in y
6.979 * [taylor]: Taking taylor expansion of 0 in y
6.979 * [taylor]: Taking taylor expansion of 0 in y
6.979 * [taylor]: Taking taylor expansion of 0 in a
6.979 * [taylor]: Taking taylor expansion of 0 in a
6.980 * [taylor]: Taking taylor expansion of 0 in a
6.980 * [taylor]: Taking taylor expansion of 0 in a
6.981 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in (x z y a) around 0
6.981 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in a
6.981 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a
6.981 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a
6.981 * [taylor]: Taking taylor expansion of a in a
6.981 * [taylor]: Taking taylor expansion of (* z y) in a
6.981 * [taylor]: Taking taylor expansion of z in a
6.981 * [taylor]: Taking taylor expansion of y in a
6.981 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.981 * [taylor]: Taking taylor expansion of x in a
6.981 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in y
6.981 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y
6.981 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y
6.981 * [taylor]: Taking taylor expansion of a in y
6.981 * [taylor]: Taking taylor expansion of (* z y) in y
6.981 * [taylor]: Taking taylor expansion of z in y
6.981 * [taylor]: Taking taylor expansion of y in y
6.982 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.982 * [taylor]: Taking taylor expansion of x in y
6.982 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in z
6.982 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z
6.982 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.982 * [taylor]: Taking taylor expansion of a in z
6.982 * [taylor]: Taking taylor expansion of (* z y) in z
6.982 * [taylor]: Taking taylor expansion of z in z
6.982 * [taylor]: Taking taylor expansion of y in z
6.982 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.982 * [taylor]: Taking taylor expansion of x in z
6.982 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in x
6.982 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.982 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.982 * [taylor]: Taking taylor expansion of a in x
6.982 * [taylor]: Taking taylor expansion of (* z y) in x
6.982 * [taylor]: Taking taylor expansion of z in x
6.982 * [taylor]: Taking taylor expansion of y in x
6.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.982 * [taylor]: Taking taylor expansion of x in x
6.983 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x))) in x
6.983 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x
6.983 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x
6.983 * [taylor]: Taking taylor expansion of a in x
6.983 * [taylor]: Taking taylor expansion of (* z y) in x
6.983 * [taylor]: Taking taylor expansion of z in x
6.983 * [taylor]: Taking taylor expansion of y in x
6.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.983 * [taylor]: Taking taylor expansion of x in x
6.984 * [taylor]: Taking taylor expansion of -1 in z
6.984 * [taylor]: Taking taylor expansion of (- (/ a (* z y))) in z
6.984 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z
6.984 * [taylor]: Taking taylor expansion of a in z
6.984 * [taylor]: Taking taylor expansion of (* z y) in z
6.984 * [taylor]: Taking taylor expansion of z in z
6.984 * [taylor]: Taking taylor expansion of y in z
6.985 * [taylor]: Taking taylor expansion of (- (/ a y)) in y
6.985 * [taylor]: Taking taylor expansion of (/ a y) in y
6.985 * [taylor]: Taking taylor expansion of a in y
6.985 * [taylor]: Taking taylor expansion of y in y
6.985 * [taylor]: Taking taylor expansion of (- a) in a
6.985 * [taylor]: Taking taylor expansion of a in a
6.985 * [taylor]: Taking taylor expansion of -1 in y
6.986 * [taylor]: Taking taylor expansion of 0 in z
6.987 * [taylor]: Taking taylor expansion of 0 in y
6.987 * [taylor]: Taking taylor expansion of 0 in y
6.988 * [taylor]: Taking taylor expansion of 0 in a
6.988 * [taylor]: Taking taylor expansion of -1 in a
6.990 * [taylor]: Taking taylor expansion of 0 in z
6.990 * [taylor]: Taking taylor expansion of 0 in y
6.991 * [taylor]: Taking taylor expansion of 0 in y
6.991 * [taylor]: Taking taylor expansion of 0 in y
6.992 * [taylor]: Taking taylor expansion of 0 in a
6.992 * [taylor]: Taking taylor expansion of 0 in a
6.993 * [taylor]: Taking taylor expansion of 0 in a
6.993 * [taylor]: Taking taylor expansion of 0 in a
6.993 * * * [progress]: simplifying candidates
6.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (/ y a))
  (+ (log z) (- (log y) (log a)))
  (+ (log z) (log (/ y a)))
  (log (* z (/ y a)))
  (exp (* z (/ y a)))
  (* (* (* z z) z) (/ (* (* y y) y) (* (* a a) a)))
  (* (* (* z z) z) (* (* (/ y a) (/ y a)) (/ y a)))
  (* (cbrt (* z (/ y a))) (cbrt (* z (/ y a))))
  (cbrt (* z (/ y a)))
  (* (* (* z (/ y a)) (* z (/ y a))) (* z (/ y a)))
  (sqrt (* z (/ y a)))
  (sqrt (* z (/ y a)))
  (* (sqrt z) (sqrt (/ y a)))
  (* (sqrt z) (sqrt (/ y a)))
  (* (sqrt z) (/ (sqrt y) (sqrt a)))
  (* (sqrt z) (/ (sqrt y) (sqrt a)))
  (* z (* (cbrt (/ y a)) (cbrt (/ y a))))
  (* z (sqrt (/ y a)))
  (* z (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))))
  (* z (/ (* (cbrt y) (cbrt y)) (sqrt a)))
  (* z (/ (* (cbrt y) (cbrt y)) 1))
  (* z (/ (sqrt y) (* (cbrt a) (cbrt a))))
  (* z (/ (sqrt y) (sqrt a)))
  (* z (/ (sqrt y) 1))
  (* z (/ 1 (* (cbrt a) (cbrt a))))
  (* z (/ 1 (sqrt a)))
  (* z (/ 1 1))
  (* z 1)
  (* z y)
  (* (cbrt z) (/ y a))
  (* (sqrt z) (/ y a))
  (* z (/ y a))
  (* z y)
  (* (/ y a) (- t))
  (+ (- (log y) (log a)) (log (- t)))
  (+ (log (/ y a)) (log (- t)))
  (log (* (/ y a) (- t)))
  (exp (* (/ y a) (- t)))
  (* (/ (* (* y y) y) (* (* a a) a)) (* (* (- t) (- t)) (- t)))
  (* (* (* (/ y a) (/ y a)) (/ y a)) (* (* (- t) (- t)) (- t)))
  (* (cbrt (* (/ y a) (- t))) (cbrt (* (/ y a) (- t))))
  (cbrt (* (/ y a) (- t)))
  (* (* (* (/ y a) (- t)) (* (/ y a) (- t))) (* (/ y a) (- t)))
  (sqrt (* (/ y a) (- t)))
  (sqrt (* (/ y a) (- t)))
  (* (sqrt (/ y a)) (sqrt (- t)))
  (* (sqrt (/ y a)) (sqrt (- t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- t)))
  (* (/ y a) t)
  (* (/ y a) (* (cbrt (- t)) (cbrt (- t))))
  (* (/ y a) (sqrt (- t)))
  (* (/ y a) 1)
  (* (/ y a) -1)
  (* (/ y a) (- (* (cbrt t) (cbrt t))))
  (* (/ y a) (- (sqrt t)))
  (* (/ y a) (- 1))
  (* (/ y a) (* (cbrt t) (cbrt t)))
  (* (/ y a) (sqrt t))
  (* (/ y a) 1)
  (* (cbrt (/ y a)) (- t))
  (* (sqrt (/ y a)) (- t))
  (* (/ (cbrt y) (cbrt a)) (- t))
  (* (/ (cbrt y) (sqrt a)) (- t))
  (* (/ (cbrt y) a) (- t))
  (* (/ (sqrt y) (cbrt a)) (- t))
  (* (/ (sqrt y) (sqrt a)) (- t))
  (* (/ (sqrt y) a) (- t))
  (* (/ y (cbrt a)) (- t))
  (* (/ y (sqrt a)) (- t))
  (* (/ y a) (- t))
  (* (/ y a) (- t))
  (* (/ 1 a) (- t))
  (* y (- t))
  (* (* (exp x) (exp (* z (/ y a)))) (exp (* (/ y a) (- t))))
  (* (exp (+ x (* z (/ y a)))) (exp (* (/ y a) (- t))))
  (log (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (exp (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (* (cbrt (+ (+ x (* z (/ y a))) (* (/ y a) (- t)))) (cbrt (+ (+ x (* z (/ y a))) (* (/ y a) (- t)))))
  (cbrt (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (* (* (+ (+ x (* z (/ y a))) (* (/ y a) (- t))) (+ (+ x (* z (/ y a))) (* (/ y a) (- t)))) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (sqrt (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (sqrt (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))
  (+ (* (+ (pow x 3) (pow (* z (/ y a)) 3)) a) (* (+ (* x x) (- (* (* z (/ y a)) (* z (/ y a))) (* x (* z (/ y a))))) (* y (- t))))
  (* (+ (* x x) (- (* (* z (/ y a)) (* z (/ y a))) (* x (* z (/ y a))))) a)
  (+ (* (- (* x x) (* (* z (/ y a)) (* z (/ y a)))) a) (* (- x (* z (/ y a))) (* y (- t))))
  (* (- x (* z (/ y a))) a)
  (+ (pow (+ x (* z (/ y a))) 3) (pow (* (/ y a) (- t)) 3))
  (+ (* (+ x (* z (/ y a))) (+ x (* z (/ y a)))) (- (* (* (/ y a) (- t)) (* (/ y a) (- t))) (* (+ x (* z (/ y a))) (* (/ y a) (- t)))))
  (- (* (+ x (* z (/ y a))) (+ x (* z (/ y a)))) (* (* (/ y a) (- t)) (* (/ y a) (- t))))
  (- (+ x (* z (/ y a))) (* (/ y a) (- t)))
  (+ (* z (/ y a)) (* (/ y a) (- t)))
  (* (exp x) (exp (* z (/ y a))))
  (log (+ x (* z (/ y a))))
  (exp (+ x (* z (/ y a))))
  (* (cbrt (+ x (* z (/ y a)))) (cbrt (+ x (* z (/ y a)))))
  (cbrt (+ x (* z (/ y a))))
  (* (* (+ x (* z (/ y a))) (+ x (* z (/ y a)))) (+ x (* z (/ y a))))
  (sqrt (+ x (* z (/ y a))))
  (sqrt (+ x (* z (/ y a))))
  (+ (pow x 3) (pow (* z (/ y a)) 3))
  (+ (* x x) (- (* (* z (/ y a)) (* z (/ y a))) (* x (* z (/ y a)))))
  (- (* x x) (* (* z (/ y a)) (* z (/ y a))))
  (- x (* z (/ y a)))
  (/ (* z y) a)
  (/ (* z y) a)
  (/ (* z y) a)
  (* -1 (/ (* t y) a))
  (* -1 (/ (* t y) a))
  (* -1 (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (- (+ (/ (* z y) a) x) (/ (* t y) a))
  (+ (/ (* z y) a) x)
  (+ (/ (* z y) a) x)
  (+ (/ (* z y) a) x)
7.000 * * [simplify]: iteration  0 :  181  enodes  (cost  1248 )
7.044 * * [simplify]: iteration  1 :  508  enodes  (cost  1135 )
7.290 * * [simplify]: iteration  2 :  1831  enodes  (cost  1014 )
7.931 * * [simplify]: iteration  done :  5000  enodes  (cost  995 )
7.932 * [simplify]: Simplified to:
   (/ (* z y) a)
  (log (* z (/ y a)))
  (log (* z (/ y a)))
  (log (* z (/ y a)))
  (exp (* z (/ y a)))
  (pow (* z (/ y a)) 3)
  (pow (* z (/ y a)) 3)
  (* (cbrt (* z (/ y a))) (cbrt (* z (/ y a))))
  (cbrt (* z (/ y a)))
  (pow (* z (/ y a)) 3)
  (sqrt (* z (/ y a)))
  (sqrt (* z (/ y a)))
  (* (sqrt z) (sqrt (/ y a)))
  (* (sqrt z) (sqrt (/ y a)))
  (* (sqrt z) (/ (sqrt y) (sqrt a)))
  (* (sqrt z) (/ (sqrt y) (sqrt a)))
  (* z (* (cbrt (/ y a)) (cbrt (/ y a))))
  (* z (sqrt (/ y a)))
  (* z (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))))
  (* z (/ (* (cbrt y) (cbrt y)) (sqrt a)))
  (* z (* (cbrt y) (cbrt y)))
  (* z (/ (sqrt y) (* (cbrt a) (cbrt a))))
  (* z (/ (sqrt y) (sqrt a)))
  (* z (sqrt y))
  (/ z (* (cbrt a) (cbrt a)))
  (/ z (sqrt a))
  z
  z
  (* z y)
  (* (cbrt z) (/ y a))
  (* (sqrt z) (/ y a))
  (/ (* z y) a)
  (* z y)
  (* (/ y a) (- t))
  (log (* (/ y a) (- t)))
  (log (* (/ y a) (- t)))
  (log (* (/ y a) (- t)))
  (exp (* (/ y a) (- t)))
  (pow (* (/ y a) (- t)) 3)
  (pow (* (/ y a) (- t)) 3)
  (* (cbrt (* (/ y a) (- t))) (cbrt (* (/ y a) (- t))))
  (cbrt (* (/ y a) (- t)))
  (pow (* (/ y a) (- t)) 3)
  (sqrt (* (/ y a) (- t)))
  (sqrt (* (/ y a) (- t)))
  (* (sqrt (/ y a)) (sqrt (- t)))
  (* (sqrt (/ y a)) (sqrt (- t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- t)))
  (* (/ (sqrt y) (sqrt a)) (sqrt (- t)))
  (/ (* t y) a)
  (* (/ y a) (* (cbrt (- t)) (cbrt (- t))))
  (* (/ y a) (sqrt (- t)))
  (/ y a)
  (- (/ y a))
  (* (/ y a) (- (* (cbrt t) (cbrt t))))
  (* (/ y a) (- (sqrt t)))
  (- (/ y a))
  (* (/ y a) (* (cbrt t) (cbrt t)))
  (* (/ y a) (sqrt t))
  (/ y a)
  (* (cbrt (/ y a)) (- t))
  (* (sqrt (/ y a)) (- t))
  (* (/ (cbrt y) (cbrt a)) (- t))
  (* (/ (cbrt y) (sqrt a)) (- t))
  (* (/ (cbrt y) a) (- t))
  (* (/ (sqrt y) (cbrt a)) (- t))
  (* (/ (sqrt y) (sqrt a)) (- t))
  (* (/ (sqrt y) a) (- t))
  (* (/ y (cbrt a)) (- t))
  (* (/ y (sqrt a)) (- t))
  (* (/ y a) (- t))
  (* (/ y a) (- t))
  (/ (- t) a)
  (* y (- t))
  (exp (+ x (* (/ y a) (- z t))))
  (exp (+ x (* (/ y a) (- z t))))
  (log (+ x (* (/ y a) (- z t))))
  (exp (+ x (* (/ y a) (- z t))))
  (* (cbrt (+ x (* (/ y a) (- z t)))) (cbrt (+ x (* (/ y a) (- z t)))))
  (cbrt (+ x (* (/ y a) (- z t))))
  (pow (+ x (* (/ y a) (- z t))) 3)
  (sqrt (+ x (* (/ y a) (- z t))))
  (sqrt (+ x (* (/ y a) (- z t))))
  (- (* (+ (pow x 3) (pow (* z (/ y a)) 3)) a) (* (* t y) (+ (* (/ (* z y) a) (- (/ (* z y) a) x)) (* x x))))
  (* (+ (* (/ (* z y) a) (- (/ (* z y) a) x)) (* x x)) a)
  (- (* (- (* x x) (* (* z (/ y a)) (* z (/ y a)))) a) (* (* t y) (- x (* z (/ y a)))))
  (* (- x (* z (/ y a))) a)
  (- (pow (+ x (* z (/ y a))) 3) (pow (/ (* t y) a) 3))
  (- (* (+ x (* z (/ y a))) (+ x (* z (/ y a)))) (* (/ (* t y) a) (- (* (/ y a) (- t)) (+ (/ (* z y) a) x))))
  (* (+ x (* (/ y a) (- z (- t)))) (+ x (* (/ y a) (- z t))))
  (+ x (* (/ y a) (- z (- t))))
  (* (/ y a) (- z t))
  (exp (+ x (* z (/ y a))))
  (log (+ x (* z (/ y a))))
  (exp (+ x (* z (/ y a))))
  (* (cbrt (+ x (* z (/ y a)))) (cbrt (+ x (* z (/ y a)))))
  (cbrt (+ x (* z (/ y a))))
  (pow (+ x (* z (/ y a))) 3)
  (sqrt (+ x (* z (/ y a))))
  (sqrt (+ x (* z (/ y a))))
  (+ (pow x 3) (pow (* z (/ y a)) 3))
  (+ (* (/ (* z y) a) (- (/ (* z y) a) x)) (* x x))
  (- (* x x) (* (* z (/ y a)) (* z (/ y a))))
  (- x (* z (/ y a)))
  (/ (* z y) a)
  (/ (* z y) a)
  (/ (* z y) a)
  (* (/ y a) (- t))
  (* (/ y a) (- t))
  (* (/ y a) (- t))
  (+ x (* (/ y a) (- z t)))
  (+ x (* (/ y a) (- z t)))
  (+ x (* (/ y a) (- z t)))
  (+ (/ (* z y) a) x)
  (+ (/ (* z y) a) x)
  (+ (/ (* z y) a) x)
7.932 * * * [progress]: adding candidates to table
8.240 * [progress]: [Phase 3 of 3] Extracting.
8.240 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.242 * * * [regime-changes]: Trying 7 branch expressions: ((- z t) (* y (- z t)) a t z y x)
8.242 * * * * [regimes]: Trying to branch on (- z t) from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.285 * * * * [regimes]: Trying to branch on (- z t) from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.325 * * * * [regimes]: Trying to branch on (* y (- z t)) from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.365 * * * * [regimes]: Trying to branch on (* y (- z t)) from (#<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))>)
8.384 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.425 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.456 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.498 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.540 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.583 * * * [regime]: Found split indices: #<option (#s(si 1 33) #s(si 4 225) #s(si 2 255))>
8.584 * [binary-search]: Only using regimes for bounds on (* y (- z t)) and (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.584 * [regimes]: Found splitpoints: (#s(sp 1 (* y (- z t)) -3.7422788828719246e+161) #s(sp 4 (* y (- z t)) 2.424193312752178e+192) #s(sp 2 (* y (- z t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (+ x (/ y (/ a (- z t)))))> #<alt (λ (x y z t a) (+ x (* y (/ (- z t) a))))> #<alt (λ (x y z t a) (+ (+ x (* z (/ y a))) (* (/ y a) (- t))))> #<alt (λ (x y z t a) (+ x (/ (* (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t)))) a)))> #<alt (λ (x y z t a) (+ x (/ 1 (/ a (* y (- z t))))))> #<alt (λ (x y z t a) (+ x (* (* (/ y a) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))>)
8.585 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* y (- z t)) -3.7422788828719246e+161) (+ x (* y (/ (- z t) a))) (if (<= (* y (- z t)) 2.424193312752178e+192) (+ x (/ 1 (/ a (* y (- z t))))) (+ (+ x (* z (/ y a))) (* (/ y a) (- t)))))
8.585 * * [simplify]: iteration  0 :  26  enodes  (cost  50 )
8.586 * * [simplify]: iteration  1 :  38  enodes  (cost  50 )
8.590 * * [simplify]: iteration  2 :  41  enodes  (cost  50 )
8.591 * * [simplify]: iteration  3 :  44  enodes  (cost  50 )
8.593 * * [simplify]: iteration  done :  44  enodes  (cost  50 )
8.593 * [simplify]: Simplified to:
   (if (<= (* y (- z t)) -3.7422788828719246e+161) (+ x (* y (/ (- z t) a))) (if (<= (* y (- z t)) 2.424193312752178e+192) (+ x (/ 1 (/ a (* y (- z t))))) (+ (+ x (* z (/ y a))) (* (/ y a) (- t)))))
9.423 * [regime-testing]: Baseline error score: 2.5745454424093532
9.424 * [regime-testing]: Oracle error score: 0.015565420007525779
9.425 * [regime-testing]: End program error score: 0.6590814968846864
9.457 * [regime-testing]: Target error score: 0.6251866536598633