14.326 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.036 * * [simplify]: iteration  0 :  17  enodes  (cost  17 )
0.038 * * [simplify]: iteration  1 :  34  enodes  (cost  17 )
0.042 * * [simplify]: iteration  2 :  80  enodes  (cost  17 )
0.055 * * [simplify]: iteration  3 :  207  enodes  (cost  17 )
0.095 * * [simplify]: iteration  4 :  384  enodes  (cost  17 )
0.207 * * [simplify]: iteration  5 :  477  enodes  (cost  17 )
0.387 * * [simplify]: iteration  6 :  550  enodes  (cost  17 )
0.625 * * [simplify]: iteration  7 :  573  enodes  (cost  17 )
0.886 * * [simplify]: iteration  8 :  656  enodes  (cost  17 )
1.245 * * [simplify]: iteration  9 :  1018  enodes  (cost  17 )
2.139 * * [simplify]: iteration  10 :  1322  enodes  (cost  17 )
3.468 * * [simplify]: iteration  done :  1322  enodes  (cost  17 )
3.468 * [simplify]: Simplified to:
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
3.470 * * [progress]: iteration 1 / 4
3.470 * * * [progress]: picking best candidate
3.472 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>
3.472 * * * [progress]: localizing error
3.485 * * * [progress]: generating rewritten candidates
3.485 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
3.517 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.523 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.528 * * * [progress]: generating series expansions
3.528 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.528 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
3.528 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.528 * [taylor]: Taking taylor expansion of 9.0 in t
3.528 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.528 * [taylor]: Taking taylor expansion of t in t
3.528 * [taylor]: Taking taylor expansion of (* z y) in t
3.528 * [taylor]: Taking taylor expansion of z in t
3.528 * [taylor]: Taking taylor expansion of y in t
3.528 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.528 * [taylor]: Taking taylor expansion of 9.0 in z
3.528 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.528 * [taylor]: Taking taylor expansion of t in z
3.528 * [taylor]: Taking taylor expansion of (* z y) in z
3.528 * [taylor]: Taking taylor expansion of z in z
3.528 * [taylor]: Taking taylor expansion of y in z
3.528 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.528 * [taylor]: Taking taylor expansion of 9.0 in y
3.528 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.528 * [taylor]: Taking taylor expansion of t in y
3.528 * [taylor]: Taking taylor expansion of (* z y) in y
3.528 * [taylor]: Taking taylor expansion of z in y
3.528 * [taylor]: Taking taylor expansion of y in y
3.528 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.528 * [taylor]: Taking taylor expansion of 9.0 in y
3.528 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.528 * [taylor]: Taking taylor expansion of t in y
3.528 * [taylor]: Taking taylor expansion of (* z y) in y
3.529 * [taylor]: Taking taylor expansion of z in y
3.529 * [taylor]: Taking taylor expansion of y in y
3.529 * [taylor]: Taking taylor expansion of 0 in z
3.529 * [taylor]: Taking taylor expansion of 0 in t
3.530 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.530 * [taylor]: Taking taylor expansion of 9.0 in z
3.530 * [taylor]: Taking taylor expansion of (* t z) in z
3.530 * [taylor]: Taking taylor expansion of t in z
3.530 * [taylor]: Taking taylor expansion of z in z
3.531 * [taylor]: Taking taylor expansion of 0 in t
3.531 * [taylor]: Taking taylor expansion of 0 in t
3.532 * [taylor]: Taking taylor expansion of 0 in z
3.532 * [taylor]: Taking taylor expansion of 0 in t
3.533 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
3.533 * [taylor]: Taking taylor expansion of 9.0 in t
3.533 * [taylor]: Taking taylor expansion of t in t
3.533 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
3.533 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.533 * [taylor]: Taking taylor expansion of 9.0 in t
3.533 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.533 * [taylor]: Taking taylor expansion of t in t
3.533 * [taylor]: Taking taylor expansion of (* z y) in t
3.533 * [taylor]: Taking taylor expansion of z in t
3.533 * [taylor]: Taking taylor expansion of y in t
3.534 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
3.534 * [taylor]: Taking taylor expansion of 9.0 in z
3.534 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.534 * [taylor]: Taking taylor expansion of t in z
3.534 * [taylor]: Taking taylor expansion of (* z y) in z
3.534 * [taylor]: Taking taylor expansion of z in z
3.534 * [taylor]: Taking taylor expansion of y in z
3.534 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.534 * [taylor]: Taking taylor expansion of 9.0 in y
3.534 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.534 * [taylor]: Taking taylor expansion of t in y
3.534 * [taylor]: Taking taylor expansion of (* z y) in y
3.534 * [taylor]: Taking taylor expansion of z in y
3.534 * [taylor]: Taking taylor expansion of y in y
3.535 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.535 * [taylor]: Taking taylor expansion of 9.0 in y
3.535 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.535 * [taylor]: Taking taylor expansion of t in y
3.535 * [taylor]: Taking taylor expansion of (* z y) in y
3.535 * [taylor]: Taking taylor expansion of z in y
3.535 * [taylor]: Taking taylor expansion of y in y
3.536 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.536 * [taylor]: Taking taylor expansion of 9.0 in z
3.536 * [taylor]: Taking taylor expansion of (* t z) in z
3.536 * [taylor]: Taking taylor expansion of t in z
3.536 * [taylor]: Taking taylor expansion of z in z
3.536 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.536 * [taylor]: Taking taylor expansion of 9.0 in t
3.536 * [taylor]: Taking taylor expansion of t in t
3.537 * [taylor]: Taking taylor expansion of 0 in z
3.538 * [taylor]: Taking taylor expansion of 0 in t
3.539 * [taylor]: Taking taylor expansion of 0 in z
3.539 * [taylor]: Taking taylor expansion of 0 in t
3.540 * [taylor]: Taking taylor expansion of 0 in t
3.542 * [taylor]: Taking taylor expansion of 0 in z
3.542 * [taylor]: Taking taylor expansion of 0 in t
3.542 * [taylor]: Taking taylor expansion of 0 in t
3.543 * [taylor]: Taking taylor expansion of 0 in t
3.543 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
3.543 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.543 * [taylor]: Taking taylor expansion of -9.0 in t
3.543 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.543 * [taylor]: Taking taylor expansion of t in t
3.543 * [taylor]: Taking taylor expansion of (* z y) in t
3.543 * [taylor]: Taking taylor expansion of z in t
3.543 * [taylor]: Taking taylor expansion of y in t
3.544 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
3.544 * [taylor]: Taking taylor expansion of -9.0 in z
3.544 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.544 * [taylor]: Taking taylor expansion of t in z
3.544 * [taylor]: Taking taylor expansion of (* z y) in z
3.544 * [taylor]: Taking taylor expansion of z in z
3.544 * [taylor]: Taking taylor expansion of y in z
3.544 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.544 * [taylor]: Taking taylor expansion of -9.0 in y
3.544 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.544 * [taylor]: Taking taylor expansion of t in y
3.544 * [taylor]: Taking taylor expansion of (* z y) in y
3.544 * [taylor]: Taking taylor expansion of z in y
3.544 * [taylor]: Taking taylor expansion of y in y
3.545 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.545 * [taylor]: Taking taylor expansion of -9.0 in y
3.545 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.545 * [taylor]: Taking taylor expansion of t in y
3.545 * [taylor]: Taking taylor expansion of (* z y) in y
3.545 * [taylor]: Taking taylor expansion of z in y
3.545 * [taylor]: Taking taylor expansion of y in y
3.546 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
3.546 * [taylor]: Taking taylor expansion of -9.0 in z
3.546 * [taylor]: Taking taylor expansion of (* t z) in z
3.546 * [taylor]: Taking taylor expansion of t in z
3.546 * [taylor]: Taking taylor expansion of z in z
3.546 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
3.546 * [taylor]: Taking taylor expansion of -9.0 in t
3.546 * [taylor]: Taking taylor expansion of t in t
3.547 * [taylor]: Taking taylor expansion of 0 in z
3.548 * [taylor]: Taking taylor expansion of 0 in t
3.550 * [taylor]: Taking taylor expansion of 0 in z
3.550 * [taylor]: Taking taylor expansion of 0 in t
3.550 * [taylor]: Taking taylor expansion of 0 in t
3.552 * [taylor]: Taking taylor expansion of 0 in z
3.552 * [taylor]: Taking taylor expansion of 0 in t
3.552 * [taylor]: Taking taylor expansion of 0 in t
3.553 * [taylor]: Taking taylor expansion of 0 in t
3.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
3.553 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0
3.553 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
3.553 * [taylor]: Taking taylor expansion of 9.0 in z
3.553 * [taylor]: Taking taylor expansion of (* z y) in z
3.553 * [taylor]: Taking taylor expansion of z in z
3.553 * [taylor]: Taking taylor expansion of y in z
3.553 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
3.553 * [taylor]: Taking taylor expansion of 9.0 in y
3.553 * [taylor]: Taking taylor expansion of (* z y) in y
3.553 * [taylor]: Taking taylor expansion of z in y
3.553 * [taylor]: Taking taylor expansion of y in y
3.553 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
3.553 * [taylor]: Taking taylor expansion of 9.0 in y
3.553 * [taylor]: Taking taylor expansion of (* z y) in y
3.553 * [taylor]: Taking taylor expansion of z in y
3.554 * [taylor]: Taking taylor expansion of y in y
3.554 * [taylor]: Taking taylor expansion of 0 in z
3.554 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
3.554 * [taylor]: Taking taylor expansion of 9.0 in z
3.554 * [taylor]: Taking taylor expansion of z in z
3.556 * [taylor]: Taking taylor expansion of 0 in z
3.558 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
3.560 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.560 * [taylor]: Taking taylor expansion of 9.0 in z
3.560 * [taylor]: Taking taylor expansion of (* z y) in z
3.560 * [taylor]: Taking taylor expansion of z in z
3.560 * [taylor]: Taking taylor expansion of y in z
3.560 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.560 * [taylor]: Taking taylor expansion of 9.0 in y
3.560 * [taylor]: Taking taylor expansion of (* z y) in y
3.560 * [taylor]: Taking taylor expansion of z in y
3.560 * [taylor]: Taking taylor expansion of y in y
3.561 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.561 * [taylor]: Taking taylor expansion of 9.0 in y
3.561 * [taylor]: Taking taylor expansion of (* z y) in y
3.561 * [taylor]: Taking taylor expansion of z in y
3.561 * [taylor]: Taking taylor expansion of y in y
3.561 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
3.561 * [taylor]: Taking taylor expansion of 9.0 in z
3.561 * [taylor]: Taking taylor expansion of z in z
3.562 * [taylor]: Taking taylor expansion of 0 in z
3.563 * [taylor]: Taking taylor expansion of 0 in z
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.565 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
3.565 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.565 * [taylor]: Taking taylor expansion of 9.0 in z
3.565 * [taylor]: Taking taylor expansion of (* z y) in z
3.565 * [taylor]: Taking taylor expansion of z in z
3.565 * [taylor]: Taking taylor expansion of y in z
3.565 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.565 * [taylor]: Taking taylor expansion of 9.0 in y
3.565 * [taylor]: Taking taylor expansion of (* z y) in y
3.565 * [taylor]: Taking taylor expansion of z in y
3.565 * [taylor]: Taking taylor expansion of y in y
3.566 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
3.566 * [taylor]: Taking taylor expansion of 9.0 in y
3.566 * [taylor]: Taking taylor expansion of (* z y) in y
3.566 * [taylor]: Taking taylor expansion of z in y
3.566 * [taylor]: Taking taylor expansion of y in y
3.566 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
3.566 * [taylor]: Taking taylor expansion of 9.0 in z
3.566 * [taylor]: Taking taylor expansion of z in z
3.567 * [taylor]: Taking taylor expansion of 0 in z
3.568 * [taylor]: Taking taylor expansion of 0 in z
3.569 * [taylor]: Taking taylor expansion of 0 in z
3.570 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.570 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
3.570 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.570 * [taylor]: Taking taylor expansion of 27.0 in b
3.570 * [taylor]: Taking taylor expansion of (* a b) in b
3.570 * [taylor]: Taking taylor expansion of a in b
3.570 * [taylor]: Taking taylor expansion of b in b
3.570 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.570 * [taylor]: Taking taylor expansion of 27.0 in a
3.570 * [taylor]: Taking taylor expansion of (* a b) in a
3.570 * [taylor]: Taking taylor expansion of a in a
3.570 * [taylor]: Taking taylor expansion of b in a
3.570 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.570 * [taylor]: Taking taylor expansion of 27.0 in a
3.570 * [taylor]: Taking taylor expansion of (* a b) in a
3.570 * [taylor]: Taking taylor expansion of a in a
3.570 * [taylor]: Taking taylor expansion of b in a
3.571 * [taylor]: Taking taylor expansion of 0 in b
3.571 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.571 * [taylor]: Taking taylor expansion of 27.0 in b
3.571 * [taylor]: Taking taylor expansion of b in b
3.573 * [taylor]: Taking taylor expansion of 0 in b
3.575 * [taylor]: Taking taylor expansion of 0 in b
3.577 * [taylor]: Taking taylor expansion of 0 in b
3.577 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.577 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.578 * [taylor]: Taking taylor expansion of 27.0 in b
3.578 * [taylor]: Taking taylor expansion of (* a b) in b
3.578 * [taylor]: Taking taylor expansion of a in b
3.578 * [taylor]: Taking taylor expansion of b in b
3.578 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.578 * [taylor]: Taking taylor expansion of 27.0 in a
3.578 * [taylor]: Taking taylor expansion of (* a b) in a
3.578 * [taylor]: Taking taylor expansion of a in a
3.578 * [taylor]: Taking taylor expansion of b in a
3.578 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.578 * [taylor]: Taking taylor expansion of 27.0 in a
3.578 * [taylor]: Taking taylor expansion of (* a b) in a
3.578 * [taylor]: Taking taylor expansion of a in a
3.578 * [taylor]: Taking taylor expansion of b in a
3.579 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.579 * [taylor]: Taking taylor expansion of 27.0 in b
3.579 * [taylor]: Taking taylor expansion of b in b
3.580 * [taylor]: Taking taylor expansion of 0 in b
3.581 * [taylor]: Taking taylor expansion of 0 in b
3.583 * [taylor]: Taking taylor expansion of 0 in b
3.584 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.584 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.584 * [taylor]: Taking taylor expansion of 27.0 in b
3.584 * [taylor]: Taking taylor expansion of (* a b) in b
3.584 * [taylor]: Taking taylor expansion of a in b
3.584 * [taylor]: Taking taylor expansion of b in b
3.584 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.584 * [taylor]: Taking taylor expansion of 27.0 in a
3.584 * [taylor]: Taking taylor expansion of (* a b) in a
3.584 * [taylor]: Taking taylor expansion of a in a
3.584 * [taylor]: Taking taylor expansion of b in a
3.585 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.585 * [taylor]: Taking taylor expansion of 27.0 in a
3.585 * [taylor]: Taking taylor expansion of (* a b) in a
3.585 * [taylor]: Taking taylor expansion of a in a
3.585 * [taylor]: Taking taylor expansion of b in a
3.585 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.585 * [taylor]: Taking taylor expansion of 27.0 in b
3.585 * [taylor]: Taking taylor expansion of b in b
3.586 * [taylor]: Taking taylor expansion of 0 in b
3.587 * [taylor]: Taking taylor expansion of 0 in b
3.589 * [taylor]: Taking taylor expansion of 0 in b
3.590 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.590 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0
3.590 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
3.590 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
3.590 * [taylor]: Taking taylor expansion of 2.0 in t
3.590 * [taylor]: Taking taylor expansion of x in t
3.590 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.590 * [taylor]: Taking taylor expansion of 9.0 in t
3.590 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.590 * [taylor]: Taking taylor expansion of t in t
3.590 * [taylor]: Taking taylor expansion of (* z y) in t
3.590 * [taylor]: Taking taylor expansion of z in t
3.590 * [taylor]: Taking taylor expansion of y in t
3.590 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
3.590 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
3.590 * [taylor]: Taking taylor expansion of 2.0 in z
3.590 * [taylor]: Taking taylor expansion of x in z
3.590 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.590 * [taylor]: Taking taylor expansion of 9.0 in z
3.590 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.590 * [taylor]: Taking taylor expansion of t in z
3.590 * [taylor]: Taking taylor expansion of (* z y) in z
3.590 * [taylor]: Taking taylor expansion of z in z
3.590 * [taylor]: Taking taylor expansion of y in z
3.590 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
3.590 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
3.590 * [taylor]: Taking taylor expansion of 2.0 in y
3.590 * [taylor]: Taking taylor expansion of x in y
3.590 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.590 * [taylor]: Taking taylor expansion of 9.0 in y
3.590 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.590 * [taylor]: Taking taylor expansion of t in y
3.590 * [taylor]: Taking taylor expansion of (* z y) in y
3.591 * [taylor]: Taking taylor expansion of z in y
3.591 * [taylor]: Taking taylor expansion of y in y
3.591 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
3.591 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.591 * [taylor]: Taking taylor expansion of 2.0 in x
3.591 * [taylor]: Taking taylor expansion of x in x
3.591 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
3.591 * [taylor]: Taking taylor expansion of 9.0 in x
3.591 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.591 * [taylor]: Taking taylor expansion of t in x
3.591 * [taylor]: Taking taylor expansion of (* z y) in x
3.591 * [taylor]: Taking taylor expansion of z in x
3.591 * [taylor]: Taking taylor expansion of y in x
3.591 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
3.591 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.591 * [taylor]: Taking taylor expansion of 2.0 in x
3.591 * [taylor]: Taking taylor expansion of x in x
3.591 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
3.591 * [taylor]: Taking taylor expansion of 9.0 in x
3.591 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.591 * [taylor]: Taking taylor expansion of t in x
3.591 * [taylor]: Taking taylor expansion of (* z y) in x
3.591 * [taylor]: Taking taylor expansion of z in x
3.591 * [taylor]: Taking taylor expansion of y in x
3.592 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in y
3.592 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.592 * [taylor]: Taking taylor expansion of 9.0 in y
3.592 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.592 * [taylor]: Taking taylor expansion of t in y
3.592 * [taylor]: Taking taylor expansion of (* z y) in y
3.592 * [taylor]: Taking taylor expansion of z in y
3.592 * [taylor]: Taking taylor expansion of y in y
3.592 * [taylor]: Taking taylor expansion of 0 in z
3.592 * [taylor]: Taking taylor expansion of 0 in t
3.594 * [taylor]: Taking taylor expansion of 2.0 in y
3.594 * [taylor]: Taking taylor expansion of 2.0 in z
3.594 * [taylor]: Taking taylor expansion of 2.0 in t
3.595 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
3.595 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.595 * [taylor]: Taking taylor expansion of 9.0 in z
3.595 * [taylor]: Taking taylor expansion of (* t z) in z
3.595 * [taylor]: Taking taylor expansion of t in z
3.595 * [taylor]: Taking taylor expansion of z in z
3.596 * [taylor]: Taking taylor expansion of 0 in t
3.596 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in y
3.598 * [taylor]: Taking taylor expansion of 0 in z
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.598 * [taylor]: Taking taylor expansion of 0 in z
3.598 * [taylor]: Taking taylor expansion of 0 in t
3.602 * [taylor]: Taking taylor expansion of 0 in z
3.602 * [taylor]: Taking taylor expansion of 0 in t
3.602 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0
3.602 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
3.602 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
3.602 * [taylor]: Taking taylor expansion of 2.0 in t
3.602 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.603 * [taylor]: Taking taylor expansion of x in t
3.603 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
3.603 * [taylor]: Taking taylor expansion of 9.0 in t
3.603 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.603 * [taylor]: Taking taylor expansion of t in t
3.603 * [taylor]: Taking taylor expansion of (* z y) in t
3.603 * [taylor]: Taking taylor expansion of z in t
3.603 * [taylor]: Taking taylor expansion of y in t
3.603 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
3.603 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
3.603 * [taylor]: Taking taylor expansion of 2.0 in z
3.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.603 * [taylor]: Taking taylor expansion of x in z
3.603 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
3.603 * [taylor]: Taking taylor expansion of 9.0 in z
3.603 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.603 * [taylor]: Taking taylor expansion of t in z
3.603 * [taylor]: Taking taylor expansion of (* z y) in z
3.603 * [taylor]: Taking taylor expansion of z in z
3.603 * [taylor]: Taking taylor expansion of y in z
3.604 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
3.604 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
3.604 * [taylor]: Taking taylor expansion of 2.0 in y
3.604 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.604 * [taylor]: Taking taylor expansion of x in y
3.604 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.604 * [taylor]: Taking taylor expansion of 9.0 in y
3.604 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.604 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.604 * [taylor]: Taking taylor expansion of t in y
3.604 * [taylor]: Taking taylor expansion of (* z y) in y
3.604 * [taylor]: Taking taylor expansion of z in y
3.604 * [taylor]: Taking taylor expansion of y in y
3.605 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
3.605 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.605 * [taylor]: Taking taylor expansion of 2.0 in x
3.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.605 * [taylor]: Taking taylor expansion of x in x
3.605 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.605 * [taylor]: Taking taylor expansion of 9.0 in x
3.605 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.605 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.605 * [taylor]: Taking taylor expansion of t in x
3.605 * [taylor]: Taking taylor expansion of (* z y) in x
3.605 * [taylor]: Taking taylor expansion of z in x
3.605 * [taylor]: Taking taylor expansion of y in x
3.605 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
3.605 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.605 * [taylor]: Taking taylor expansion of 2.0 in x
3.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.605 * [taylor]: Taking taylor expansion of x in x
3.606 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.606 * [taylor]: Taking taylor expansion of 9.0 in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.606 * [taylor]: Taking taylor expansion of t in x
3.606 * [taylor]: Taking taylor expansion of (* z y) in x
3.606 * [taylor]: Taking taylor expansion of z in x
3.606 * [taylor]: Taking taylor expansion of y in x
3.607 * [taylor]: Taking taylor expansion of 2.0 in y
3.608 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in y
3.608 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.608 * [taylor]: Taking taylor expansion of 9.0 in y
3.608 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.608 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.608 * [taylor]: Taking taylor expansion of t in y
3.608 * [taylor]: Taking taylor expansion of (* z y) in y
3.608 * [taylor]: Taking taylor expansion of z in y
3.608 * [taylor]: Taking taylor expansion of y in y
3.608 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
3.608 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.609 * [taylor]: Taking taylor expansion of 9.0 in z
3.609 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.609 * [taylor]: Taking taylor expansion of (* t z) in z
3.609 * [taylor]: Taking taylor expansion of t in z
3.609 * [taylor]: Taking taylor expansion of z in z
3.609 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
3.609 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
3.609 * [taylor]: Taking taylor expansion of 9.0 in t
3.609 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.609 * [taylor]: Taking taylor expansion of t in t
3.610 * [taylor]: Taking taylor expansion of 2.0 in z
3.612 * [taylor]: Taking taylor expansion of 0 in y
3.613 * [taylor]: Taking taylor expansion of 0 in z
3.613 * [taylor]: Taking taylor expansion of 0 in z
3.614 * [taylor]: Taking taylor expansion of 0 in t
3.614 * [taylor]: Taking taylor expansion of 2.0 in t
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.618 * [taylor]: Taking taylor expansion of 0 in z
3.620 * [taylor]: Taking taylor expansion of 0 in z
3.620 * [taylor]: Taking taylor expansion of 0 in z
3.620 * [taylor]: Taking taylor expansion of 0 in t
3.620 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of 0 in t
3.626 * [taylor]: Taking taylor expansion of 0 in y
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [taylor]: Taking taylor expansion of 0 in t
3.629 * [taylor]: Taking taylor expansion of 0 in t
3.629 * [taylor]: Taking taylor expansion of 0 in t
3.629 * [taylor]: Taking taylor expansion of 0 in t
3.629 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0
3.632 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
3.632 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
3.632 * [taylor]: Taking taylor expansion of 9.0 in t
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.632 * [taylor]: Taking taylor expansion of t in t
3.632 * [taylor]: Taking taylor expansion of (* z y) in t
3.632 * [taylor]: Taking taylor expansion of z in t
3.632 * [taylor]: Taking taylor expansion of y in t
3.632 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
3.632 * [taylor]: Taking taylor expansion of 2.0 in t
3.632 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.632 * [taylor]: Taking taylor expansion of x in t
3.632 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
3.632 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
3.632 * [taylor]: Taking taylor expansion of 9.0 in z
3.632 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.632 * [taylor]: Taking taylor expansion of t in z
3.632 * [taylor]: Taking taylor expansion of (* z y) in z
3.632 * [taylor]: Taking taylor expansion of z in z
3.632 * [taylor]: Taking taylor expansion of y in z
3.633 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
3.633 * [taylor]: Taking taylor expansion of 2.0 in z
3.633 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.633 * [taylor]: Taking taylor expansion of x in z
3.633 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
3.633 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.633 * [taylor]: Taking taylor expansion of 9.0 in y
3.633 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.633 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.633 * [taylor]: Taking taylor expansion of t in y
3.633 * [taylor]: Taking taylor expansion of (* z y) in y
3.633 * [taylor]: Taking taylor expansion of z in y
3.633 * [taylor]: Taking taylor expansion of y in y
3.634 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
3.634 * [taylor]: Taking taylor expansion of 2.0 in y
3.634 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.634 * [taylor]: Taking taylor expansion of x in y
3.634 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
3.634 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.634 * [taylor]: Taking taylor expansion of 9.0 in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.634 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.634 * [taylor]: Taking taylor expansion of t in x
3.634 * [taylor]: Taking taylor expansion of (* z y) in x
3.634 * [taylor]: Taking taylor expansion of z in x
3.634 * [taylor]: Taking taylor expansion of y in x
3.634 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.634 * [taylor]: Taking taylor expansion of 2.0 in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.634 * [taylor]: Taking taylor expansion of x in x
3.635 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
3.635 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
3.635 * [taylor]: Taking taylor expansion of 9.0 in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
3.635 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
3.635 * [taylor]: Taking taylor expansion of t in x
3.635 * [taylor]: Taking taylor expansion of (* z y) in x
3.635 * [taylor]: Taking taylor expansion of z in x
3.635 * [taylor]: Taking taylor expansion of y in x
3.635 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.635 * [taylor]: Taking taylor expansion of 2.0 in x
3.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.635 * [taylor]: Taking taylor expansion of x in x
3.637 * [taylor]: Taking taylor expansion of (- 2.0) in y
3.637 * [taylor]: Taking taylor expansion of 2.0 in y
3.638 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
3.638 * [taylor]: Taking taylor expansion of 9.0 in y
3.638 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.638 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.638 * [taylor]: Taking taylor expansion of t in y
3.638 * [taylor]: Taking taylor expansion of (* z y) in y
3.638 * [taylor]: Taking taylor expansion of z in y
3.638 * [taylor]: Taking taylor expansion of y in y
3.639 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.639 * [taylor]: Taking taylor expansion of 9.0 in z
3.639 * [taylor]: Taking taylor expansion of (* t z) in z
3.639 * [taylor]: Taking taylor expansion of t in z
3.639 * [taylor]: Taking taylor expansion of z in z
3.639 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.639 * [taylor]: Taking taylor expansion of 9.0 in t
3.639 * [taylor]: Taking taylor expansion of t in t
3.640 * [taylor]: Taking taylor expansion of (- 2.0) in z
3.640 * [taylor]: Taking taylor expansion of 2.0 in z
3.642 * [taylor]: Taking taylor expansion of 0 in y
3.643 * [taylor]: Taking taylor expansion of 0 in z
3.643 * [taylor]: Taking taylor expansion of 0 in z
3.644 * [taylor]: Taking taylor expansion of 0 in t
3.644 * [taylor]: Taking taylor expansion of (- 2.0) in t
3.644 * [taylor]: Taking taylor expansion of 2.0 in t
3.648 * [taylor]: Taking taylor expansion of 0 in y
3.648 * [taylor]: Taking taylor expansion of 0 in z
3.649 * [taylor]: Taking taylor expansion of 0 in z
3.650 * [taylor]: Taking taylor expansion of 0 in z
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.656 * [taylor]: Taking taylor expansion of 0 in y
3.656 * [taylor]: Taking taylor expansion of 0 in z
3.656 * [taylor]: Taking taylor expansion of 0 in z
3.658 * [taylor]: Taking taylor expansion of 0 in z
3.658 * [taylor]: Taking taylor expansion of 0 in z
3.658 * [taylor]: Taking taylor expansion of 0 in t
3.658 * [taylor]: Taking taylor expansion of 0 in t
3.658 * [taylor]: Taking taylor expansion of 0 in t
3.658 * [taylor]: Taking taylor expansion of 0 in t
3.658 * [taylor]: Taking taylor expansion of 0 in t
3.659 * [taylor]: Taking taylor expansion of 0 in t
3.659 * [taylor]: Taking taylor expansion of 0 in t
3.660 * * * [progress]: simplifying candidates
3.661 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (+ (+ (+ (log y) (log 9.0)) (log z)) (log t))
  (+ (+ (log (* y 9.0)) (log z)) (log t))
  (+ (log (* (* y 9.0) z)) (log t))
  (log (* (* (* y 9.0) z) t))
  (exp (* (* (* y 9.0) z) t))
  (* (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* y 9.0) z) (* (* y 9.0) z)) (* (* y 9.0) z)) (* (* t t) t))
  (* (cbrt (* (* (* y 9.0) z) t)) (cbrt (* (* (* y 9.0) z) t)))
  (cbrt (* (* (* y 9.0) z) t))
  (* (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)) (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (* (* (* y 9.0) z) (* (cbrt t) (cbrt t)))
  (* (* (* y 9.0) z) (sqrt t))
  (* (* (* y 9.0) z) 1)
  (* z t)
  (* (* y 9.0) z)
  (* (* y 9.0) z)
  (+ (+ (log y) (log 9.0)) (log z))
  (+ (log (* y 9.0)) (log z))
  (log (* (* y 9.0) z))
  (exp (* (* y 9.0) z))
  (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* z z) z))
  (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) z))
  (* (cbrt (* (* y 9.0) z)) (cbrt (* (* y 9.0) z)))
  (cbrt (* (* y 9.0) z))
  (* (* (* (* y 9.0) z) (* (* y 9.0) z)) (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (* (* y 9.0) (* (cbrt z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* (* y 9.0) 1)
  (* 9.0 z)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (/ (exp (* x 2.0)) (exp (* (* (* y 9.0) z) t)))
  (log (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))) (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))))
  (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))) (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (pow (* x 2.0) 3) (pow (* (* (* y 9.0) z) t) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)) (* (* x 2.0) (* (* (* y 9.0) z) t))))
  (- (* (* (* y 9.0) z) t))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)))
  (+ (* x 2.0) (* (* (* y 9.0) z) t))
  (- (* (* (* y 9.0) z) t))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
3.664 * * [simplify]: iteration  0 :  133  enodes  (cost  816 )
3.688 * * [simplify]: iteration  1 :  355  enodes  (cost  775 )
3.780 * * [simplify]: iteration  2 :  1660  enodes  (cost  651 )
4.366 * * [simplify]: iteration  done :  5001  enodes  (cost  651 )
4.367 * [simplify]: Simplified to:
   (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (exp (* (* (* y 9.0) z) t))
  (pow (* (* (* y 9.0) z) t) 3)
  (pow (* (* (* y 9.0) z) t) 3)
  (pow (* (* (* y 9.0) z) t) 3)
  (* (cbrt (* (* (* y 9.0) z) t)) (cbrt (* (* (* y 9.0) z) t)))
  (cbrt (* (* (* y 9.0) z) t))
  (pow (* (* (* y 9.0) z) t) 3)
  (sqrt (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (* (* (* y 9.0) z) (* (cbrt t) (cbrt t)))
  (* (* (* y 9.0) z) (sqrt t))
  (* 9.0 (* z y))
  (* z t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (log (* (* y 9.0) z))
  (log (* (* y 9.0) z))
  (log (* (* y 9.0) z))
  (exp (* (* y 9.0) z))
  (pow (* (* y 9.0) z) 3)
  (pow (* (* y 9.0) z) 3)
  (* (cbrt (* (* y 9.0) z)) (cbrt (* (* y 9.0) z)))
  (cbrt (* (* y 9.0) z))
  (pow (* (* y 9.0) z) 3)
  (sqrt (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (* (* y 9.0) (* (cbrt z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* y 9.0)
  (* 9.0 z)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (log (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))) (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))))
  (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (pow (- (* x 2.0) (* (* (* y 9.0) z) t)) 3)
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (pow (* x 2.0) 3) (pow (* (* (* y 9.0) z) t) 3))
  (+ (* (* (* (* y 9.0) z) t) (+ (* x 2.0) (* (* (* y 9.0) z) t))) (* (* x 2.0) (* x 2.0)))
  (- (* 9.0 (* t (* z y))))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)))
  (+ (* x 2.0) (* (* (* y 9.0) z) t))
  (- (* 9.0 (* t (* z y))))
  0
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* 2.0 x)
  (- (* x 2.0) (* (* (* y 9.0) z) t))
  (- (* x 2.0) (* (* (* y 9.0) z) t))
4.367 * * * [progress]: adding candidates to table
4.536 * * [progress]: iteration 2 / 4
4.536 * * * [progress]: picking best candidate
4.555 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))>
4.555 * * * [progress]: localizing error
4.568 * * * [progress]: generating rewritten candidates
4.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2)
4.575 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
4.590 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.603 * * * [progress]: generating series expansions
4.603 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2)
4.603 * [approximate]: Taking taylor expansion of (* t (* z y)) in (t z y) around 0
4.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.603 * [taylor]: Taking taylor expansion of t in y
4.603 * [taylor]: Taking taylor expansion of (* z y) in y
4.603 * [taylor]: Taking taylor expansion of z in y
4.603 * [taylor]: Taking taylor expansion of y in y
4.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.603 * [taylor]: Taking taylor expansion of t in z
4.603 * [taylor]: Taking taylor expansion of (* z y) in z
4.603 * [taylor]: Taking taylor expansion of z in z
4.603 * [taylor]: Taking taylor expansion of y in z
4.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.603 * [taylor]: Taking taylor expansion of t in t
4.603 * [taylor]: Taking taylor expansion of (* z y) in t
4.603 * [taylor]: Taking taylor expansion of z in t
4.603 * [taylor]: Taking taylor expansion of y in t
4.603 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.603 * [taylor]: Taking taylor expansion of t in t
4.603 * [taylor]: Taking taylor expansion of (* z y) in t
4.603 * [taylor]: Taking taylor expansion of z in t
4.603 * [taylor]: Taking taylor expansion of y in t
4.604 * [taylor]: Taking taylor expansion of 0 in z
4.604 * [taylor]: Taking taylor expansion of 0 in y
4.604 * [taylor]: Taking taylor expansion of (* z y) in z
4.604 * [taylor]: Taking taylor expansion of z in z
4.604 * [taylor]: Taking taylor expansion of y in z
4.604 * [taylor]: Taking taylor expansion of 0 in y
4.604 * [taylor]: Taking taylor expansion of 0 in y
4.605 * [taylor]: Taking taylor expansion of 0 in z
4.605 * [taylor]: Taking taylor expansion of 0 in y
4.605 * [taylor]: Taking taylor expansion of y in y
4.606 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
4.606 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.606 * [taylor]: Taking taylor expansion of t in y
4.606 * [taylor]: Taking taylor expansion of (* z y) in y
4.606 * [taylor]: Taking taylor expansion of z in y
4.606 * [taylor]: Taking taylor expansion of y in y
4.606 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.606 * [taylor]: Taking taylor expansion of t in z
4.606 * [taylor]: Taking taylor expansion of (* z y) in z
4.606 * [taylor]: Taking taylor expansion of z in z
4.606 * [taylor]: Taking taylor expansion of y in z
4.607 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.607 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.607 * [taylor]: Taking taylor expansion of t in t
4.607 * [taylor]: Taking taylor expansion of (* z y) in t
4.607 * [taylor]: Taking taylor expansion of z in t
4.607 * [taylor]: Taking taylor expansion of y in t
4.608 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.608 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.608 * [taylor]: Taking taylor expansion of t in t
4.608 * [taylor]: Taking taylor expansion of (* z y) in t
4.608 * [taylor]: Taking taylor expansion of z in t
4.608 * [taylor]: Taking taylor expansion of y in t
4.608 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.608 * [taylor]: Taking taylor expansion of (* z y) in z
4.608 * [taylor]: Taking taylor expansion of z in z
4.608 * [taylor]: Taking taylor expansion of y in z
4.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.608 * [taylor]: Taking taylor expansion of y in y
4.610 * [taylor]: Taking taylor expansion of 0 in z
4.610 * [taylor]: Taking taylor expansion of 0 in y
4.612 * [taylor]: Taking taylor expansion of 0 in z
4.612 * [taylor]: Taking taylor expansion of 0 in y
4.613 * [taylor]: Taking taylor expansion of 0 in y
4.615 * [taylor]: Taking taylor expansion of 0 in z
4.615 * [taylor]: Taking taylor expansion of 0 in y
4.615 * [taylor]: Taking taylor expansion of 0 in y
4.617 * [taylor]: Taking taylor expansion of 0 in y
4.617 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
4.617 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
4.617 * [taylor]: Taking taylor expansion of -1 in y
4.617 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.617 * [taylor]: Taking taylor expansion of t in y
4.617 * [taylor]: Taking taylor expansion of (* z y) in y
4.617 * [taylor]: Taking taylor expansion of z in y
4.617 * [taylor]: Taking taylor expansion of y in y
4.618 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
4.618 * [taylor]: Taking taylor expansion of -1 in z
4.618 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.618 * [taylor]: Taking taylor expansion of t in z
4.618 * [taylor]: Taking taylor expansion of (* z y) in z
4.618 * [taylor]: Taking taylor expansion of z in z
4.618 * [taylor]: Taking taylor expansion of y in z
4.618 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
4.618 * [taylor]: Taking taylor expansion of -1 in t
4.618 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.618 * [taylor]: Taking taylor expansion of t in t
4.618 * [taylor]: Taking taylor expansion of (* z y) in t
4.618 * [taylor]: Taking taylor expansion of z in t
4.618 * [taylor]: Taking taylor expansion of y in t
4.619 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
4.619 * [taylor]: Taking taylor expansion of -1 in t
4.619 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.619 * [taylor]: Taking taylor expansion of t in t
4.619 * [taylor]: Taking taylor expansion of (* z y) in t
4.619 * [taylor]: Taking taylor expansion of z in t
4.619 * [taylor]: Taking taylor expansion of y in t
4.619 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
4.619 * [taylor]: Taking taylor expansion of -1 in z
4.619 * [taylor]: Taking taylor expansion of (* z y) in z
4.619 * [taylor]: Taking taylor expansion of z in z
4.620 * [taylor]: Taking taylor expansion of y in z
4.620 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.620 * [taylor]: Taking taylor expansion of -1 in y
4.620 * [taylor]: Taking taylor expansion of y in y
4.624 * [taylor]: Taking taylor expansion of 0 in z
4.625 * [taylor]: Taking taylor expansion of 0 in y
4.627 * [taylor]: Taking taylor expansion of 0 in z
4.627 * [taylor]: Taking taylor expansion of 0 in y
4.628 * [taylor]: Taking taylor expansion of 0 in y
4.630 * [taylor]: Taking taylor expansion of 0 in z
4.630 * [taylor]: Taking taylor expansion of 0 in y
4.630 * [taylor]: Taking taylor expansion of 0 in y
4.631 * [taylor]: Taking taylor expansion of 0 in y
4.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
4.632 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
4.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.632 * [taylor]: Taking taylor expansion of 9.0 in y
4.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.632 * [taylor]: Taking taylor expansion of t in y
4.632 * [taylor]: Taking taylor expansion of (* z y) in y
4.632 * [taylor]: Taking taylor expansion of z in y
4.632 * [taylor]: Taking taylor expansion of y in y
4.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
4.632 * [taylor]: Taking taylor expansion of 9.0 in z
4.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.632 * [taylor]: Taking taylor expansion of t in z
4.632 * [taylor]: Taking taylor expansion of (* z y) in z
4.632 * [taylor]: Taking taylor expansion of z in z
4.632 * [taylor]: Taking taylor expansion of y in z
4.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.632 * [taylor]: Taking taylor expansion of 9.0 in t
4.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.632 * [taylor]: Taking taylor expansion of t in t
4.632 * [taylor]: Taking taylor expansion of (* z y) in t
4.632 * [taylor]: Taking taylor expansion of z in t
4.632 * [taylor]: Taking taylor expansion of y in t
4.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.632 * [taylor]: Taking taylor expansion of 9.0 in t
4.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.632 * [taylor]: Taking taylor expansion of t in t
4.632 * [taylor]: Taking taylor expansion of (* z y) in t
4.632 * [taylor]: Taking taylor expansion of z in t
4.632 * [taylor]: Taking taylor expansion of y in t
4.633 * [taylor]: Taking taylor expansion of 0 in z
4.633 * [taylor]: Taking taylor expansion of 0 in y
4.633 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
4.633 * [taylor]: Taking taylor expansion of 9.0 in z
4.633 * [taylor]: Taking taylor expansion of (* z y) in z
4.633 * [taylor]: Taking taylor expansion of z in z
4.633 * [taylor]: Taking taylor expansion of y in z
4.634 * [taylor]: Taking taylor expansion of 0 in y
4.634 * [taylor]: Taking taylor expansion of 0 in y
4.635 * [taylor]: Taking taylor expansion of 0 in z
4.635 * [taylor]: Taking taylor expansion of 0 in y
4.636 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
4.636 * [taylor]: Taking taylor expansion of 9.0 in y
4.636 * [taylor]: Taking taylor expansion of y in y
4.636 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
4.636 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
4.636 * [taylor]: Taking taylor expansion of 9.0 in y
4.636 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.636 * [taylor]: Taking taylor expansion of t in y
4.636 * [taylor]: Taking taylor expansion of (* z y) in y
4.636 * [taylor]: Taking taylor expansion of z in y
4.636 * [taylor]: Taking taylor expansion of y in y
4.637 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
4.637 * [taylor]: Taking taylor expansion of 9.0 in z
4.637 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.637 * [taylor]: Taking taylor expansion of t in z
4.637 * [taylor]: Taking taylor expansion of (* z y) in z
4.637 * [taylor]: Taking taylor expansion of z in z
4.637 * [taylor]: Taking taylor expansion of y in z
4.637 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
4.637 * [taylor]: Taking taylor expansion of 9.0 in t
4.637 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.637 * [taylor]: Taking taylor expansion of t in t
4.638 * [taylor]: Taking taylor expansion of (* z y) in t
4.638 * [taylor]: Taking taylor expansion of z in t
4.638 * [taylor]: Taking taylor expansion of y in t
4.638 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
4.638 * [taylor]: Taking taylor expansion of 9.0 in t
4.638 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.638 * [taylor]: Taking taylor expansion of t in t
4.638 * [taylor]: Taking taylor expansion of (* z y) in t
4.638 * [taylor]: Taking taylor expansion of z in t
4.638 * [taylor]: Taking taylor expansion of y in t
4.639 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
4.639 * [taylor]: Taking taylor expansion of 9.0 in z
4.639 * [taylor]: Taking taylor expansion of (* z y) in z
4.639 * [taylor]: Taking taylor expansion of z in z
4.639 * [taylor]: Taking taylor expansion of y in z
4.639 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
4.639 * [taylor]: Taking taylor expansion of 9.0 in y
4.639 * [taylor]: Taking taylor expansion of y in y
4.640 * [taylor]: Taking taylor expansion of 0 in z
4.641 * [taylor]: Taking taylor expansion of 0 in y
4.643 * [taylor]: Taking taylor expansion of 0 in z
4.643 * [taylor]: Taking taylor expansion of 0 in y
4.644 * [taylor]: Taking taylor expansion of 0 in y
4.646 * [taylor]: Taking taylor expansion of 0 in z
4.646 * [taylor]: Taking taylor expansion of 0 in y
4.646 * [taylor]: Taking taylor expansion of 0 in y
4.647 * [taylor]: Taking taylor expansion of 0 in y
4.647 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
4.647 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
4.647 * [taylor]: Taking taylor expansion of -9.0 in y
4.647 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.647 * [taylor]: Taking taylor expansion of t in y
4.647 * [taylor]: Taking taylor expansion of (* z y) in y
4.647 * [taylor]: Taking taylor expansion of z in y
4.648 * [taylor]: Taking taylor expansion of y in y
4.648 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
4.648 * [taylor]: Taking taylor expansion of -9.0 in z
4.648 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.648 * [taylor]: Taking taylor expansion of t in z
4.648 * [taylor]: Taking taylor expansion of (* z y) in z
4.648 * [taylor]: Taking taylor expansion of z in z
4.648 * [taylor]: Taking taylor expansion of y in z
4.649 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
4.649 * [taylor]: Taking taylor expansion of -9.0 in t
4.649 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.649 * [taylor]: Taking taylor expansion of t in t
4.649 * [taylor]: Taking taylor expansion of (* z y) in t
4.649 * [taylor]: Taking taylor expansion of z in t
4.649 * [taylor]: Taking taylor expansion of y in t
4.649 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
4.649 * [taylor]: Taking taylor expansion of -9.0 in t
4.649 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.649 * [taylor]: Taking taylor expansion of t in t
4.649 * [taylor]: Taking taylor expansion of (* z y) in t
4.649 * [taylor]: Taking taylor expansion of z in t
4.649 * [taylor]: Taking taylor expansion of y in t
4.650 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
4.650 * [taylor]: Taking taylor expansion of -9.0 in z
4.650 * [taylor]: Taking taylor expansion of (* z y) in z
4.650 * [taylor]: Taking taylor expansion of z in z
4.650 * [taylor]: Taking taylor expansion of y in z
4.650 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
4.650 * [taylor]: Taking taylor expansion of -9.0 in y
4.650 * [taylor]: Taking taylor expansion of y in y
4.652 * [taylor]: Taking taylor expansion of 0 in z
4.652 * [taylor]: Taking taylor expansion of 0 in y
4.654 * [taylor]: Taking taylor expansion of 0 in z
4.654 * [taylor]: Taking taylor expansion of 0 in y
4.655 * [taylor]: Taking taylor expansion of 0 in y
4.657 * [taylor]: Taking taylor expansion of 0 in z
4.657 * [taylor]: Taking taylor expansion of 0 in y
4.657 * [taylor]: Taking taylor expansion of 0 in y
4.658 * [taylor]: Taking taylor expansion of 0 in y
4.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.659 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
4.659 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
4.659 * [taylor]: Taking taylor expansion of 27.0 in b
4.659 * [taylor]: Taking taylor expansion of (* a b) in b
4.659 * [taylor]: Taking taylor expansion of a in b
4.659 * [taylor]: Taking taylor expansion of b in b
4.659 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.659 * [taylor]: Taking taylor expansion of 27.0 in a
4.659 * [taylor]: Taking taylor expansion of (* a b) in a
4.659 * [taylor]: Taking taylor expansion of a in a
4.659 * [taylor]: Taking taylor expansion of b in a
4.659 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.659 * [taylor]: Taking taylor expansion of 27.0 in a
4.659 * [taylor]: Taking taylor expansion of (* a b) in a
4.659 * [taylor]: Taking taylor expansion of a in a
4.659 * [taylor]: Taking taylor expansion of b in a
4.659 * [taylor]: Taking taylor expansion of 0 in b
4.660 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
4.660 * [taylor]: Taking taylor expansion of 27.0 in b
4.660 * [taylor]: Taking taylor expansion of b in b
4.661 * [taylor]: Taking taylor expansion of 0 in b
4.664 * [taylor]: Taking taylor expansion of 0 in b
4.666 * [taylor]: Taking taylor expansion of 0 in b
4.666 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.667 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.667 * [taylor]: Taking taylor expansion of 27.0 in b
4.667 * [taylor]: Taking taylor expansion of (* a b) in b
4.667 * [taylor]: Taking taylor expansion of a in b
4.667 * [taylor]: Taking taylor expansion of b in b
4.667 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.667 * [taylor]: Taking taylor expansion of 27.0 in a
4.667 * [taylor]: Taking taylor expansion of (* a b) in a
4.667 * [taylor]: Taking taylor expansion of a in a
4.667 * [taylor]: Taking taylor expansion of b in a
4.667 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.667 * [taylor]: Taking taylor expansion of 27.0 in a
4.667 * [taylor]: Taking taylor expansion of (* a b) in a
4.667 * [taylor]: Taking taylor expansion of a in a
4.667 * [taylor]: Taking taylor expansion of b in a
4.668 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.668 * [taylor]: Taking taylor expansion of 27.0 in b
4.668 * [taylor]: Taking taylor expansion of b in b
4.669 * [taylor]: Taking taylor expansion of 0 in b
4.670 * [taylor]: Taking taylor expansion of 0 in b
4.672 * [taylor]: Taking taylor expansion of 0 in b
4.672 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.672 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.672 * [taylor]: Taking taylor expansion of 27.0 in b
4.672 * [taylor]: Taking taylor expansion of (* a b) in b
4.672 * [taylor]: Taking taylor expansion of a in b
4.672 * [taylor]: Taking taylor expansion of b in b
4.673 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.673 * [taylor]: Taking taylor expansion of 27.0 in a
4.673 * [taylor]: Taking taylor expansion of (* a b) in a
4.673 * [taylor]: Taking taylor expansion of a in a
4.673 * [taylor]: Taking taylor expansion of b in a
4.673 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.673 * [taylor]: Taking taylor expansion of 27.0 in a
4.673 * [taylor]: Taking taylor expansion of (* a b) in a
4.673 * [taylor]: Taking taylor expansion of a in a
4.673 * [taylor]: Taking taylor expansion of b in a
4.674 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.674 * [taylor]: Taking taylor expansion of 27.0 in b
4.674 * [taylor]: Taking taylor expansion of b in b
4.674 * [taylor]: Taking taylor expansion of 0 in b
4.676 * [taylor]: Taking taylor expansion of 0 in b
4.677 * [taylor]: Taking taylor expansion of 0 in b
4.678 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.678 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x t z y) around 0
4.678 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
4.678 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
4.678 * [taylor]: Taking taylor expansion of 2.0 in y
4.678 * [taylor]: Taking taylor expansion of x in y
4.678 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.678 * [taylor]: Taking taylor expansion of 9.0 in y
4.678 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.678 * [taylor]: Taking taylor expansion of t in y
4.678 * [taylor]: Taking taylor expansion of (* z y) in y
4.678 * [taylor]: Taking taylor expansion of z in y
4.678 * [taylor]: Taking taylor expansion of y in y
4.679 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
4.679 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
4.679 * [taylor]: Taking taylor expansion of 2.0 in z
4.679 * [taylor]: Taking taylor expansion of x in z
4.679 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
4.679 * [taylor]: Taking taylor expansion of 9.0 in z
4.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.679 * [taylor]: Taking taylor expansion of t in z
4.679 * [taylor]: Taking taylor expansion of (* z y) in z
4.679 * [taylor]: Taking taylor expansion of z in z
4.679 * [taylor]: Taking taylor expansion of y in z
4.679 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
4.679 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
4.679 * [taylor]: Taking taylor expansion of 2.0 in t
4.679 * [taylor]: Taking taylor expansion of x in t
4.679 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.679 * [taylor]: Taking taylor expansion of 9.0 in t
4.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.679 * [taylor]: Taking taylor expansion of t in t
4.679 * [taylor]: Taking taylor expansion of (* z y) in t
4.679 * [taylor]: Taking taylor expansion of z in t
4.679 * [taylor]: Taking taylor expansion of y in t
4.679 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
4.679 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.679 * [taylor]: Taking taylor expansion of 2.0 in x
4.679 * [taylor]: Taking taylor expansion of x in x
4.679 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.679 * [taylor]: Taking taylor expansion of 9.0 in x
4.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.679 * [taylor]: Taking taylor expansion of t in x
4.679 * [taylor]: Taking taylor expansion of (* z y) in x
4.679 * [taylor]: Taking taylor expansion of z in x
4.679 * [taylor]: Taking taylor expansion of y in x
4.679 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
4.679 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.679 * [taylor]: Taking taylor expansion of 2.0 in x
4.679 * [taylor]: Taking taylor expansion of x in x
4.679 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.679 * [taylor]: Taking taylor expansion of 9.0 in x
4.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.679 * [taylor]: Taking taylor expansion of t in x
4.679 * [taylor]: Taking taylor expansion of (* z y) in x
4.679 * [taylor]: Taking taylor expansion of z in x
4.679 * [taylor]: Taking taylor expansion of y in x
4.680 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in t
4.680 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.680 * [taylor]: Taking taylor expansion of 9.0 in t
4.680 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.680 * [taylor]: Taking taylor expansion of t in t
4.680 * [taylor]: Taking taylor expansion of (* z y) in t
4.680 * [taylor]: Taking taylor expansion of z in t
4.680 * [taylor]: Taking taylor expansion of y in t
4.681 * [taylor]: Taking taylor expansion of 0 in z
4.681 * [taylor]: Taking taylor expansion of 0 in y
4.682 * [taylor]: Taking taylor expansion of 2.0 in t
4.682 * [taylor]: Taking taylor expansion of 2.0 in z
4.682 * [taylor]: Taking taylor expansion of 2.0 in y
4.683 * [taylor]: Taking taylor expansion of (- (* 9.0 (* z y))) in z
4.683 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
4.683 * [taylor]: Taking taylor expansion of 9.0 in z
4.683 * [taylor]: Taking taylor expansion of (* z y) in z
4.683 * [taylor]: Taking taylor expansion of z in z
4.683 * [taylor]: Taking taylor expansion of y in z
4.684 * [taylor]: Taking taylor expansion of 0 in y
4.684 * [taylor]: Taking taylor expansion of 0 in y
4.686 * [taylor]: Taking taylor expansion of 0 in t
4.686 * [taylor]: Taking taylor expansion of 0 in z
4.686 * [taylor]: Taking taylor expansion of 0 in y
4.686 * [taylor]: Taking taylor expansion of 0 in z
4.686 * [taylor]: Taking taylor expansion of 0 in y
4.687 * [taylor]: Taking taylor expansion of 0 in z
4.687 * [taylor]: Taking taylor expansion of 0 in y
4.688 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x t z y) around 0
4.688 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
4.688 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.688 * [taylor]: Taking taylor expansion of 2.0 in y
4.688 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.688 * [taylor]: Taking taylor expansion of x in y
4.688 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.688 * [taylor]: Taking taylor expansion of 9.0 in y
4.688 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.688 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.688 * [taylor]: Taking taylor expansion of t in y
4.688 * [taylor]: Taking taylor expansion of (* z y) in y
4.688 * [taylor]: Taking taylor expansion of z in y
4.688 * [taylor]: Taking taylor expansion of y in y
4.689 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
4.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.689 * [taylor]: Taking taylor expansion of 2.0 in z
4.689 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.689 * [taylor]: Taking taylor expansion of x in z
4.689 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.689 * [taylor]: Taking taylor expansion of 9.0 in z
4.689 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.689 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.689 * [taylor]: Taking taylor expansion of t in z
4.689 * [taylor]: Taking taylor expansion of (* z y) in z
4.689 * [taylor]: Taking taylor expansion of z in z
4.689 * [taylor]: Taking taylor expansion of y in z
4.689 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
4.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.689 * [taylor]: Taking taylor expansion of 2.0 in t
4.689 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.689 * [taylor]: Taking taylor expansion of x in t
4.689 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.690 * [taylor]: Taking taylor expansion of 9.0 in t
4.690 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.690 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.690 * [taylor]: Taking taylor expansion of t in t
4.690 * [taylor]: Taking taylor expansion of (* z y) in t
4.690 * [taylor]: Taking taylor expansion of z in t
4.690 * [taylor]: Taking taylor expansion of y in t
4.690 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
4.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.690 * [taylor]: Taking taylor expansion of 2.0 in x
4.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.690 * [taylor]: Taking taylor expansion of x in x
4.690 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.690 * [taylor]: Taking taylor expansion of 9.0 in x
4.690 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.690 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.690 * [taylor]: Taking taylor expansion of t in x
4.690 * [taylor]: Taking taylor expansion of (* z y) in x
4.690 * [taylor]: Taking taylor expansion of z in x
4.690 * [taylor]: Taking taylor expansion of y in x
4.691 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
4.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.691 * [taylor]: Taking taylor expansion of 2.0 in x
4.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.691 * [taylor]: Taking taylor expansion of x in x
4.691 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.691 * [taylor]: Taking taylor expansion of 9.0 in x
4.691 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.691 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.691 * [taylor]: Taking taylor expansion of t in x
4.691 * [taylor]: Taking taylor expansion of (* z y) in x
4.691 * [taylor]: Taking taylor expansion of z in x
4.691 * [taylor]: Taking taylor expansion of y in x
4.692 * [taylor]: Taking taylor expansion of 2.0 in t
4.693 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in t
4.693 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.693 * [taylor]: Taking taylor expansion of 9.0 in t
4.693 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.693 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.693 * [taylor]: Taking taylor expansion of t in t
4.693 * [taylor]: Taking taylor expansion of (* z y) in t
4.693 * [taylor]: Taking taylor expansion of z in t
4.693 * [taylor]: Taking taylor expansion of y in t
4.693 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* z y)))) in z
4.693 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* z y))) in z
4.693 * [taylor]: Taking taylor expansion of 9.0 in z
4.693 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.694 * [taylor]: Taking taylor expansion of (* z y) in z
4.694 * [taylor]: Taking taylor expansion of z in z
4.694 * [taylor]: Taking taylor expansion of y in z
4.694 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 y))) in y
4.694 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 y)) in y
4.694 * [taylor]: Taking taylor expansion of 9.0 in y
4.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.694 * [taylor]: Taking taylor expansion of y in y
4.695 * [taylor]: Taking taylor expansion of 2.0 in z
4.697 * [taylor]: Taking taylor expansion of 0 in t
4.698 * [taylor]: Taking taylor expansion of 0 in z
4.698 * [taylor]: Taking taylor expansion of 0 in z
4.699 * [taylor]: Taking taylor expansion of 0 in y
4.699 * [taylor]: Taking taylor expansion of 2.0 in y
4.703 * [taylor]: Taking taylor expansion of 0 in t
4.703 * [taylor]: Taking taylor expansion of 0 in z
4.705 * [taylor]: Taking taylor expansion of 0 in z
4.705 * [taylor]: Taking taylor expansion of 0 in z
4.706 * [taylor]: Taking taylor expansion of 0 in y
4.706 * [taylor]: Taking taylor expansion of 0 in y
4.711 * [taylor]: Taking taylor expansion of 0 in y
4.711 * [taylor]: Taking taylor expansion of 0 in y
4.716 * [taylor]: Taking taylor expansion of 0 in t
4.716 * [taylor]: Taking taylor expansion of 0 in z
4.716 * [taylor]: Taking taylor expansion of 0 in z
4.719 * [taylor]: Taking taylor expansion of 0 in z
4.719 * [taylor]: Taking taylor expansion of 0 in z
4.719 * [taylor]: Taking taylor expansion of 0 in y
4.719 * [taylor]: Taking taylor expansion of 0 in y
4.719 * [taylor]: Taking taylor expansion of 0 in y
4.719 * [taylor]: Taking taylor expansion of 0 in y
4.719 * [taylor]: Taking taylor expansion of 0 in y
4.721 * [taylor]: Taking taylor expansion of 0 in y
4.721 * [taylor]: Taking taylor expansion of 0 in y
4.722 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x t z y) around 0
4.722 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
4.722 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.722 * [taylor]: Taking taylor expansion of 9.0 in y
4.722 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.722 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.722 * [taylor]: Taking taylor expansion of t in y
4.722 * [taylor]: Taking taylor expansion of (* z y) in y
4.722 * [taylor]: Taking taylor expansion of z in y
4.722 * [taylor]: Taking taylor expansion of y in y
4.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.723 * [taylor]: Taking taylor expansion of 2.0 in y
4.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.723 * [taylor]: Taking taylor expansion of x in y
4.723 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
4.723 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.723 * [taylor]: Taking taylor expansion of 9.0 in z
4.723 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.723 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.723 * [taylor]: Taking taylor expansion of t in z
4.723 * [taylor]: Taking taylor expansion of (* z y) in z
4.723 * [taylor]: Taking taylor expansion of z in z
4.723 * [taylor]: Taking taylor expansion of y in z
4.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.724 * [taylor]: Taking taylor expansion of 2.0 in z
4.724 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.724 * [taylor]: Taking taylor expansion of x in z
4.724 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
4.724 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.724 * [taylor]: Taking taylor expansion of 9.0 in t
4.724 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.724 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.724 * [taylor]: Taking taylor expansion of t in t
4.724 * [taylor]: Taking taylor expansion of (* z y) in t
4.724 * [taylor]: Taking taylor expansion of z in t
4.724 * [taylor]: Taking taylor expansion of y in t
4.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.724 * [taylor]: Taking taylor expansion of 2.0 in t
4.724 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.724 * [taylor]: Taking taylor expansion of x in t
4.724 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
4.724 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.724 * [taylor]: Taking taylor expansion of 9.0 in x
4.724 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.725 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.725 * [taylor]: Taking taylor expansion of t in x
4.725 * [taylor]: Taking taylor expansion of (* z y) in x
4.725 * [taylor]: Taking taylor expansion of z in x
4.725 * [taylor]: Taking taylor expansion of y in x
4.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.725 * [taylor]: Taking taylor expansion of 2.0 in x
4.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.725 * [taylor]: Taking taylor expansion of x in x
4.725 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
4.725 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.725 * [taylor]: Taking taylor expansion of 9.0 in x
4.725 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.725 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.725 * [taylor]: Taking taylor expansion of t in x
4.725 * [taylor]: Taking taylor expansion of (* z y) in x
4.725 * [taylor]: Taking taylor expansion of z in x
4.725 * [taylor]: Taking taylor expansion of y in x
4.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.725 * [taylor]: Taking taylor expansion of 2.0 in x
4.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.725 * [taylor]: Taking taylor expansion of x in x
4.727 * [taylor]: Taking taylor expansion of (- 2.0) in t
4.727 * [taylor]: Taking taylor expansion of 2.0 in t
4.728 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.728 * [taylor]: Taking taylor expansion of 9.0 in t
4.728 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.728 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.728 * [taylor]: Taking taylor expansion of t in t
4.728 * [taylor]: Taking taylor expansion of (* z y) in t
4.728 * [taylor]: Taking taylor expansion of z in t
4.728 * [taylor]: Taking taylor expansion of y in t
4.728 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
4.728 * [taylor]: Taking taylor expansion of 9.0 in z
4.728 * [taylor]: Taking taylor expansion of (* z y) in z
4.728 * [taylor]: Taking taylor expansion of z in z
4.728 * [taylor]: Taking taylor expansion of y in z
4.729 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
4.729 * [taylor]: Taking taylor expansion of 9.0 in y
4.729 * [taylor]: Taking taylor expansion of y in y
4.729 * [taylor]: Taking taylor expansion of (- 2.0) in z
4.729 * [taylor]: Taking taylor expansion of 2.0 in z
4.731 * [taylor]: Taking taylor expansion of 0 in t
4.733 * [taylor]: Taking taylor expansion of 0 in z
4.733 * [taylor]: Taking taylor expansion of 0 in z
4.733 * [taylor]: Taking taylor expansion of 0 in y
4.734 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.734 * [taylor]: Taking taylor expansion of 2.0 in y
4.737 * [taylor]: Taking taylor expansion of 0 in t
4.737 * [taylor]: Taking taylor expansion of 0 in z
4.739 * [taylor]: Taking taylor expansion of 0 in z
4.739 * [taylor]: Taking taylor expansion of 0 in z
4.739 * [taylor]: Taking taylor expansion of 0 in y
4.739 * [taylor]: Taking taylor expansion of 0 in y
4.740 * [taylor]: Taking taylor expansion of 0 in y
4.740 * [taylor]: Taking taylor expansion of 0 in y
4.745 * [taylor]: Taking taylor expansion of 0 in t
4.745 * [taylor]: Taking taylor expansion of 0 in z
4.745 * [taylor]: Taking taylor expansion of 0 in z
4.748 * [taylor]: Taking taylor expansion of 0 in z
4.748 * [taylor]: Taking taylor expansion of 0 in z
4.748 * [taylor]: Taking taylor expansion of 0 in y
4.748 * [taylor]: Taking taylor expansion of 0 in y
4.748 * [taylor]: Taking taylor expansion of 0 in y
4.748 * [taylor]: Taking taylor expansion of 0 in y
4.748 * [taylor]: Taking taylor expansion of 0 in y
4.749 * [taylor]: Taking taylor expansion of 0 in y
4.749 * [taylor]: Taking taylor expansion of 0 in y
4.750 * * * [progress]: simplifying candidates
4.751 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* t (* z y))
  (* t (* z y))
  (+ (log t) (+ (log z) (log y)))
  (+ (log t) (log (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (* (* (* t (* z y)) (* t (* z y))) (* t (* z y)))
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (+ (log 9.0) (+ (log t) (+ (log z) (log y))))
  (+ (log 9.0) (+ (log t) (log (* z y))))
  (+ (log 9.0) (log (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t (* z y)) (* t (* z y))) (* t (* z y))))
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (* (* (* 9.0 (* t (* z y))) (* 9.0 (* t (* z y)))) (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (* (exp (* x 2.0)) (/ 1 (exp (* 9.0 (* t (* z y))))))
  (* (exp (* x 2.0)) (exp (- (* 9.0 (* t (* z y))))))
  (log (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (exp (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (* (cbrt (+ (* x 2.0) (- (* 9.0 (* t (* z y)))))) (cbrt (+ (* x 2.0) (- (* 9.0 (* t (* z y)))))))
  (cbrt (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (* (* (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (+ (* x 2.0) (- (* 9.0 (* t (* z y)))))) (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (sqrt (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (sqrt (+ (* x 2.0) (- (* 9.0 (* t (* z y))))))
  (+ (pow (* x 2.0) 3) (pow (- (* 9.0 (* t (* z y)))) 3))
  (+ (* (* x 2.0) (* x 2.0)) (- (* (- (* 9.0 (* t (* z y)))) (- (* 9.0 (* t (* z y))))) (* (* x 2.0) (- (* 9.0 (* t (* z y)))))))
  (- (* (* x 2.0) (* x 2.0)) (* (- (* 9.0 (* t (* z y)))) (- (* 9.0 (* t (* z y))))))
  (- (* x 2.0) (- (* 9.0 (* t (* z y)))))
  (+ (* x 2.0) 0)
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
4.754 * * [simplify]: iteration  0 :  130  enodes  (cost  828 )
4.778 * * [simplify]: iteration  1 :  360  enodes  (cost  786 )
4.853 * * [simplify]: iteration  2 :  1546  enodes  (cost  646 )
5.305 * * [simplify]: iteration  done :  5001  enodes  (cost  645 )
5.305 * [simplify]: Simplified to:
   (* t (* z y))
  (* t (* z y))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (pow (* t (* z y)) 3)
  (pow (* t (* z y)) 3)
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (pow (* t (* z y)) 3)
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (exp (- (* x 2.0) (* 9.0 (* t (* z y)))))
  (exp (- (* x 2.0) (* 9.0 (* t (* z y)))))
  (log (- (* 2.0 x) (* 9.0 (* t (* z y)))))
  (exp (- (* x 2.0) (* 9.0 (* t (* z y)))))
  (* (cbrt (- (* 2.0 x) (* 9.0 (* t (* z y))))) (cbrt (- (* 2.0 x) (* 9.0 (* t (* z y))))))
  (cbrt (- (* 2.0 x) (* 9.0 (* t (* z y)))))
  (pow (- (* 2.0 x) (* 9.0 (* t (* z y)))) 3)
  (sqrt (- (* x 2.0) (* 9.0 (* t (* z y)))))
  (sqrt (- (* x 2.0) (* 9.0 (* t (* z y)))))
  (- (pow (* x 2.0) 3) (pow (* 9.0 (* t (* z y))) 3))
  (- (* (* x 2.0) (* x 2.0)) (* (* 9.0 (* t (* z y))) (- (- (* 9.0 (* t (* z y)))) (* 2.0 x))))
  (- (* (* x 2.0) (* x 2.0)) (* (* 9.0 (* t (* z y))) (* 9.0 (* t (* z y)))))
  (+ (* 2.0 x) (* 9.0 (* t (* z y))))
  (* 2.0 x)
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
5.306 * * * [progress]: adding candidates to table
5.496 * * [progress]: iteration 3 / 4
5.496 * * * [progress]: picking best candidate
5.513 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* a 27.0) b)))>
5.513 * * * [progress]: localizing error
5.526 * * * [progress]: generating rewritten candidates
5.526 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
5.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
5.550 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.557 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.562 * * * [progress]: generating series expansions
5.562 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
5.562 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (z y t) around 0
5.562 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.562 * [taylor]: Taking taylor expansion of 9.0 in t
5.562 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.562 * [taylor]: Taking taylor expansion of t in t
5.562 * [taylor]: Taking taylor expansion of (* z y) in t
5.562 * [taylor]: Taking taylor expansion of z in t
5.562 * [taylor]: Taking taylor expansion of y in t
5.562 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.562 * [taylor]: Taking taylor expansion of 9.0 in y
5.562 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.562 * [taylor]: Taking taylor expansion of t in y
5.562 * [taylor]: Taking taylor expansion of (* z y) in y
5.562 * [taylor]: Taking taylor expansion of z in y
5.562 * [taylor]: Taking taylor expansion of y in y
5.562 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.562 * [taylor]: Taking taylor expansion of 9.0 in z
5.562 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.562 * [taylor]: Taking taylor expansion of t in z
5.562 * [taylor]: Taking taylor expansion of (* z y) in z
5.562 * [taylor]: Taking taylor expansion of z in z
5.562 * [taylor]: Taking taylor expansion of y in z
5.562 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.562 * [taylor]: Taking taylor expansion of 9.0 in z
5.562 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.562 * [taylor]: Taking taylor expansion of t in z
5.562 * [taylor]: Taking taylor expansion of (* z y) in z
5.562 * [taylor]: Taking taylor expansion of z in z
5.562 * [taylor]: Taking taylor expansion of y in z
5.563 * [taylor]: Taking taylor expansion of 0 in y
5.563 * [taylor]: Taking taylor expansion of 0 in t
5.564 * [taylor]: Taking taylor expansion of (* 9.0 (* t y)) in y
5.564 * [taylor]: Taking taylor expansion of 9.0 in y
5.564 * [taylor]: Taking taylor expansion of (* t y) in y
5.564 * [taylor]: Taking taylor expansion of t in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.564 * [taylor]: Taking taylor expansion of 0 in t
5.564 * [taylor]: Taking taylor expansion of 0 in t
5.566 * [taylor]: Taking taylor expansion of 0 in y
5.566 * [taylor]: Taking taylor expansion of 0 in t
5.566 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
5.566 * [taylor]: Taking taylor expansion of 9.0 in t
5.566 * [taylor]: Taking taylor expansion of t in t
5.567 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (z y t) around 0
5.567 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.567 * [taylor]: Taking taylor expansion of 9.0 in t
5.567 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.567 * [taylor]: Taking taylor expansion of t in t
5.567 * [taylor]: Taking taylor expansion of (* z y) in t
5.567 * [taylor]: Taking taylor expansion of z in t
5.567 * [taylor]: Taking taylor expansion of y in t
5.567 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
5.567 * [taylor]: Taking taylor expansion of 9.0 in y
5.567 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.567 * [taylor]: Taking taylor expansion of t in y
5.567 * [taylor]: Taking taylor expansion of (* z y) in y
5.567 * [taylor]: Taking taylor expansion of z in y
5.567 * [taylor]: Taking taylor expansion of y in y
5.568 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
5.568 * [taylor]: Taking taylor expansion of 9.0 in z
5.568 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.568 * [taylor]: Taking taylor expansion of t in z
5.568 * [taylor]: Taking taylor expansion of (* z y) in z
5.568 * [taylor]: Taking taylor expansion of z in z
5.568 * [taylor]: Taking taylor expansion of y in z
5.569 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
5.569 * [taylor]: Taking taylor expansion of 9.0 in z
5.569 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.569 * [taylor]: Taking taylor expansion of t in z
5.569 * [taylor]: Taking taylor expansion of (* z y) in z
5.569 * [taylor]: Taking taylor expansion of z in z
5.569 * [taylor]: Taking taylor expansion of y in z
5.573 * [taylor]: Taking taylor expansion of (/ 9.0 (* t y)) in y
5.573 * [taylor]: Taking taylor expansion of 9.0 in y
5.573 * [taylor]: Taking taylor expansion of (* t y) in y
5.573 * [taylor]: Taking taylor expansion of t in y
5.573 * [taylor]: Taking taylor expansion of y in y
5.573 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.573 * [taylor]: Taking taylor expansion of 9.0 in t
5.573 * [taylor]: Taking taylor expansion of t in t
5.574 * [taylor]: Taking taylor expansion of 0 in y
5.575 * [taylor]: Taking taylor expansion of 0 in t
5.577 * [taylor]: Taking taylor expansion of 0 in y
5.577 * [taylor]: Taking taylor expansion of 0 in t
5.577 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in y
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.581 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (z y t) around 0
5.581 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.581 * [taylor]: Taking taylor expansion of -9.0 in t
5.581 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.581 * [taylor]: Taking taylor expansion of t in t
5.581 * [taylor]: Taking taylor expansion of (* z y) in t
5.581 * [taylor]: Taking taylor expansion of z in t
5.581 * [taylor]: Taking taylor expansion of y in t
5.581 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
5.581 * [taylor]: Taking taylor expansion of -9.0 in y
5.581 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.581 * [taylor]: Taking taylor expansion of t in y
5.581 * [taylor]: Taking taylor expansion of (* z y) in y
5.581 * [taylor]: Taking taylor expansion of z in y
5.581 * [taylor]: Taking taylor expansion of y in y
5.582 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
5.582 * [taylor]: Taking taylor expansion of -9.0 in z
5.582 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.582 * [taylor]: Taking taylor expansion of t in z
5.582 * [taylor]: Taking taylor expansion of (* z y) in z
5.582 * [taylor]: Taking taylor expansion of z in z
5.582 * [taylor]: Taking taylor expansion of y in z
5.583 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
5.583 * [taylor]: Taking taylor expansion of -9.0 in z
5.583 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.583 * [taylor]: Taking taylor expansion of t in z
5.583 * [taylor]: Taking taylor expansion of (* z y) in z
5.583 * [taylor]: Taking taylor expansion of z in z
5.583 * [taylor]: Taking taylor expansion of y in z
5.583 * [taylor]: Taking taylor expansion of (/ -9.0 (* t y)) in y
5.583 * [taylor]: Taking taylor expansion of -9.0 in y
5.583 * [taylor]: Taking taylor expansion of (* t y) in y
5.583 * [taylor]: Taking taylor expansion of t in y
5.583 * [taylor]: Taking taylor expansion of y in y
5.584 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
5.584 * [taylor]: Taking taylor expansion of -9.0 in t
5.584 * [taylor]: Taking taylor expansion of t in t
5.585 * [taylor]: Taking taylor expansion of 0 in y
5.586 * [taylor]: Taking taylor expansion of 0 in t
5.587 * [taylor]: Taking taylor expansion of 0 in y
5.587 * [taylor]: Taking taylor expansion of 0 in t
5.588 * [taylor]: Taking taylor expansion of 0 in t
5.590 * [taylor]: Taking taylor expansion of 0 in y
5.591 * [taylor]: Taking taylor expansion of 0 in t
5.591 * [taylor]: Taking taylor expansion of 0 in t
5.591 * [taylor]: Taking taylor expansion of 0 in t
5.591 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
5.592 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (z y) around 0
5.592 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
5.592 * [taylor]: Taking taylor expansion of 9.0 in y
5.592 * [taylor]: Taking taylor expansion of (* z y) in y
5.592 * [taylor]: Taking taylor expansion of z in y
5.592 * [taylor]: Taking taylor expansion of y in y
5.592 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
5.592 * [taylor]: Taking taylor expansion of 9.0 in z
5.592 * [taylor]: Taking taylor expansion of (* z y) in z
5.592 * [taylor]: Taking taylor expansion of z in z
5.592 * [taylor]: Taking taylor expansion of y in z
5.592 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
5.592 * [taylor]: Taking taylor expansion of 9.0 in z
5.592 * [taylor]: Taking taylor expansion of (* z y) in z
5.592 * [taylor]: Taking taylor expansion of z in z
5.592 * [taylor]: Taking taylor expansion of y in z
5.592 * [taylor]: Taking taylor expansion of 0 in y
5.593 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
5.593 * [taylor]: Taking taylor expansion of 9.0 in y
5.593 * [taylor]: Taking taylor expansion of y in y
5.594 * [taylor]: Taking taylor expansion of 0 in y
5.597 * [taylor]: Taking taylor expansion of 0 in y
5.599 * [taylor]: Taking taylor expansion of 0 in y
5.599 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (z y) around 0
5.599 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
5.599 * [taylor]: Taking taylor expansion of 9.0 in y
5.599 * [taylor]: Taking taylor expansion of (* z y) in y
5.599 * [taylor]: Taking taylor expansion of z in y
5.599 * [taylor]: Taking taylor expansion of y in y
5.600 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.600 * [taylor]: Taking taylor expansion of 9.0 in z
5.600 * [taylor]: Taking taylor expansion of (* z y) in z
5.600 * [taylor]: Taking taylor expansion of z in z
5.600 * [taylor]: Taking taylor expansion of y in z
5.600 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.600 * [taylor]: Taking taylor expansion of 9.0 in z
5.600 * [taylor]: Taking taylor expansion of (* z y) in z
5.600 * [taylor]: Taking taylor expansion of z in z
5.600 * [taylor]: Taking taylor expansion of y in z
5.601 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
5.601 * [taylor]: Taking taylor expansion of 9.0 in y
5.601 * [taylor]: Taking taylor expansion of y in y
5.602 * [taylor]: Taking taylor expansion of 0 in y
5.603 * [taylor]: Taking taylor expansion of 0 in y
5.605 * [taylor]: Taking taylor expansion of 0 in y
5.605 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (z y) around 0
5.605 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
5.605 * [taylor]: Taking taylor expansion of 9.0 in y
5.605 * [taylor]: Taking taylor expansion of (* z y) in y
5.605 * [taylor]: Taking taylor expansion of z in y
5.605 * [taylor]: Taking taylor expansion of y in y
5.606 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.606 * [taylor]: Taking taylor expansion of 9.0 in z
5.606 * [taylor]: Taking taylor expansion of (* z y) in z
5.606 * [taylor]: Taking taylor expansion of z in z
5.606 * [taylor]: Taking taylor expansion of y in z
5.606 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.606 * [taylor]: Taking taylor expansion of 9.0 in z
5.606 * [taylor]: Taking taylor expansion of (* z y) in z
5.606 * [taylor]: Taking taylor expansion of z in z
5.606 * [taylor]: Taking taylor expansion of y in z
5.607 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
5.607 * [taylor]: Taking taylor expansion of 9.0 in y
5.607 * [taylor]: Taking taylor expansion of y in y
5.608 * [taylor]: Taking taylor expansion of 0 in y
5.609 * [taylor]: Taking taylor expansion of 0 in y
5.610 * [taylor]: Taking taylor expansion of 0 in y
5.611 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.611 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
5.611 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.611 * [taylor]: Taking taylor expansion of 27.0 in b
5.611 * [taylor]: Taking taylor expansion of (* a b) in b
5.611 * [taylor]: Taking taylor expansion of a in b
5.611 * [taylor]: Taking taylor expansion of b in b
5.611 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.611 * [taylor]: Taking taylor expansion of 27.0 in a
5.611 * [taylor]: Taking taylor expansion of (* a b) in a
5.611 * [taylor]: Taking taylor expansion of a in a
5.611 * [taylor]: Taking taylor expansion of b in a
5.611 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.611 * [taylor]: Taking taylor expansion of 27.0 in a
5.612 * [taylor]: Taking taylor expansion of (* a b) in a
5.612 * [taylor]: Taking taylor expansion of a in a
5.612 * [taylor]: Taking taylor expansion of b in a
5.612 * [taylor]: Taking taylor expansion of 0 in b
5.612 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.612 * [taylor]: Taking taylor expansion of 27.0 in b
5.612 * [taylor]: Taking taylor expansion of b in b
5.614 * [taylor]: Taking taylor expansion of 0 in b
5.616 * [taylor]: Taking taylor expansion of 0 in b
5.619 * [taylor]: Taking taylor expansion of 0 in b
5.619 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.619 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.619 * [taylor]: Taking taylor expansion of 27.0 in b
5.619 * [taylor]: Taking taylor expansion of (* a b) in b
5.619 * [taylor]: Taking taylor expansion of a in b
5.619 * [taylor]: Taking taylor expansion of b in b
5.619 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.619 * [taylor]: Taking taylor expansion of 27.0 in a
5.619 * [taylor]: Taking taylor expansion of (* a b) in a
5.619 * [taylor]: Taking taylor expansion of a in a
5.619 * [taylor]: Taking taylor expansion of b in a
5.620 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.620 * [taylor]: Taking taylor expansion of 27.0 in a
5.620 * [taylor]: Taking taylor expansion of (* a b) in a
5.620 * [taylor]: Taking taylor expansion of a in a
5.620 * [taylor]: Taking taylor expansion of b in a
5.620 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.620 * [taylor]: Taking taylor expansion of 27.0 in b
5.620 * [taylor]: Taking taylor expansion of b in b
5.621 * [taylor]: Taking taylor expansion of 0 in b
5.622 * [taylor]: Taking taylor expansion of 0 in b
5.624 * [taylor]: Taking taylor expansion of 0 in b
5.625 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.625 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.625 * [taylor]: Taking taylor expansion of 27.0 in b
5.625 * [taylor]: Taking taylor expansion of (* a b) in b
5.625 * [taylor]: Taking taylor expansion of a in b
5.625 * [taylor]: Taking taylor expansion of b in b
5.625 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.625 * [taylor]: Taking taylor expansion of 27.0 in a
5.625 * [taylor]: Taking taylor expansion of (* a b) in a
5.625 * [taylor]: Taking taylor expansion of a in a
5.625 * [taylor]: Taking taylor expansion of b in a
5.625 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.625 * [taylor]: Taking taylor expansion of 27.0 in a
5.625 * [taylor]: Taking taylor expansion of (* a b) in a
5.625 * [taylor]: Taking taylor expansion of a in a
5.625 * [taylor]: Taking taylor expansion of b in a
5.626 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.626 * [taylor]: Taking taylor expansion of 27.0 in b
5.626 * [taylor]: Taking taylor expansion of b in b
5.627 * [taylor]: Taking taylor expansion of 0 in b
5.628 * [taylor]: Taking taylor expansion of 0 in b
5.630 * [taylor]: Taking taylor expansion of 0 in b
5.630 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.631 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x z y t) around 0
5.631 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
5.631 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
5.631 * [taylor]: Taking taylor expansion of 2.0 in t
5.631 * [taylor]: Taking taylor expansion of x in t
5.631 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.631 * [taylor]: Taking taylor expansion of 9.0 in t
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.631 * [taylor]: Taking taylor expansion of t in t
5.631 * [taylor]: Taking taylor expansion of (* z y) in t
5.631 * [taylor]: Taking taylor expansion of z in t
5.631 * [taylor]: Taking taylor expansion of y in t
5.631 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
5.631 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
5.631 * [taylor]: Taking taylor expansion of 2.0 in y
5.631 * [taylor]: Taking taylor expansion of x in y
5.631 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.631 * [taylor]: Taking taylor expansion of 9.0 in y
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.631 * [taylor]: Taking taylor expansion of t in y
5.631 * [taylor]: Taking taylor expansion of (* z y) in y
5.631 * [taylor]: Taking taylor expansion of z in y
5.631 * [taylor]: Taking taylor expansion of y in y
5.631 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
5.631 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
5.631 * [taylor]: Taking taylor expansion of 2.0 in z
5.631 * [taylor]: Taking taylor expansion of x in z
5.631 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.631 * [taylor]: Taking taylor expansion of 9.0 in z
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.631 * [taylor]: Taking taylor expansion of t in z
5.631 * [taylor]: Taking taylor expansion of (* z y) in z
5.631 * [taylor]: Taking taylor expansion of z in z
5.631 * [taylor]: Taking taylor expansion of y in z
5.631 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
5.631 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.631 * [taylor]: Taking taylor expansion of 2.0 in x
5.631 * [taylor]: Taking taylor expansion of x in x
5.631 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
5.631 * [taylor]: Taking taylor expansion of 9.0 in x
5.631 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.631 * [taylor]: Taking taylor expansion of t in x
5.631 * [taylor]: Taking taylor expansion of (* z y) in x
5.631 * [taylor]: Taking taylor expansion of z in x
5.631 * [taylor]: Taking taylor expansion of y in x
5.631 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
5.632 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.632 * [taylor]: Taking taylor expansion of 2.0 in x
5.632 * [taylor]: Taking taylor expansion of x in x
5.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
5.632 * [taylor]: Taking taylor expansion of 9.0 in x
5.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.632 * [taylor]: Taking taylor expansion of t in x
5.632 * [taylor]: Taking taylor expansion of (* z y) in x
5.632 * [taylor]: Taking taylor expansion of z in x
5.632 * [taylor]: Taking taylor expansion of y in x
5.632 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in z
5.632 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.632 * [taylor]: Taking taylor expansion of 9.0 in z
5.632 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.632 * [taylor]: Taking taylor expansion of t in z
5.632 * [taylor]: Taking taylor expansion of (* z y) in z
5.632 * [taylor]: Taking taylor expansion of z in z
5.632 * [taylor]: Taking taylor expansion of y in z
5.633 * [taylor]: Taking taylor expansion of 0 in y
5.633 * [taylor]: Taking taylor expansion of 0 in t
5.635 * [taylor]: Taking taylor expansion of 2.0 in z
5.635 * [taylor]: Taking taylor expansion of 2.0 in y
5.635 * [taylor]: Taking taylor expansion of 2.0 in t
5.636 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t y))) in y
5.636 * [taylor]: Taking taylor expansion of (* 9.0 (* t y)) in y
5.636 * [taylor]: Taking taylor expansion of 9.0 in y
5.636 * [taylor]: Taking taylor expansion of (* t y) in y
5.636 * [taylor]: Taking taylor expansion of t in y
5.636 * [taylor]: Taking taylor expansion of y in y
5.636 * [taylor]: Taking taylor expansion of 0 in t
5.636 * [taylor]: Taking taylor expansion of 0 in t
5.638 * [taylor]: Taking taylor expansion of 0 in z
5.638 * [taylor]: Taking taylor expansion of 0 in y
5.638 * [taylor]: Taking taylor expansion of 0 in t
5.639 * [taylor]: Taking taylor expansion of 0 in y
5.639 * [taylor]: Taking taylor expansion of 0 in t
5.640 * [taylor]: Taking taylor expansion of 0 in y
5.640 * [taylor]: Taking taylor expansion of 0 in t
5.640 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x z y t) around 0
5.640 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
5.640 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
5.640 * [taylor]: Taking taylor expansion of 2.0 in t
5.640 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.640 * [taylor]: Taking taylor expansion of x in t
5.640 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
5.640 * [taylor]: Taking taylor expansion of 9.0 in t
5.641 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.641 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.641 * [taylor]: Taking taylor expansion of t in t
5.641 * [taylor]: Taking taylor expansion of (* z y) in t
5.641 * [taylor]: Taking taylor expansion of z in t
5.641 * [taylor]: Taking taylor expansion of y in t
5.641 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
5.641 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
5.641 * [taylor]: Taking taylor expansion of 2.0 in y
5.641 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.641 * [taylor]: Taking taylor expansion of x in y
5.641 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.641 * [taylor]: Taking taylor expansion of 9.0 in y
5.641 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.641 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.641 * [taylor]: Taking taylor expansion of t in y
5.641 * [taylor]: Taking taylor expansion of (* z y) in y
5.641 * [taylor]: Taking taylor expansion of z in y
5.641 * [taylor]: Taking taylor expansion of y in y
5.642 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
5.642 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
5.642 * [taylor]: Taking taylor expansion of 2.0 in z
5.642 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.642 * [taylor]: Taking taylor expansion of x in z
5.642 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.642 * [taylor]: Taking taylor expansion of 9.0 in z
5.642 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.642 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.642 * [taylor]: Taking taylor expansion of t in z
5.642 * [taylor]: Taking taylor expansion of (* z y) in z
5.642 * [taylor]: Taking taylor expansion of z in z
5.642 * [taylor]: Taking taylor expansion of y in z
5.643 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
5.643 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.643 * [taylor]: Taking taylor expansion of 2.0 in x
5.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.643 * [taylor]: Taking taylor expansion of x in x
5.643 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.643 * [taylor]: Taking taylor expansion of 9.0 in x
5.643 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.643 * [taylor]: Taking taylor expansion of t in x
5.643 * [taylor]: Taking taylor expansion of (* z y) in x
5.643 * [taylor]: Taking taylor expansion of z in x
5.643 * [taylor]: Taking taylor expansion of y in x
5.643 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
5.643 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.643 * [taylor]: Taking taylor expansion of 2.0 in x
5.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.643 * [taylor]: Taking taylor expansion of x in x
5.644 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.644 * [taylor]: Taking taylor expansion of 9.0 in x
5.644 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.644 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.644 * [taylor]: Taking taylor expansion of t in x
5.644 * [taylor]: Taking taylor expansion of (* z y) in x
5.644 * [taylor]: Taking taylor expansion of z in x
5.644 * [taylor]: Taking taylor expansion of y in x
5.644 * [taylor]: Taking taylor expansion of 2.0 in z
5.645 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in z
5.646 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.646 * [taylor]: Taking taylor expansion of 9.0 in z
5.646 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.646 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.646 * [taylor]: Taking taylor expansion of t in z
5.646 * [taylor]: Taking taylor expansion of (* z y) in z
5.646 * [taylor]: Taking taylor expansion of z in z
5.646 * [taylor]: Taking taylor expansion of y in z
5.646 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t y)))) in y
5.646 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t y))) in y
5.646 * [taylor]: Taking taylor expansion of 9.0 in y
5.646 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
5.646 * [taylor]: Taking taylor expansion of (* t y) in y
5.646 * [taylor]: Taking taylor expansion of t in y
5.646 * [taylor]: Taking taylor expansion of y in y
5.647 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
5.647 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
5.647 * [taylor]: Taking taylor expansion of 9.0 in t
5.647 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.647 * [taylor]: Taking taylor expansion of t in t
5.648 * [taylor]: Taking taylor expansion of 2.0 in y
5.650 * [taylor]: Taking taylor expansion of 0 in z
5.652 * [taylor]: Taking taylor expansion of 0 in y
5.652 * [taylor]: Taking taylor expansion of 0 in y
5.653 * [taylor]: Taking taylor expansion of 0 in t
5.653 * [taylor]: Taking taylor expansion of 2.0 in t
5.662 * [taylor]: Taking taylor expansion of 0 in z
5.662 * [taylor]: Taking taylor expansion of 0 in y
5.664 * [taylor]: Taking taylor expansion of 0 in y
5.664 * [taylor]: Taking taylor expansion of 0 in y
5.664 * [taylor]: Taking taylor expansion of 0 in t
5.664 * [taylor]: Taking taylor expansion of 0 in t
5.665 * [taylor]: Taking taylor expansion of 0 in t
5.665 * [taylor]: Taking taylor expansion of 0 in t
5.670 * [taylor]: Taking taylor expansion of 0 in z
5.670 * [taylor]: Taking taylor expansion of 0 in y
5.670 * [taylor]: Taking taylor expansion of 0 in y
5.673 * [taylor]: Taking taylor expansion of 0 in y
5.673 * [taylor]: Taking taylor expansion of 0 in y
5.674 * [taylor]: Taking taylor expansion of 0 in t
5.674 * [taylor]: Taking taylor expansion of 0 in t
5.674 * [taylor]: Taking taylor expansion of 0 in t
5.674 * [taylor]: Taking taylor expansion of 0 in t
5.674 * [taylor]: Taking taylor expansion of 0 in t
5.675 * [taylor]: Taking taylor expansion of 0 in t
5.675 * [taylor]: Taking taylor expansion of 0 in t
5.676 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x z y t) around 0
5.676 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
5.676 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
5.676 * [taylor]: Taking taylor expansion of 9.0 in t
5.676 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.676 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.676 * [taylor]: Taking taylor expansion of t in t
5.676 * [taylor]: Taking taylor expansion of (* z y) in t
5.676 * [taylor]: Taking taylor expansion of z in t
5.676 * [taylor]: Taking taylor expansion of y in t
5.677 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
5.677 * [taylor]: Taking taylor expansion of 2.0 in t
5.677 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.677 * [taylor]: Taking taylor expansion of x in t
5.677 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
5.677 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.677 * [taylor]: Taking taylor expansion of 9.0 in y
5.677 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.677 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.677 * [taylor]: Taking taylor expansion of t in y
5.677 * [taylor]: Taking taylor expansion of (* z y) in y
5.677 * [taylor]: Taking taylor expansion of z in y
5.677 * [taylor]: Taking taylor expansion of y in y
5.677 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
5.678 * [taylor]: Taking taylor expansion of 2.0 in y
5.678 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.678 * [taylor]: Taking taylor expansion of x in y
5.678 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
5.678 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.678 * [taylor]: Taking taylor expansion of 9.0 in z
5.678 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.678 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.678 * [taylor]: Taking taylor expansion of t in z
5.678 * [taylor]: Taking taylor expansion of (* z y) in z
5.678 * [taylor]: Taking taylor expansion of z in z
5.678 * [taylor]: Taking taylor expansion of y in z
5.678 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
5.678 * [taylor]: Taking taylor expansion of 2.0 in z
5.678 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.678 * [taylor]: Taking taylor expansion of x in z
5.678 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
5.678 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.678 * [taylor]: Taking taylor expansion of 9.0 in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.679 * [taylor]: Taking taylor expansion of t in x
5.679 * [taylor]: Taking taylor expansion of (* z y) in x
5.679 * [taylor]: Taking taylor expansion of z in x
5.679 * [taylor]: Taking taylor expansion of y in x
5.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.679 * [taylor]: Taking taylor expansion of 2.0 in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.679 * [taylor]: Taking taylor expansion of x in x
5.679 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
5.679 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.679 * [taylor]: Taking taylor expansion of 9.0 in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.679 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.679 * [taylor]: Taking taylor expansion of t in x
5.679 * [taylor]: Taking taylor expansion of (* z y) in x
5.679 * [taylor]: Taking taylor expansion of z in x
5.679 * [taylor]: Taking taylor expansion of y in x
5.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.679 * [taylor]: Taking taylor expansion of 2.0 in x
5.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.679 * [taylor]: Taking taylor expansion of x in x
5.681 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.681 * [taylor]: Taking taylor expansion of 2.0 in z
5.682 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.682 * [taylor]: Taking taylor expansion of 9.0 in z
5.682 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.682 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.682 * [taylor]: Taking taylor expansion of t in z
5.682 * [taylor]: Taking taylor expansion of (* z y) in z
5.682 * [taylor]: Taking taylor expansion of z in z
5.682 * [taylor]: Taking taylor expansion of y in z
5.683 * [taylor]: Taking taylor expansion of (/ 9.0 (* t y)) in y
5.683 * [taylor]: Taking taylor expansion of 9.0 in y
5.683 * [taylor]: Taking taylor expansion of (* t y) in y
5.683 * [taylor]: Taking taylor expansion of t in y
5.683 * [taylor]: Taking taylor expansion of y in y
5.683 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.683 * [taylor]: Taking taylor expansion of 9.0 in t
5.683 * [taylor]: Taking taylor expansion of t in t
5.684 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.684 * [taylor]: Taking taylor expansion of 2.0 in y
5.686 * [taylor]: Taking taylor expansion of 0 in z
5.687 * [taylor]: Taking taylor expansion of 0 in y
5.687 * [taylor]: Taking taylor expansion of 0 in y
5.688 * [taylor]: Taking taylor expansion of 0 in t
5.688 * [taylor]: Taking taylor expansion of (- 2.0) in t
5.688 * [taylor]: Taking taylor expansion of 2.0 in t
5.691 * [taylor]: Taking taylor expansion of 0 in z
5.691 * [taylor]: Taking taylor expansion of 0 in y
5.693 * [taylor]: Taking taylor expansion of 0 in y
5.693 * [taylor]: Taking taylor expansion of 0 in y
5.693 * [taylor]: Taking taylor expansion of 0 in t
5.693 * [taylor]: Taking taylor expansion of 0 in t
5.694 * [taylor]: Taking taylor expansion of 0 in t
5.694 * [taylor]: Taking taylor expansion of 0 in t
5.699 * [taylor]: Taking taylor expansion of 0 in z
5.699 * [taylor]: Taking taylor expansion of 0 in y
5.699 * [taylor]: Taking taylor expansion of 0 in y
5.702 * [taylor]: Taking taylor expansion of 0 in y
5.702 * [taylor]: Taking taylor expansion of 0 in y
5.702 * [taylor]: Taking taylor expansion of 0 in t
5.702 * [taylor]: Taking taylor expansion of 0 in t
5.702 * [taylor]: Taking taylor expansion of 0 in t
5.702 * [taylor]: Taking taylor expansion of 0 in t
5.702 * [taylor]: Taking taylor expansion of 0 in t
5.703 * [taylor]: Taking taylor expansion of 0 in t
5.703 * [taylor]: Taking taylor expansion of 0 in t
5.704 * * * [progress]: simplifying candidates
5.705 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 9.0 (* z y)) t)
  (* (* 9.0 (* z y)) t)
  (* (* 9.0 (* z y)) t)
  (+ (+ (log 9.0) (+ (log z) (log y))) (log t))
  (+ (+ (log 9.0) (log (* z y))) (log t))
  (+ (log (* 9.0 (* z y))) (log t))
  (log (* (* 9.0 (* z y)) t))
  (exp (* (* 9.0 (* z y)) t))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* y y) y))) (* (* t t) t))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* z y) (* z y)) (* z y))) (* (* t t) t))
  (* (* (* (* 9.0 (* z y)) (* 9.0 (* z y))) (* 9.0 (* z y))) (* (* t t) t))
  (* (cbrt (* (* 9.0 (* z y)) t)) (cbrt (* (* 9.0 (* z y)) t)))
  (cbrt (* (* 9.0 (* z y)) t))
  (* (* (* (* 9.0 (* z y)) t) (* (* 9.0 (* z y)) t)) (* (* 9.0 (* z y)) t))
  (sqrt (* (* 9.0 (* z y)) t))
  (sqrt (* (* 9.0 (* z y)) t))
  (* (* 9.0 (* z y)) (* (cbrt t) (cbrt t)))
  (* (* 9.0 (* z y)) (sqrt t))
  (* (* 9.0 (* z y)) 1)
  (* (* z y) t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (+ (log 9.0) (+ (log z) (log y)))
  (+ (log 9.0) (log (* z y)))
  (log (* 9.0 (* z y)))
  (exp (* 9.0 (* z y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* 9.0 (* z y))) (cbrt (* 9.0 (* z y))))
  (cbrt (* 9.0 (* z y)))
  (* (* (* 9.0 (* z y)) (* 9.0 (* z y))) (* 9.0 (* z y)))
  (sqrt (* 9.0 (* z y)))
  (sqrt (* 9.0 (* z y)))
  (* 9.0 z)
  (* (cbrt 9.0) (* z y))
  (* (sqrt 9.0) (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (/ (exp (* x 2.0)) (exp (* (* 9.0 (* z y)) t)))
  (log (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (exp (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (* (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t))) (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t))))
  (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (* (* (- (* x 2.0) (* (* 9.0 (* z y)) t)) (- (* x 2.0) (* (* 9.0 (* z y)) t))) (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (sqrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (sqrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* (* 9.0 (* z y)) t) (* (* 9.0 (* z y)) t)) (* (* x 2.0) (* (* 9.0 (* z y)) t))))
  (- (* (* 9.0 (* z y)) t))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* 9.0 (* z y)) t) (* (* 9.0 (* z y)) t)))
  (+ (* x 2.0) (* (* 9.0 (* z y)) t))
  (- (* (* 9.0 (* z y)) t))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
5.708 * * [simplify]: iteration  0 :  129  enodes  (cost  815 )
5.731 * * [simplify]: iteration  1 :  350  enodes  (cost  776 )
5.809 * * [simplify]: iteration  2 :  1551  enodes  (cost  652 )
6.304 * * [simplify]: iteration  done :  5001  enodes  (cost  652 )
6.304 * [simplify]: Simplified to:
   (* (* 9.0 (* z y)) t)
  (* (* 9.0 (* z y)) t)
  (* (* 9.0 (* z y)) t)
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* (* 9.0 (* z y)) t))
  (pow (* (* 9.0 (* z y)) t) 3)
  (pow (* (* 9.0 (* z y)) t) 3)
  (pow (* (* 9.0 (* z y)) t) 3)
  (* (cbrt (* (* 9.0 (* z y)) t)) (cbrt (* (* 9.0 (* z y)) t)))
  (cbrt (* (* 9.0 (* z y)) t))
  (pow (* (* 9.0 (* z y)) t) 3)
  (sqrt (* (* 9.0 (* z y)) t))
  (sqrt (* (* 9.0 (* z y)) t))
  (* (* 9.0 (* z y)) (* (cbrt t) (cbrt t)))
  (* (* 9.0 (* z y)) (sqrt t))
  (* 9.0 (* z y))
  (* t (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (exp (* 9.0 (* z y)))
  (pow (* 9.0 (* z y)) 3)
  (pow (* 9.0 (* z y)) 3)
  (* (cbrt (* 9.0 (* z y))) (cbrt (* 9.0 (* z y))))
  (cbrt (* 9.0 (* z y)))
  (pow (* 9.0 (* z y)) 3)
  (sqrt (* 9.0 (* z y)))
  (sqrt (* 9.0 (* z y)))
  (* 9.0 z)
  (* (cbrt 9.0) (* z y))
  (* (sqrt 9.0) (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (exp (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (log (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (exp (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (* (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t))) (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t))))
  (cbrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (pow (- (* 2.0 x) (* 9.0 (* t (* z y)))) 3)
  (sqrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (sqrt (- (* x 2.0) (* (* 9.0 (* z y)) t)))
  (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3))
  (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))
  (- (* (* 9.0 (* z y)) t))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* 9.0 (* z y)) t) (* (* 9.0 (* z y)) t)))
  (+ (* x 2.0) (* (* 9.0 (* z y)) t))
  (- (* (* 9.0 (* z y)) t))
  0
  (* (* 9.0 (* z y)) t)
  (* (* 9.0 (* z y)) t)
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* x 2.0)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
6.305 * * * [progress]: adding candidates to table
6.484 * * [progress]: iteration 4 / 4
6.484 * * * [progress]: picking best candidate
6.508 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))>
6.508 * * * [progress]: localizing error
6.523 * * * [progress]: generating rewritten candidates
6.523 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
6.595 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
6.617 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
6.625 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
6.634 * * * [progress]: generating series expansions
6.635 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
6.635 * [approximate]: Taking taylor expansion of (* t (* z (* y (pow (sqrt 9.0) 2)))) in (z y t) around 0
6.636 * [taylor]: Taking taylor expansion of (* t (* z (* y (pow (sqrt 9.0) 2)))) in t
6.636 * [taylor]: Taking taylor expansion of t in t
6.636 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in t
6.636 * [taylor]: Taking taylor expansion of z in t
6.636 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in t
6.636 * [taylor]: Taking taylor expansion of y in t
6.636 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.636 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.636 * [taylor]: Taking taylor expansion of 9.0 in t
6.636 * [taylor]: Taking taylor expansion of (* t (* z (* y (pow (sqrt 9.0) 2)))) in y
6.636 * [taylor]: Taking taylor expansion of t in y
6.636 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in y
6.636 * [taylor]: Taking taylor expansion of z in y
6.637 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in y
6.637 * [taylor]: Taking taylor expansion of y in y
6.637 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.637 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.637 * [taylor]: Taking taylor expansion of 9.0 in y
6.637 * [taylor]: Taking taylor expansion of (* t (* z (* y (pow (sqrt 9.0) 2)))) in z
6.637 * [taylor]: Taking taylor expansion of t in z
6.637 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in z
6.637 * [taylor]: Taking taylor expansion of z in z
6.637 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in z
6.637 * [taylor]: Taking taylor expansion of y in z
6.637 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.637 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.637 * [taylor]: Taking taylor expansion of 9.0 in z
6.638 * [taylor]: Taking taylor expansion of (* t (* z (* y (pow (sqrt 9.0) 2)))) in z
6.638 * [taylor]: Taking taylor expansion of t in z
6.638 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in z
6.638 * [taylor]: Taking taylor expansion of z in z
6.638 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in z
6.638 * [taylor]: Taking taylor expansion of y in z
6.638 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.638 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.638 * [taylor]: Taking taylor expansion of 9.0 in z
6.641 * [taylor]: Taking taylor expansion of 0 in y
6.641 * [taylor]: Taking taylor expansion of 0 in t
6.644 * [taylor]: Taking taylor expansion of (* t (* y (pow (sqrt 9.0) 2))) in y
6.644 * [taylor]: Taking taylor expansion of t in y
6.644 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in y
6.644 * [taylor]: Taking taylor expansion of y in y
6.644 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.644 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.644 * [taylor]: Taking taylor expansion of 9.0 in y
6.646 * [taylor]: Taking taylor expansion of 0 in t
6.646 * [taylor]: Taking taylor expansion of 0 in t
6.650 * [taylor]: Taking taylor expansion of 0 in y
6.650 * [taylor]: Taking taylor expansion of 0 in t
6.653 * [taylor]: Taking taylor expansion of (* t (pow (sqrt 9.0) 2)) in t
6.653 * [taylor]: Taking taylor expansion of t in t
6.653 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.653 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.653 * [taylor]: Taking taylor expansion of 9.0 in t
6.656 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in (z y t) around 0
6.656 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in t
6.656 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.656 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.656 * [taylor]: Taking taylor expansion of 9.0 in t
6.657 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.657 * [taylor]: Taking taylor expansion of t in t
6.657 * [taylor]: Taking taylor expansion of (* z y) in t
6.657 * [taylor]: Taking taylor expansion of z in t
6.657 * [taylor]: Taking taylor expansion of y in t
6.659 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in y
6.659 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.659 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.659 * [taylor]: Taking taylor expansion of 9.0 in y
6.660 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.660 * [taylor]: Taking taylor expansion of t in y
6.660 * [taylor]: Taking taylor expansion of (* z y) in y
6.660 * [taylor]: Taking taylor expansion of z in y
6.660 * [taylor]: Taking taylor expansion of y in y
6.662 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in z
6.662 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.662 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.662 * [taylor]: Taking taylor expansion of 9.0 in z
6.662 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.662 * [taylor]: Taking taylor expansion of t in z
6.662 * [taylor]: Taking taylor expansion of (* z y) in z
6.662 * [taylor]: Taking taylor expansion of z in z
6.662 * [taylor]: Taking taylor expansion of y in z
6.664 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in z
6.664 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.664 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.664 * [taylor]: Taking taylor expansion of 9.0 in z
6.665 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.665 * [taylor]: Taking taylor expansion of t in z
6.665 * [taylor]: Taking taylor expansion of (* z y) in z
6.665 * [taylor]: Taking taylor expansion of z in z
6.665 * [taylor]: Taking taylor expansion of y in z
6.667 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t y)) in y
6.667 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.667 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.667 * [taylor]: Taking taylor expansion of 9.0 in y
6.668 * [taylor]: Taking taylor expansion of (* t y) in y
6.668 * [taylor]: Taking taylor expansion of t in y
6.668 * [taylor]: Taking taylor expansion of y in y
6.675 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) t) in t
6.675 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.675 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.675 * [taylor]: Taking taylor expansion of 9.0 in t
6.676 * [taylor]: Taking taylor expansion of t in t
6.680 * [taylor]: Taking taylor expansion of 0 in y
6.682 * [taylor]: Taking taylor expansion of 0 in t
6.686 * [taylor]: Taking taylor expansion of 0 in y
6.686 * [taylor]: Taking taylor expansion of 0 in t
6.689 * [taylor]: Taking taylor expansion of 0 in t
6.695 * [taylor]: Taking taylor expansion of 0 in y
6.695 * [taylor]: Taking taylor expansion of 0 in t
6.695 * [taylor]: Taking taylor expansion of 0 in t
6.697 * [taylor]: Taking taylor expansion of 0 in t
6.699 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t (* z y)))) in (z y t) around 0
6.699 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t (* z y)))) in t
6.699 * [taylor]: Taking taylor expansion of -1 in t
6.699 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in t
6.699 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.699 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.699 * [taylor]: Taking taylor expansion of 9.0 in t
6.700 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
6.700 * [taylor]: Taking taylor expansion of t in t
6.700 * [taylor]: Taking taylor expansion of (* z y) in t
6.700 * [taylor]: Taking taylor expansion of z in t
6.700 * [taylor]: Taking taylor expansion of y in t
6.701 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t (* z y)))) in y
6.702 * [taylor]: Taking taylor expansion of -1 in y
6.702 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in y
6.702 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.702 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.702 * [taylor]: Taking taylor expansion of 9.0 in y
6.702 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.702 * [taylor]: Taking taylor expansion of t in y
6.702 * [taylor]: Taking taylor expansion of (* z y) in y
6.702 * [taylor]: Taking taylor expansion of z in y
6.702 * [taylor]: Taking taylor expansion of y in y
6.704 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t (* z y)))) in z
6.704 * [taylor]: Taking taylor expansion of -1 in z
6.704 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in z
6.704 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.704 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.704 * [taylor]: Taking taylor expansion of 9.0 in z
6.705 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.705 * [taylor]: Taking taylor expansion of t in z
6.705 * [taylor]: Taking taylor expansion of (* z y) in z
6.705 * [taylor]: Taking taylor expansion of z in z
6.705 * [taylor]: Taking taylor expansion of y in z
6.707 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t (* z y)))) in z
6.707 * [taylor]: Taking taylor expansion of -1 in z
6.707 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t (* z y))) in z
6.707 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.707 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.707 * [taylor]: Taking taylor expansion of 9.0 in z
6.708 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
6.708 * [taylor]: Taking taylor expansion of t in z
6.708 * [taylor]: Taking taylor expansion of (* z y) in z
6.708 * [taylor]: Taking taylor expansion of z in z
6.708 * [taylor]: Taking taylor expansion of y in z
6.711 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) (* t y))) in y
6.711 * [taylor]: Taking taylor expansion of -1 in y
6.711 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* t y)) in y
6.711 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.711 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.711 * [taylor]: Taking taylor expansion of 9.0 in y
6.712 * [taylor]: Taking taylor expansion of (* t y) in y
6.712 * [taylor]: Taking taylor expansion of t in y
6.712 * [taylor]: Taking taylor expansion of y in y
6.714 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 9.0) 2) t)) in t
6.714 * [taylor]: Taking taylor expansion of -1 in t
6.714 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) t) in t
6.714 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in t
6.714 * [taylor]: Taking taylor expansion of (sqrt 9.0) in t
6.714 * [taylor]: Taking taylor expansion of 9.0 in t
6.715 * [taylor]: Taking taylor expansion of t in t
6.722 * [taylor]: Taking taylor expansion of 0 in y
6.724 * [taylor]: Taking taylor expansion of 0 in t
6.731 * [taylor]: Taking taylor expansion of 0 in y
6.731 * [taylor]: Taking taylor expansion of 0 in t
6.734 * [taylor]: Taking taylor expansion of 0 in t
6.742 * [taylor]: Taking taylor expansion of 0 in y
6.742 * [taylor]: Taking taylor expansion of 0 in t
6.742 * [taylor]: Taking taylor expansion of 0 in t
6.746 * [taylor]: Taking taylor expansion of 0 in t
6.747 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
6.748 * [approximate]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in (z y) around 0
6.748 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in y
6.748 * [taylor]: Taking taylor expansion of z in y
6.748 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in y
6.748 * [taylor]: Taking taylor expansion of y in y
6.748 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.748 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.748 * [taylor]: Taking taylor expansion of 9.0 in y
6.749 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in z
6.749 * [taylor]: Taking taylor expansion of z in z
6.749 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in z
6.749 * [taylor]: Taking taylor expansion of y in z
6.749 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.749 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.749 * [taylor]: Taking taylor expansion of 9.0 in z
6.750 * [taylor]: Taking taylor expansion of (* z (* y (pow (sqrt 9.0) 2))) in z
6.750 * [taylor]: Taking taylor expansion of z in z
6.750 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in z
6.750 * [taylor]: Taking taylor expansion of y in z
6.750 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.750 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.750 * [taylor]: Taking taylor expansion of 9.0 in z
6.753 * [taylor]: Taking taylor expansion of 0 in y
6.754 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 9.0) 2)) in y
6.754 * [taylor]: Taking taylor expansion of y in y
6.754 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.754 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.754 * [taylor]: Taking taylor expansion of 9.0 in y
6.765 * [taylor]: Taking taylor expansion of 0 in y
6.772 * [taylor]: Taking taylor expansion of 0 in y
6.778 * [taylor]: Taking taylor expansion of 0 in y
6.779 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in (z y) around 0
6.779 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in y
6.779 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.779 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.779 * [taylor]: Taking taylor expansion of 9.0 in y
6.780 * [taylor]: Taking taylor expansion of (* z y) in y
6.780 * [taylor]: Taking taylor expansion of z in y
6.780 * [taylor]: Taking taylor expansion of y in y
6.782 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in z
6.782 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.782 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.782 * [taylor]: Taking taylor expansion of 9.0 in z
6.783 * [taylor]: Taking taylor expansion of (* z y) in z
6.783 * [taylor]: Taking taylor expansion of z in z
6.783 * [taylor]: Taking taylor expansion of y in z
6.784 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in z
6.785 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.785 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.785 * [taylor]: Taking taylor expansion of 9.0 in z
6.785 * [taylor]: Taking taylor expansion of (* z y) in z
6.785 * [taylor]: Taking taylor expansion of z in z
6.785 * [taylor]: Taking taylor expansion of y in z
6.787 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) y) in y
6.787 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.787 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.787 * [taylor]: Taking taylor expansion of 9.0 in y
6.788 * [taylor]: Taking taylor expansion of y in y
6.792 * [taylor]: Taking taylor expansion of 0 in y
6.795 * [taylor]: Taking taylor expansion of 0 in y
6.800 * [taylor]: Taking taylor expansion of 0 in y
6.804 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in (z y) around 0
6.804 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in y
6.804 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.804 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.804 * [taylor]: Taking taylor expansion of 9.0 in y
6.804 * [taylor]: Taking taylor expansion of (* z y) in y
6.805 * [taylor]: Taking taylor expansion of z in y
6.805 * [taylor]: Taking taylor expansion of y in y
6.806 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in z
6.806 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.806 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.806 * [taylor]: Taking taylor expansion of 9.0 in z
6.807 * [taylor]: Taking taylor expansion of (* z y) in z
6.807 * [taylor]: Taking taylor expansion of z in z
6.807 * [taylor]: Taking taylor expansion of y in z
6.809 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (* z y)) in z
6.809 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in z
6.809 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.809 * [taylor]: Taking taylor expansion of 9.0 in z
6.810 * [taylor]: Taking taylor expansion of (* z y) in z
6.810 * [taylor]: Taking taylor expansion of z in z
6.810 * [taylor]: Taking taylor expansion of y in z
6.812 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) y) in y
6.812 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in y
6.812 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.812 * [taylor]: Taking taylor expansion of 9.0 in y
6.813 * [taylor]: Taking taylor expansion of y in y
6.817 * [taylor]: Taking taylor expansion of 0 in y
6.821 * [taylor]: Taking taylor expansion of 0 in y
6.826 * [taylor]: Taking taylor expansion of 0 in y
6.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
6.829 * [approximate]: Taking taylor expansion of (* z (* y (sqrt 9.0))) in (z y) around 0
6.829 * [taylor]: Taking taylor expansion of (* z (* y (sqrt 9.0))) in y
6.829 * [taylor]: Taking taylor expansion of z in y
6.829 * [taylor]: Taking taylor expansion of (* y (sqrt 9.0)) in y
6.829 * [taylor]: Taking taylor expansion of y in y
6.829 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.829 * [taylor]: Taking taylor expansion of 9.0 in y
6.830 * [taylor]: Taking taylor expansion of (* z (* y (sqrt 9.0))) in z
6.830 * [taylor]: Taking taylor expansion of z in z
6.830 * [taylor]: Taking taylor expansion of (* y (sqrt 9.0)) in z
6.830 * [taylor]: Taking taylor expansion of y in z
6.830 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.830 * [taylor]: Taking taylor expansion of 9.0 in z
6.830 * [taylor]: Taking taylor expansion of (* z (* y (sqrt 9.0))) in z
6.830 * [taylor]: Taking taylor expansion of z in z
6.831 * [taylor]: Taking taylor expansion of (* y (sqrt 9.0)) in z
6.831 * [taylor]: Taking taylor expansion of y in z
6.831 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.831 * [taylor]: Taking taylor expansion of 9.0 in z
6.832 * [taylor]: Taking taylor expansion of 0 in y
6.833 * [taylor]: Taking taylor expansion of (* y (sqrt 9.0)) in y
6.833 * [taylor]: Taking taylor expansion of y in y
6.833 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.833 * [taylor]: Taking taylor expansion of 9.0 in y
6.836 * [taylor]: Taking taylor expansion of 0 in y
6.839 * [taylor]: Taking taylor expansion of 0 in y
6.843 * [taylor]: Taking taylor expansion of 0 in y
6.844 * [approximate]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in (z y) around 0
6.844 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in y
6.844 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.844 * [taylor]: Taking taylor expansion of 9.0 in y
6.844 * [taylor]: Taking taylor expansion of (* z y) in y
6.844 * [taylor]: Taking taylor expansion of z in y
6.844 * [taylor]: Taking taylor expansion of y in y
6.845 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in z
6.845 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.845 * [taylor]: Taking taylor expansion of 9.0 in z
6.851 * [taylor]: Taking taylor expansion of (* z y) in z
6.851 * [taylor]: Taking taylor expansion of z in z
6.851 * [taylor]: Taking taylor expansion of y in z
6.852 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in z
6.852 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.852 * [taylor]: Taking taylor expansion of 9.0 in z
6.853 * [taylor]: Taking taylor expansion of (* z y) in z
6.853 * [taylor]: Taking taylor expansion of z in z
6.853 * [taylor]: Taking taylor expansion of y in z
6.854 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) y) in y
6.854 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.854 * [taylor]: Taking taylor expansion of 9.0 in y
6.854 * [taylor]: Taking taylor expansion of y in y
6.856 * [taylor]: Taking taylor expansion of 0 in y
6.859 * [taylor]: Taking taylor expansion of 0 in y
6.862 * [taylor]: Taking taylor expansion of 0 in y
6.864 * [approximate]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in (z y) around 0
6.864 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in y
6.864 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.864 * [taylor]: Taking taylor expansion of 9.0 in y
6.865 * [taylor]: Taking taylor expansion of (* z y) in y
6.865 * [taylor]: Taking taylor expansion of z in y
6.865 * [taylor]: Taking taylor expansion of y in y
6.865 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) (* z y)) in z
6.865 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.865 * [taylor]: Taking taylor expansion of 9.0 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 (/ (sqrt 9.0) (* z y)) in z
6.867 * [taylor]: Taking taylor expansion of (sqrt 9.0) in z
6.867 * [taylor]: Taking taylor expansion of 9.0 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.868 * [taylor]: Taking taylor expansion of (/ (sqrt 9.0) y) in y
6.868 * [taylor]: Taking taylor expansion of (sqrt 9.0) in y
6.868 * [taylor]: Taking taylor expansion of 9.0 in y
6.869 * [taylor]: Taking taylor expansion of y in y
6.870 * [taylor]: Taking taylor expansion of 0 in y
6.873 * [taylor]: Taking taylor expansion of 0 in y
6.876 * [taylor]: Taking taylor expansion of 0 in y
6.878 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
6.878 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
6.878 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
6.878 * [taylor]: Taking taylor expansion of 27.0 in b
6.878 * [taylor]: Taking taylor expansion of (* a b) in b
6.878 * [taylor]: Taking taylor expansion of a in b
6.878 * [taylor]: Taking taylor expansion of b in b
6.878 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.878 * [taylor]: Taking taylor expansion of 27.0 in a
6.878 * [taylor]: Taking taylor expansion of (* a b) in a
6.878 * [taylor]: Taking taylor expansion of a in a
6.878 * [taylor]: Taking taylor expansion of b in a
6.878 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
6.878 * [taylor]: Taking taylor expansion of 27.0 in a
6.878 * [taylor]: Taking taylor expansion of (* a b) in a
6.878 * [taylor]: Taking taylor expansion of a in a
6.878 * [taylor]: Taking taylor expansion of b in a
6.878 * [taylor]: Taking taylor expansion of 0 in b
6.879 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
6.879 * [taylor]: Taking taylor expansion of 27.0 in b
6.879 * [taylor]: Taking taylor expansion of b in b
6.880 * [taylor]: Taking taylor expansion of 0 in b
6.882 * [taylor]: Taking taylor expansion of 0 in b
6.885 * [taylor]: Taking taylor expansion of 0 in b
6.885 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
6.885 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
6.885 * [taylor]: Taking taylor expansion of 27.0 in b
6.885 * [taylor]: Taking taylor expansion of (* a b) in b
6.885 * [taylor]: Taking taylor expansion of a in b
6.885 * [taylor]: Taking taylor expansion of b in b
6.885 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.886 * [taylor]: Taking taylor expansion of 27.0 in a
6.886 * [taylor]: Taking taylor expansion of (* a b) in a
6.886 * [taylor]: Taking taylor expansion of a in a
6.886 * [taylor]: Taking taylor expansion of b in a
6.886 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.886 * [taylor]: Taking taylor expansion of 27.0 in a
6.886 * [taylor]: Taking taylor expansion of (* a b) in a
6.886 * [taylor]: Taking taylor expansion of a in a
6.886 * [taylor]: Taking taylor expansion of b in a
6.886 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.886 * [taylor]: Taking taylor expansion of 27.0 in b
6.886 * [taylor]: Taking taylor expansion of b in b
6.887 * [taylor]: Taking taylor expansion of 0 in b
6.889 * [taylor]: Taking taylor expansion of 0 in b
6.890 * [taylor]: Taking taylor expansion of 0 in b
6.891 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
6.891 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
6.891 * [taylor]: Taking taylor expansion of 27.0 in b
6.891 * [taylor]: Taking taylor expansion of (* a b) in b
6.891 * [taylor]: Taking taylor expansion of a in b
6.891 * [taylor]: Taking taylor expansion of b in b
6.891 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.891 * [taylor]: Taking taylor expansion of 27.0 in a
6.891 * [taylor]: Taking taylor expansion of (* a b) in a
6.891 * [taylor]: Taking taylor expansion of a in a
6.891 * [taylor]: Taking taylor expansion of b in a
6.892 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
6.892 * [taylor]: Taking taylor expansion of 27.0 in a
6.892 * [taylor]: Taking taylor expansion of (* a b) in a
6.892 * [taylor]: Taking taylor expansion of a in a
6.892 * [taylor]: Taking taylor expansion of b in a
6.892 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
6.892 * [taylor]: Taking taylor expansion of 27.0 in b
6.892 * [taylor]: Taking taylor expansion of b in b
6.893 * [taylor]: Taking taylor expansion of 0 in b
6.895 * [taylor]: Taking taylor expansion of 0 in b
6.896 * [taylor]: Taking taylor expansion of 0 in b
6.897 * * * [progress]: simplifying candidates
6.898 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)
  (+ (+ (log (sqrt 9.0)) (+ (log (sqrt 9.0)) (+ (log z) (log y)))) (log t))
  (+ (+ (log (sqrt 9.0)) (+ (log (sqrt 9.0)) (log (* z y)))) (log t))
  (+ (+ (log (sqrt 9.0)) (log (* (sqrt 9.0) (* z y)))) (log t))
  (+ (log (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))) (log t))
  (log (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (exp (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (* (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z z) z) (* (* y y) y)))) (* (* t t) t))
  (* (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z y) (* z y)) (* z y)))) (* (* t t) t))
  (* (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (* z y)) (* (sqrt 9.0) (* z y))) (* (sqrt 9.0) (* z y)))) (* (* t t) t))
  (* (* (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))) (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))) (* (* t t) t))
  (* (cbrt (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (cbrt (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)))
  (cbrt (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (* (* (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (sqrt (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (sqrt (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t))
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) (* (cbrt t) (cbrt t)))
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) (sqrt t))
  (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) 1)
  (* (* (sqrt 9.0) (* z y)) t)
  (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))
  (+ (log (sqrt 9.0)) (+ (log (sqrt 9.0)) (+ (log z) (log y))))
  (+ (log (sqrt 9.0)) (+ (log (sqrt 9.0)) (log (* z y))))
  (+ (log (sqrt 9.0)) (log (* (sqrt 9.0) (* z y))))
  (log (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (exp (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z z) z) (* (* y y) y))))
  (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z y) (* z y)) (* z y))))
  (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* (sqrt 9.0) (* z y)) (* (sqrt 9.0) (* z y))) (* (sqrt 9.0) (* z y))))
  (* (cbrt (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))) (cbrt (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))))
  (cbrt (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (* (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))) (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (sqrt (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (sqrt (* (sqrt 9.0) (* (sqrt 9.0) (* z y))))
  (* (sqrt 9.0) (sqrt 9.0))
  (* (cbrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt (cbrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))
  (* (sqrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) (* z y))
  (* (sqrt 9.0) (* z y))
  (+ (log (sqrt 9.0)) (+ (log z) (log y)))
  (+ (log (sqrt 9.0)) (log (* z y)))
  (log (* (sqrt 9.0) (* z y)))
  (exp (* (sqrt 9.0) (* z y)))
  (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* (sqrt 9.0) (* z y))) (cbrt (* (sqrt 9.0) (* z y))))
  (cbrt (* (sqrt 9.0) (* z y)))
  (* (* (* (sqrt 9.0) (* z y)) (* (sqrt 9.0) (* z y))) (* (sqrt 9.0) (* z y)))
  (sqrt (* (sqrt 9.0) (* z y)))
  (sqrt (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) z)
  (* (cbrt (sqrt 9.0)) (* z y))
  (* (sqrt (cbrt 9.0)) (* z y))
  (* (sqrt (sqrt 9.0)) (* z y))
  (* (sqrt 9.0) (* z y))
  (* (sqrt (sqrt 9.0)) (* z y))
  (* (sqrt 9.0) (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  0
  (* t (* z (* y (pow (sqrt 9.0) 2))))
  (* t (* z (* y (pow (sqrt 9.0) 2))))
  (* z (* y (pow (sqrt 9.0) 2)))
  (* z (* y (pow (sqrt 9.0) 2)))
  (* z (* y (pow (sqrt 9.0) 2)))
  (* z (* y (sqrt 9.0)))
  (* z (* y (sqrt 9.0)))
  (* z (* y (sqrt 9.0)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
6.902 * * [simplify]: iteration  0 :  131  enodes  (cost  1124 )
6.928 * * [simplify]: iteration  1 :  359  enodes  (cost  851 )
7.010 * * [simplify]: iteration  2 :  1684  enodes  (cost  663 )
7.585 * * [simplify]: iteration  done :  5000  enodes  (cost  663 )
7.586 * [simplify]: Simplified to:
   (* t (* 9.0 (* z y)))
  (* t (* 9.0 (* z y)))
  (* t (* 9.0 (* z y)))
  (* t (* 9.0 (* z y)))
  (log (* t (* 9.0 (* z y))))
  (log (* t (* 9.0 (* z y))))
  (log (* t (* 9.0 (* z y))))
  (log (* t (* 9.0 (* z y))))
  (log (* t (* 9.0 (* z y))))
  (exp (* t (* 9.0 (* z y))))
  (pow (* t (* 9.0 (* z y))) 3)
  (pow (* t (* 9.0 (* z y))) 3)
  (pow (* t (* 9.0 (* z y))) 3)
  (pow (* t (* 9.0 (* z y))) 3)
  (* (cbrt (* t (* 9.0 (* z y)))) (cbrt (* t (* 9.0 (* z y)))))
  (cbrt (* t (* 9.0 (* z y))))
  (pow (* t (* 9.0 (* z y))) 3)
  (sqrt (* t (* 9.0 (* z y))))
  (sqrt (* t (* 9.0 (* z y))))
  (* (* (cbrt t) (cbrt t)) (* 9.0 (* z y)))
  (* (* 9.0 (* z y)) (sqrt t))
  (* (* z y) 9.0)
  (* (* (sqrt 9.0) (* z y)) t)
  (* (* z y) 9.0)
  (* (* z y) 9.0)
  (* (* z y) 9.0)
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (log (* 9.0 (* z y)))
  (exp (* 9.0 (* z y)))
  (pow (* (* z y) 9.0) 3)
  (pow (* (* z y) 9.0) 3)
  (pow (* (* z y) 9.0) 3)
  (* (cbrt (* 9.0 (* z y))) (cbrt (* 9.0 (* z y))))
  (cbrt (* 9.0 (* z y)))
  (pow (* (* z y) 9.0) 3)
  (sqrt (* 9.0 (* z y)))
  (sqrt (* 9.0 (* z y)))
  9.0
  (* (cbrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt (cbrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (sqrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (* z y) 9.0)
  (* (sqrt (sqrt 9.0)) (* (sqrt 9.0) (* z y)))
  (* (* z y) 9.0)
  (* y (* (sqrt 9.0) z))
  (* y (* (sqrt 9.0) z))
  (log (* (sqrt 9.0) (* z y)))
  (log (* (sqrt 9.0) (* z y)))
  (log (* (sqrt 9.0) (* z y)))
  (exp (* (sqrt 9.0) (* z y)))
  (pow (* y (* (sqrt 9.0) z)) 3)
  (pow (* y (* (sqrt 9.0) z)) 3)
  (* (cbrt (* (sqrt 9.0) (* z y))) (cbrt (* (sqrt 9.0) (* z y))))
  (cbrt (* (sqrt 9.0) (* z y)))
  (pow (* y (* (sqrt 9.0) z)) 3)
  (sqrt (* (sqrt 9.0) (* z y)))
  (sqrt (* (sqrt 9.0) (* z y)))
  (* (sqrt 9.0) z)
  (* (cbrt (sqrt 9.0)) (* z y))
  (* (sqrt (cbrt 9.0)) (* z y))
  (* (sqrt (sqrt 9.0)) (* z y))
  (* y (* (sqrt 9.0) z))
  (* (sqrt (sqrt 9.0)) (* z y))
  (* y (* (sqrt 9.0) z))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  0
  (* t (* 9.0 (* z y)))
  (* t (* 9.0 (* z y)))
  (* (* z y) 9.0)
  (* (* z y) 9.0)
  (* (* z y) 9.0)
  (* y (* (sqrt 9.0) z))
  (* y (* (sqrt 9.0) z))
  (* y (* (sqrt 9.0) z))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
7.586 * * * [progress]: adding candidates to table
7.830 * [progress]: [Phase 3 of 3] Extracting.
7.830 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
7.833 * * * [regime-changes]: Trying 13 branch expressions: ((* a 27.0) (* (* a 27.0) b) (* y 9.0) (* (* y 9.0) z) (* (* (* y 9.0) z) t) (* x 2.0) (- (* x 2.0) (* (* (* y 9.0) z) t)) b a t z y x)
7.834 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
7.874 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
7.925 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
7.978 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.010 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.060 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.080 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.129 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.149 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.190 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.242 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
8.263 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.315 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.355 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.409 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.449 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.504 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.541 * * * [regime]: Found split indices: #<option (#s(si 3 36) #s(si 0 231) #s(si 3 255))>
8.545 * [binary-search]: Only using regimes for bounds on (* y 9.0) and (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.545 * [regimes]: Found splitpoints: (#s(sp 3 (* y 9.0) -8.638287398598904e+64) #s(sp 0 (* y 9.0) 4.266405263365847e+171) #s(sp 3 (* y 9.0) +nan.0)) , with alts (#<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (sqrt 9.0) (* (sqrt 9.0) (* z y))) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (* x 2.0) (- (* 9.0 (* (* t z) y)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* 9.0 (* z y)) t)) (* (* (* a 27.0) (sqrt b)) (sqrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (/ (- (pow (* x 2.0) 3) (pow (* (* 9.0 (* z y)) t) 3)) (+ (* (* 9.0 (* t (* z y))) (+ (* x 2.0) (* (* 9.0 (* z y)) t))) (* (* x 2.0) (* x 2.0)))) (* (* a 27.0) b)))>)
8.546 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* y 9.0) -8.638287398598904e+64) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)) (if (<= (* y 9.0) 4.266405263365847e+171) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))))
8.546 * * [simplify]: iteration  0 :  29  enodes  (cost  64 )
8.547 * * [simplify]: iteration  1 :  48  enodes  (cost  48 )
8.549 * * [simplify]: iteration  2 :  56  enodes  (cost  48 )
8.551 * * [simplify]: iteration  3 :  62  enodes  (cost  48 )
8.552 * * [simplify]: iteration  done :  62  enodes  (cost  48 )
8.553 * [simplify]: Simplified to:
   (if (or (<= (* y 9.0) -8.638287398598904e+64) (not (<= (* y 9.0) 4.266405263365847e+171))) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)) (+ (+ (* x 2.0) (- (* 9.0 (* t (* z y))))) (* (* a 27.0) b)))
9.699 * [regime-testing]: Baseline error score: 3.625154590218907
9.699 * [regime-testing]: Oracle error score: 0.04804624679271001
9.700 * [regime-testing]: End program error score: 1.3193299285528615
9.732 * [regime-testing]: Target error score: 2.59268481468029